L. Bettini, V. Bono, and B. Venneri

MoMi - A Calculus for Mobile Mixins

This work improves [121]. To appear in Acta Informatica, Special Issue on ``Types in Concurrency'' (this version is therefore a more complete one w.r.t. the version at month 30), 2005

MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuring mobile object-oriented code by using mixin-based inheritance. Mobile code is compiled and typed locally, and can successfully interact with code present on foreign sites only if its type is subtyping-compliant with the type of what is expected by the receiving site. The key feature of the paper is the definition of this subtyping relation on classes and mixins that enables a significantly flexible, yet still simple, communication pattern. We show that communication by subtyping is type safe in that exchanged code is merged into local code without requiring further type analysis and recompilation.

[ bib | .pdf ]

Back

This file has been generated by bibtex2html 1.43