Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance and subtyping in a parallel object-oriented language
European conference on object-oriented programming on ECOOP '87
Petri nets and algebraic specifications
Theoretical Computer Science
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
CO-OPN/2: a concurrent object-oriented formalism
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A semantics of sequence diagrams
Information Processing Letters
Real-Time Synchronised Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Towards service-based business process modeling, prototyping and integration
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Network structure and traffic modeling and simulation with CO-OPN
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
State space exploration of object-based systems using equivalence reduction and the sweepline method
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A methodology and a framework for model-based testing
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Fundamenta Informaticae - Petri Nets 2008
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Unifying the semantics of modular extensions of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |
This paper presents and formally defines the CO-OPN/2 formalism (Concurrent Object-Oriented Petri Net) which is devised for the specification of large concurrent systems. We introduce the basic principles of the formalism, and describe how some aspects of objectorientation - such as the notions of class/object, object reference, inheritance and subtyping - are taken into account. In CO-OPN/2, classes (considered as templates) are described by means of algebraic nets in which places play the role of attributes, and methods are external parameterized transitions. A semantic extension for the management of the object references is defined. Inheritance and subtyping are clearly distinguished. Interaction between objects consists of synchronizations. Synchronization expressions are provided which allow the designer to select interaction policies between the partners. We also provide a step semantics which expresses the true concurrency of the object behaviors. Finally, in order to illustrate the modeling capabilities of our formalism, we adopted a case study on groupware or, more specifically, on a cooperative editor of hierarchical diagrams.