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 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||