The goal of MIKADO is to construct a new formal programming model, based upon the notion of domain as a computing concept, which supports reliable, distributed mobile computation, and provides the mathematical basis for a secure standard for distributed computing in open systems.
Specifically, MIKADO intends:
The project is organised around three themes: core programming model, specification and analysis, and virtual machine technologies and language support.
The core programming model for global computing will be based on the notion of domain. The specification and analysis techniques for the programming model will range from type systems and static analysis techniques for expressing constraints on concurrency, mobility, and resource access for the underlying execution model, to proof techniques for assuring that mobile code, and more generally distributed systems, conform to predefined behavioural specifications. The latter will require the definition of novel co-inductive techniques to compare the distributed behaviour of systems and the elaboration of new specification logics for expressing interesting partial views of systems and programming paradigms. The virtual machine technologies and language support will embody the MIKADO programming model in concrete programming technologies. We will develop several prototypes, including: virtual machine technology supporting the programming model together with typing schemes; language features and language extensions supporting the programming model and the type systems.
The clusters Mikado belongs to
Global Computing Initiative, Clustering of projects and joint activities (pdf, 21 kBytes).
About this site. Last modified: Wed Dec 4 15:44:20 WET 2002