About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Conference paper
A GALS language for dynamic distributed and reactive programs
Abstract
We propose a Globally Asynchronous Locally Synchronous language DSystemJ for designing dynamic distributed systems. DSystemJ, an extension of the reactive asynchronous System J 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 specification, 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. © 2011 IEEE.