Distributed system specification using CO-OPN

The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specifi...

Full description

Saved in:
Bibliographic Details
Published inFuture Trends of Distributed Computing Systems, 3rd IEEE Workshop pp. 26 - 33
Main Authors Buchs, D., Guelfi, N.
Format Conference Proceeding Journal Article
LanguageEnglish
Published IEEE Comput. Soc. Press 1992
Subjects
Concurrent computing
Data structures
Encapsulation
Modular construction
Object oriented modeling
Petri nets
Software engineering
Specification languages
Online AccessGet full text

Cover

More Information
Summary:The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and concurrency through the use of modular algebraic specification and structured algebraic nets. This structure follows the object oriented paradigms. Distributed system specification is studied with CO-OPN through a case study of communication components: the Transit-Node. The interesting specification features of CO-OPN (structuring, refinements and concurrency) are discussed.< >
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISBN:9780818627552
0818627557
DOI:10.1109/FTDCS.1992.217518