A GALS Language for Dynamic Distributed and Reactive Programs

Abstract : We propose a Globally Asynchronous Locally Syn- chronous language DSystemJ for designing dynamic distributed systems. DSystemJ, an extension of the reactive asynchronous SystemJ language, enhances it with dynamic creation and process mobility, and uses the Java language for programming sequential data computations. Moreover, DSystemJ is equipped with a formal semantics, which allows, formal system specifi- cation, reasoning, and automatic code generation. Compared to special purpose languages, DSystemJ is better in terms of implementation, scalability, and features. Compared to general purpose languages, DSystemJ is better because it exposes, at the language level, OS features like communication, concurrency, process creation and migration, therefore making it better suited for system level design of complex distributed systems.
Type de document :
Communication dans un congrès
ACSD, Jun 2011, Newcastle, United Kingdom. 2011
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00603329
Contributeur : Alain Girault <>
Soumis le : vendredi 24 juin 2011 - 16:00:12
Dernière modification le : mercredi 11 avril 2018 - 01:52:25
Document(s) archivé(s) le : vendredi 9 novembre 2012 - 16:55:47

Fichier

ACSD-P40-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00603329, version 1

Collections

Citation

Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs. ACSD, Jun 2011, Newcastle, United Kingdom. 2011. 〈inria-00603329〉

Partager

Métriques

Consultations de la notice

301

Téléchargements de fichiers

256