By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
F. Kordon ; Lab. MASI, Univ. Pierre & Marie Curie, Paris, France

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

Published in:

Rapid System Prototyping, 1993. Shortening the Path from Specification to Prototype. Proceedings., Fourth International Workshop on

Date of Conference:

28-30 Jun 1993