Second International Conference on Application of Concurrency to System Design (ACSD'01)
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach
Newcastle upon Tyne, UK
June 25-June 29
ISBN: 0-7695-1071-X
CO-OPN (Concurrent Object Oriented Petri Net) is a formal specification language for modelling distributed systems; it is based on coordinated algebraic Petri nets. In this paper we describe a method for generating an executable prototype from a CO-OPN specification. We focus our discuss on the generation of executable code for CO-OPN classes. CO-OPN classes are defined using Petri Nets. The main problems arise when implementing synchronization and non-determinism of CO-OPN classes in procedural languages. Our method proposes a solution to these problems. Another interesting aspect of our method is the easy integration of a generated prototype into any existing system. This paper focuses on the generation of Java code that fulfils the Java Beans component architecture, however our approach s also applicable to other object-oriented implementation languages with a component architecture.
Citation:
Stanislav Chachkov, Didier Buchs, "From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach," acsd, pp.99, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001