Skip to main content

Mobile Calculi Based on Domains

Article Category

Article available in the folowing languages:

Advanced programming for distributed and mobile systems

The MIKADO project developed new formal models for the specification and programming of large-scale, highly distributed and mobile systems.

Digital Economy

Challenged by the global computing initiative, the MIKADO project focused on exceeding current limitations of common middleware and programming technologies. Such limitations include restricted interactions and view of components and objects as well as difficulties in proper and uniform support of mobility, predictability, security, and fault-tolerance. Another important aspect is system responsiveness to investigation for verification, validation and test purposes in the most accurate way. Motivated by this, the project specified and developed prototypes of innovative models for specification and programming of highly distributed and mobile systems. The ultimate objective was to employ the new tools and techniques in order to improve the trustworthiness and safety of systems for solving dependability and security issues. A set of rigorous models and analysis techniques as well as software infrastructure and virtual machines were generated. One of the new programming models, the ULM enables the user to move from functional programming resulting from mathematical functions to reactive programming, distribution and mobility. Embedded in the Scheme multi-paradigm programming language that supports functional programming it includes a compiler and a virtual machine for its implementation. For further information, click at:

Discover other articles in the same domain of application