Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Statecharts: A visual formalism for complex systems
Science of Computer Programming
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
Specification of the transit node in PSFd
Algebraic methods II
From an ERAE requirements specification to a PLUSS algebraic specification
Algebraic methods II
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Specification-Based Testing for Object-Oriented Software
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Formal Development of Actor Programs Using Structured Algebraic Petri Nets
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
A Coordination Model for Distributed Object Systems
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
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
Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Abstracting Services in a Heterogeneous Environment
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
Real-Time Synchronised Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems
Automated Software Engineering
Pattern operators for grid environments
Scientific Programming
Formal Description and Verification of Web Service Composition Based on OOPN
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Tooling the Dynamic Behavior Models of Graphical DSLs
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
Prototyping object oriented specifications
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Towards a formal, model-based framework for control systems interaction prototyping
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Proceedings of the 10th Workshop on Domain-Specific Modeling
Prototyping domain specific languages with COOPN
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
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
AlPiNA: a symbolic model checker
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Formal test generation from UML models
Dependable Systems
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Hi-index | 0.00 |
In this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object-oriented paradigm. In this hybrid approach (model- and property-oriented), classes of objects are described by means of algebraic Petri nets, while data structures are expressed by order-sorted algebraic specifications. An original feature is the sophisticated synchronization mechanism. This mechanism allows to involve many partners in a synchronization and to describe the synchronization policy. A typical example of distributed systems, namely the Transit Node, is used throughout this paper to introduce our formalism and the concrete specification language associated with it. By successive refinements of the components of the example, we present, informally, most of the notions of CO-OPN/2. We also give some insights about the coordination layer, Context and Objects Interface Language (COIL), which is built on top of CO-OPN/2. This coordination layer is used for the description of the concrete distributed architecture of the system. Together, CO-OPN/2 and COIL provide a complete formal framework for the specification of distributed systems.