Petri nets: an introduction
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Handbook of theoretical computer science (vol. B)
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Towards an algebraic semantics for the object paradigm
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
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
Communication and Concurrency
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
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
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Integrating and Rapid-Prototyping UML Structural and Behavioural Diagrams Using Rewriting Logic
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Consistency Management in Runtime Evolving Concurrent Information Systems: A CO-NETS-Based Approach
FoMLaDO/DEMM 2000 Selected papers from the 9th International Workshop on Foundations of Models and Languages for Data and Objects, Database Schema Evolution and Meta-Modeling
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Hi-index | 0.00 |
We present first results towards a tailored conceptual model for advanced distributed information systems regarded as open reactive and distributed systems with large databases and application programs. The proposed model, referred to as CO-Nets, is based on a complete integration of object oriented concepts with some constructions from semantical data modeling into an appropriate variant of algebraic Petri Nets named ECATNets. The CO-Nets behaviour is interpreted into rewriting logic. Particularly, it is shown how CO-Nets promote incremental construction of complex components, regarded as a hierarchy of classes, through simple and multiple inheritance (with redefinition, associated polymorphism and dynamics binding). Each component behaves with respect to an appropriate intra-component evolution pattern that supports intra- as well as inter-object concurrency. On the other hand, we present how such components may be interconnected, through their interfaces, with respect to an inter-component interaction pattern that enhances concurrency and preserves the encapsulated features of each component. Moreover, by interpreting the CO-Nets behaviour into rewriting logic, rapid-prototypes can be generated using rewrite techniques and current implementation of the MAUDE language particularly. The CO-Nets approach is presented through a simplified Staff management system case study.