MOMI: a calculus for mobile mixins

Authors:
Lorenzo Bettini;Betti Venneri;Viviana Bono
Affiliations:
Viale Morgagni, 65, 50134, Firenze, Italy;Viale Morgagni, 65, 50134, Firenze, Italy;Dipartimento di Informatica, Università di Torino, C.so Svizzera, 185, 10149, Torino, Italy
Venue:
Acta Informatica
Year:
2005

Citing 0
Cited 5

A Calculus of Components with Dynamic Type-Checking

Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus of open modules: call-by-need strategy and confluence

Mathematical Structures in Computer Science
A Parametric Calculus for Mobile Open Code

Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for type safe exchange of mobile code

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Object reuse and behavior adaptation in Java-like languages

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.