From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version
Abstract
In the context of the expansion of actors and active objects,
we are still facing a gap between the safety guaranteed by modelling
and verification languages and the efficiency of distributed middlewares.
In this paper, we reconcile two active object-based languages, ABS and
ProActive, that respectively target the aforementioned goals. We compile
ABS programs into ProActive, making possible to benefit from
the strengths of both languages, while requiring no modification on the
source code. After introducing the translational semantics, we establish
the properties and the correctness of the translation. Overall, this paper
presents an approach to running di↵erent active object models in distributed
environments, and more generally studies the implementation
of programming languages based on active objects.
Origin : Files produced by the author(s)