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

Volume

4

fYear

1996

fDate

14-17 Oct 1996

Firstpage

3021

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1996., IEEE International Conference on

Conference_Location

Beijing

ISSN

1062-922X

Print_ISBN

0-7803-3280-6

Type

conf

DOI

10.1109/ICSMC.1996.561447

Filename

561447