loading...
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach
Newcastle upon Tyne, UK June 25-June 29
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981768Second International Conference on Ap ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Stanislav Chachkov, Swiss Federal Institute of Technology Lausanne
Didier Buchs, Swiss Federal Institute of Technology Lausanne
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.