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.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.208-226, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_13 〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01305474
Contributeur : Justine Rochas <>
Soumis le : jeudi 21 avril 2016 - 10:40:32
Dernière modification le : vendredi 10 novembre 2017 - 01:17:52
Document(s) archivé(s) le : mardi 15 novembre 2016 - 07:46:56

Fichier

2016-coordination.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ludovic Henrio, Justine Rochas. From Modelling to Systematic Deployment of Distributed Active Objects. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.208-226, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_13 〉. 〈hal-01305474〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

65