Producing prototypes from CO-OPN specifications

Abstract

This paper describes the techniques and the tools developed to produce prototypes from COOPN specifications. CO-OPN is a specification language allowing to describe concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets while the data aspects are described with algebraic abstract data types. In CO-OPN, this association is structured by the object notion. Prototyping such formalism needs to have a fully operational semantics. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specification have been developed. The specification is prototyped using a translation of the specifications into Prolog.

Topics

    8 Figures and Tables

    Download Full PDF Version (Non-Commercial Use)