Sections:
home |
consortium |
meetings |
output |
private
Quick links:
Objectives |
Workplan |
Expected results |
Clusters |
Advisory board |
Further information
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:
- To develop new formal models for both the specification and programming
of large-scale, highly distributed and mobile systems.
- To develop new programming languages features supporting such
models, and to study their combination with functional and
object-oriented programming.
- To develop specification and analysis techniques which can be
used to build safer and trustworthy systems, to demonstrate their
conformance to the specifications, and to analyse their behaviour
- To prototype new virtual machine technologies that can be used
to implement in a "provably correct" way such models and languages.
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.
- Analysis of programming requirements for global computing, and
of the state of the art in formal models, type systems and execution
structures for distributed mobile computing.
- Core programming model and type systems, co-inductive proof
techniques, analysis of component properties, and core distributed
virtual machine framework.
- Specification logics, domain-specific patterns for distributed
virtual machines, and programming languages for global computing.
Global Computing Initiative,
Clustering of projects and joint activities (pdf, 21 kBytes).
- Analysis of Systems
- Includes the following projects.
Dart: Dynamic assembly
and reconfiguration
MRG: Mobile
resources guarantees
MyThs:
Models and types for security
Profundis:
Proofs of functionality
Secure: Secure environment for collaboration
Mikado: Mobile calculi based on domains
- Languages and Programming Environments
- Includes the following projects.
Agile:
Architectures for mobility
Pepito: Peer-to-peer
implementation and theory
Degas: Design
environments for global applications
Mikado: Mobile calculi based on domains
- Mogens Nielsen (Secure)
- Joachim Parrow (Profundis)
- Eugenio Moggi (Dart)
- Giuseppe Castagna (MyThs)
- Don Sanella (MRG), pending
About this site.
Last modified: Wed Dec 4 15:44:20 WET 2002