A GALS Language for Dynamic Distributed and Reactive Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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.
Fichier principal
Vignette du fichier
ACSD-P40-final.pdf (229.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00603329 , version 1 (24-06-2011)

Identifiers

  • HAL Id : inria-00603329 , version 1

Cite

Avinash Malik, Alain Girault, Zoran Salcic. A GALS Language for Dynamic Distributed and Reactive Programs. ACSD, Jun 2011, Newcastle, United Kingdom. ⟨inria-00603329⟩
126 View
196 Download

Share

Gmail Facebook Twitter LinkedIn More