Sciweavers

Share
COORDINATION
2004
Springer

O'Klaim: A Coordination Language with Mobile Mixins

9 years 23 days ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes interact by an asynchronous communication model: they can distribute and retrieve resources, sometimes structured as incomplete classes, i.e., mixins, to and from distributed tuple spaces. This mechanism is coordinated by providing a subtyping relation on classes and mixins, which become polymorphic items during communication. We propose a static typing system for: (i) checking locally each process in its own locality; (ii) decorating objectoriented code that is sent to remote sites with its type. This way, tuples can be dynamically retrieved only if they match by subtyping with the expected type. If this pattern matching succeeds, the retrieved code can be composed with local code, dynamically and automatically, in a type-safe way. Thus a global safety condition is guaranteed without requiring any additional infor...
Lorenzo Bettini, Viviana Bono, Betti Venneri
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where COORDINATION
Authors Lorenzo Bettini, Viviana Bono, Betti Venneri
Comments (0)
books