Programming with Live Distributed Objects

of 93/93
TRUST Autumn 2008 Conference: November 11- 12, 2008 Programming with Live Distributed Objects Krzysztof Ostrowski in collaboration with Ken Birman , Danny Dolev § , Jong Hoon Ahnn Cornell University, § Hebrew University http://liveobjects.cs.cornell.edu
  • date post

    19-Jan-2016
  • Category

    Documents

  • view

    31
  • download

    0

Embed Size (px)

description

Programming with Live Distributed Objects. Krzysztof Ostrowski † in collaboration with Ken Birman † , Danny Dolev § , Jong Hoon Ahnn † † Cornell University, § Hebrew University http://liveobjects.cs.cornell.edu. Introduction. Modern Software Development. Object-Orientation has Benefits. - PowerPoint PPT Presentation

Transcript of Programming with Live Distributed Objects

Programming with Live Distributed ObjectsProgramming with
†Cornell University, §Hebrew University
“Live Objects", Krzysztof Ostrowski
Modern Software Development
Object-Orientation has Benefits
Object-Orientation has Benefits
Distributed Systems: Out of Luck
“Live Objects", Krzysztof Ostrowski
Building a Collaborative App
“Live Objects", Krzysztof Ostrowski
Building a Collaborative App
“Live Objects", Krzysztof Ostrowski
Building a Collaborative App
“Live Objects", Krzysztof Ostrowski
Using Obscure, Proprietary APIs
“Live Objects", Krzysztof Ostrowski
struct sockaddr *address,
Tightly Coupled Components
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Many Layers In the Middleware
“Live Objects", Krzysztof Ostrowski
Protocols = Components ???
…But Not In Java/.NET/COM/*
“Live Objects", Krzysztof Ostrowski
Related Work
Protocol composition
Protocol types
CSP, π-calculus, BPEL, SSDL, WSCL, CFSM, TLA, IOA, IA, temporal logic,
Protocol specifications
Distributed environments
Related Work
Protocol composition
TLA, IOA, IA, temporal logic,
Protocol specifications
Distributed environments
Related Work
Protocol composition
TLA, IOA, IA, temporal logic,
Protocol specifications
Distributed environments
Every Protocol Instance = Object
“Live Objects", Krzysztof Ostrowski
Every Protocol Instance = Object
“Live Objects", Krzysztof Ostrowski
“Live Objects", Krzysztof Ostrowski
Defining Live Distributed Objects
“Live Objects", Krzysztof Ostrowski
Defining Live Distributed Objects
“Live Objects", Krzysztof Ostrowski
Defining Live Distributed Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
Live Objects vs. .NET Objects
“Live Objects", Krzysztof Ostrowski
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
Creating a Live Object
“Live Objects", Krzysztof Ostrowski
“Live Objects", Krzysztof Ostrowski
Connecting Objects
Connecting Objects
Connecting Objects
Dependencies as Endpoints
Creating Composite Objects
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Creating Composite Objects
“Live Objects", Krzysztof Ostrowski
Defining Endpoint Types
Defining Endpoint Types
Defining Endpoint Types
Defining Endpoint Types
Defining Endpoint Types
Defining Live Object Types
“Live Objects", Krzysztof Ostrowski
“Live Objects", Krzysztof Ostrowski
Defining Live Object Types
“Live Objects", Krzysztof Ostrowski
Defining Live Object Types
“Live Objects", Krzysztof Ostrowski
Defining Endpoint Types
Behavioral Constraints
Behavioral Constraints
“Live Objects", Krzysztof Ostrowski
Behavioral Constraints
Behavioral Constraints
Behavioral Constraints
Constraint Formalisms
Constraint Formalisms
Constraint Formalisms
Constraint Formalisms
Constraint Formalisms
Constraint Formalisms
Constraint Formalisms
“Live Objects", Krzysztof Ostrowski
Authentication
Authentication
Authentication
Authentication
“Live Objects", Krzysztof Ostrowski
“Live Objects", Krzysztof Ostrowski
protocol
participant
event : e
event': e'
e e'
live
object
type
A:τ
B:τ'
C:τ"
θ