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...

• Type: Conference
• Year: 2004
• Where: COORDINATION
• Authors: Lorenzo Bettini, Viviana Bono, Betti Venneri
• Keywords: Asynchronous Communication Model, COORDINATION 2004, Distributed And Parallel Computing, Retrieved Code, Subtyping