Title :
Evolutive prototyping of heterogeneous distributed systems using hierarchical algebraic Petri nets
Author :
Buchs, D. ; Hulaas, J.
Author_Institution :
Dept. of Comput. Sci., Swiss Federal Inst. of Technol., Lausanne, Switzerland
Abstract :
This paper presents several extensions to a new evolutive prototyping process, called object-oriented mixed prototyping. Our application field is complex distributed systems modelled by the means of CO-OPN (concurrent object-oriented Petri nets), a hierarchical algebraic Petri net language. CO-OPN being a strong synchronous language, we also show an original implementation scheme for its high-level communication model in heterogeneous wide-area networks
Keywords :
Petri nets; distributed processing; formal specification; object-oriented languages; object-oriented programming; software prototyping; specification languages; synchronisation; CO-OPN specification language; concurrent object-oriented Petri nets; evolutive prototyping; heterogeneous distributed systems; hierarchical algebraic Petri nets; synchronous language; wide-area networks; Application software; Computer science; Data mining; Formal specifications; Object oriented modeling; Object oriented programming; Petri nets; Prototypes; Software prototyping; Specification languages;
Conference_Titel :
Systems, Man, and Cybernetics, 1996., IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-3280-6
DOI :
10.1109/ICSMC.1996.561447
