Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

Abstract : The paper presents a programming language, DSystemJ, for dynamic distributed Globally Asynchronous Locally Synchronous (GALS) systems, its formal model of computation, formal syntax and semantics, its compilation and implementation. The language is aimed at dynamic distributed systems, which use socket based communication protocols for communicating between components. DSystemJ allows the creation and control at runtime of asynchronous processes called clock-domains, their mobility on a distributed execution platform, as well as the runtime reconfiguration of the system's functionality and topology. As DSystemJ is based on a GALS model of computation and has a formal semantics, it offers very safe mechanisms for implementation of distributed systems, as well as potential for their formal verification. The details and principles of its compilation, as well as its required runtime support are described. The runtime support is implemented in the SystemJ GALS language that can be considered as a static subset of DSystemJ.
Type de document :
Article dans une revue
IEEE Trans.\ Parallel and Distributed Systems, IEEE, 2012, 23 (7), pp.1240--1254
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00777730
Contributeur : Alain Girault <>
Soumis le : jeudi 17 janvier 2013 - 23:06:11
Dernière modification le : mercredi 11 avril 2018 - 01:52:12
Document(s) archivé(s) le : jeudi 18 avril 2013 - 04:02:50

Fichier

tpds-2010-12-0720-1.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00777730, version 1

Collections

Citation

Avinash Malik, Alain Girault, Zoran Salcic. Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans.\ Parallel and Distributed Systems, IEEE, 2012, 23 (7), pp.1240--1254. 〈hal-00777730〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

225