A generic prototype model for distributed systems based on high level object oriented specification

This paper presents a multi-formalism method for design and rapid prototyping of parallel systems. This approach mixes object paradigm and formal verification techniques. The method is based on enrichment and refinements, each one involving several intermediate representations bringing additional information. On this basis, a prototype is generated that may be either a prototype or a first operational version of the system or a model outlining design aspects. The prototype is defined using a generic architecture which makes it possible to implement the prototyping process for several languages without having to change the design approach