DocumentCode :
3355665
Title :
Producing prototypes from CO-OPN specifications
Author :
Buchs, Didier ; Flumet, Jacques ; Racloz, Pascal
Author_Institution :
Geneva Univ., Switzerland
fYear :
1992
fDate :
23-25 Jun 1992
Firstpage :
77
Lastpage :
93
Abstract :
The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of 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. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog
Keywords :
Petri nets; formal specification; object-oriented programming; software prototyping; software tools; specification languages; CO-OPN; Prolog; algebraic abstract data types; computer programs; concurrent object-oriented Petri net; data-structure; editor; object notion; prototypes; simulation tools; specification language; specifications; Concurrent computing; Object oriented modeling; Parallel machines; Petri nets; Production; Prototypes; Software prototyping; Software quality; Specification languages; Terminology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Rapid System Prototyping, 1992. Shortening the Path from Specification to Prototype, 1992 International Workshop on
Conference_Location :
Research Triangle Park, NC
Print_ISBN :
0-8186-3520-7
Type :
conf
DOI :
10.1109/IWRSP.1992.243915
Filename :
243915
Link To Document :
بازگشت