Skip to Main content Skip to Navigation
Conference papers

From Modelling to Systematic Deployment of Distributed Active Objects

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 different active object models in distributed environments, and more generally studies the implementation of programming languages based on active objects.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download
Contributor : Justine Rochas <>
Submitted on : Thursday, April 21, 2016 - 10:40:32 AM
Last modification on : Tuesday, May 26, 2020 - 6:50:56 PM
Document(s) archivé(s) le : Tuesday, November 15, 2016 - 7:46:56 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Ludovic Henrio, Justine Rochas. From Modelling to Systematic Deployment of Distributed Active Objects. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.208-226, ⟨10.1007/978-3-319-39519-7_13⟩. ⟨hal-01305474⟩



Record views


Files downloads