From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version

Ludovic Henrio 1 Justine Rochas 1
1 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01299817
Contributeur : Justine Rochas <>
Soumis le : vendredi 8 avril 2016 - 13:45:51
Dernière modification le : vendredi 16 septembre 2016 - 15:14:02
Document(s) archivé(s) le : lundi 14 novembre 2016 - 22:27:35

Fichier

i3s-Research-Report-Henrio-Roc...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01299817, version 1

Collections

Citation

Ludovic Henrio, Justine Rochas. From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version. [Research Report] I3S. 2016. <hal-01299817>

Partager

Métriques

Consultations de
la notice

245

Téléchargements du document

107