A ProActive Backend for ABS: from Modelling to Deployment

Justine Rochas 1 Ludovic Henrio 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 : ABS is an object-oriented modeling language that is based on a concurrent object group model, derived itself from the active object model. Its goal is to describe distributed and concurrent applications in order to verify their properties and make them safer. Thanks to the ABS Tool Suite, ABS programs can be translated into the Java programming language (among others), and executed in the JVM. This paper presents a new ABS backend that translates ABS programs into ProActive programs. ProActive is a well known active object Java library that provides support for distribution of applications across clusters or grids. The benefit of this work is to be able to easily distribute ABS programs, so that ABS models can also be experimented in a large scale setting. Our contribution includes the ProActive backend itself, the complete description of our translation strategy, and a realistic experiment that shows the benefits of the ProActive backend.
Type de document :
Rapport
[Research Report] RR-8596, INRIA. 2014


https://hal.inria.fr/hal-01065072
Contributeur : Justine Rochas <>
Soumis le : mercredi 17 septembre 2014 - 17:25:23
Dernière modification le : samedi 17 septembre 2016 - 01:36:43
Document(s) archivé(s) le : jeudi 18 décembre 2014 - 11:56:39

Fichier

RR-8596.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01065072, version 1

Collections

Citation

Justine Rochas, Ludovic Henrio. A ProActive Backend for ABS: from Modelling to Deployment. [Research Report] RR-8596, INRIA. 2014. <hal-01065072>

Partager

Métriques

Consultations de
la notice

157

Téléchargements du document

110