Concurrent term rewriting as a model of computation
Proc. of a workshop on Graph reduction
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
ACM Computing Surveys (CSUR)
Petri nets and algebraic specifications
Theoretical Computer Science
Handbook of theoretical computer science (vol. B)
Object-oriented modeling and design
Object-oriented modeling and design
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Extending object-oriented systems with roles
ACM Transactions on Information Systems (TOIS)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Object orientation with parallelism and persistence
Object orientation with parallelism and persistence
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
Logics for specifying concurrent information systems
Logics for databases and information systems
Evolving logical specification in information systems
Logics for databases and information systems
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Objects and their Specification
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Semantics Frameworks for a Class of Modular Algebraic Nets
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
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
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Aggregation in a Behaviour Oriented Object Model
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Events in an Active Object-Oriented Database System
Events in an Active Object-Oriented Database System
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Hi-index | 0.00 |
This paper presents fundamentals of a novel framework adequately tailored for specifying and validating complex information systems as fully distributed, autonomous yet cooperating components. The proposed framework, referred to as CO-NETS, is a multi-paradigm soundly integrating object-oriented (OO) structuring mechanisms, modularity concepts and some constructions from semantical data modeling into an appropriate variety of algebraic Petri nets. The model is semantically interpreted in a true concurrency way using an adequate instantiation of rewriting logic.CO-NETS main features may be highlighted as follows: firstly, CO-NETS allow to build autonomous components as a hierarchy of OO classes with explicit interfaces. Each component behaves with respect to an intra-component evolution pattern that fully exhibits intra-as well as inter-object concurrency. Secondly, while such components autonomously behave they may interact with each other using their explicit interfaces and respecting an inter-component interaction pattern. Thirdly, from a methodological point of view, CO-NETS components may be incrementally conceived from well known semi-informal OO diagrams. Besides that, thanks to their rewriting-logic based semantics, CO-NETS components are validated using concurrent rewriting techniques simultaneously accompanied by graphical animations. CO-NETS practicability is illustrated through a non-trivial case study, and all CO-NETS features are compared to similar existing OO formalisms on the basis of some exhaustive criteria.