Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Hi-index | 0.00 |
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.