Mobile Calculi based on Domains


\textsc{O'Klaim}: a coordination language with mobile mixins

L. Bettini and V. Bono and B. Venneri

Abstract

This paper presents O'Klaim{} (Object-Oriented Klaim), a linguistic extension of the higher-order calculus for mobile processes Klaim with object-oriented 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 object-oriented 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 information on the local reconfiguration of local and foreign code, and, in particular, without any further type checking. Finally, we present main issues concerning the implementation of O'Klaim.

@InProceedings\{bettini.bono.venneri:oklaim-coordination-language-mobile-mixins,
  author = \{L. Bettini and V. Bono and B. Venneri},
  title = \{\textsc{O'Klaim}: a coordination language with mobile mixins},
  booktitle = \{Proceedings of COORDINATION'04},
  year = \{2004}, 
  pages = \{20--37}, 
  volume = \{2949}, 
  series = \{LNCS}, 
  publisher = \{Springer-Verlag}, 
  url = \{http://mikado.di.fc.ul.pt/repository/bettini.bono.venneri_oklaim-coordination-language-mobile-mixins.pdf}
}


About this site. Last modified: Wed Sep 20 21:50:46 CEST 2017