A Java runtime based on IMC
Overview
JDpi is a Java framework that can be used to develop distributed applications following the paradigm introduced by the distributed π-calculus (Dπ in short) introduced in [2]. This calculus is an extension of π-calculus where processes are distributed over a set of nodes (or locations) each of which is univocally identified by a name (or location). The processes can interact via channel based communication only if they are co-located, and can also migrate between different locations. The framework provides Java classes to develop processes that can migrate between nodes and communicate over channel, with a semantics derived from Dπ. JDpi had been developed using the IMC framework, which is described in the following section.
IMC: Implementing Mobile Calculi
IMC is a Java software framework for building infrastructures to support the development of applications for systems where mobility and network awareness are key issues. The framework is particularly useful to develop run-time support for languages oriented towards global computing. It enables platform designers to customize communication protocols and network architectures and guarantees transparency of name management and code mobility in distributed environments. A first implementation of IMC is presented in [1].
A compiler for JDpi
To ease the implementation of processes and to enforce the use of Dπ paradigm we developed also a simple compiler. The user can thus build JDpi processes using a little extension to the standard Dπ, called myDpi, which main details are shown here. The current version of the compiler provides also a simple editor and a beta version that can also use XML documents to generate JDpi processes.
References
- [1] L.Bettini and R.De Nicola and D.Falassi and M.Lacoste and M.Loreti "A Flexible and Modular Framework for Implementing Infrastructures for Global Computing" in Proc. of 5th IFIP Int. Conf. on Distributed Applications and Interoperable Systems (DAIS), 2005
- [2] M.Hennessy and J. Rieley. "Resource access control in systems of mobile agents" in U. Nestmann and B. C. Pierce, editors, Proc. of HLCL '98: High-Level Concurrent Languages volume 16.3 on ENTCS. Elsevier 1998
Accesses:
