MOMI: a calculus for mobile mixins. 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 interact successfully 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.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Ancona, Davide; Fagorzi, Sonia; Zucca, Elena: A parametric calculus for mobile open code (2008)
- Fagorzi, Sonia; Zucca, Elena: A calculus of open modules: Call-by-need strategy and confluence (2007)
- Fagorzi, Sonia; Zucca, Elena: A framework for type safe exchange of mobile code (2007)
- Bettini, Lorenzo; Venneri, Betti; Bono, Viviana: MOMI: a calculus for mobile mixins (2005)