Schema evolution in object-oriented database systems
Data & Knowledge Engineering
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
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
Real-time object-oriented modeling
Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Evolving logical specification in information systems
Logics for databases and information systems
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
A two-level temporal logic for evolving specifications
Information Processing Letters
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Architectural Styles, Design Patterns, and Objects
IEEE Software
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
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
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly
ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Constructs for Modeling Information Systems with Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Modeling dynamic software components in UML
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Hi-index | 0.00 |
Besides the steady growing of size-complexity and distribution of present-day information systems, business volatility with rapid changes in users' wishes and technological upgrading are stressing an overwhelmingly need for more advanced conceptual modeling approaches. Such advanced conceptual models should coherently and soundly reflect these three crucial dimensions, namely the size, space and (evolution over) time dimensions. In contribution towards such advanced conceptual approaches, we presented in [Data Know. Eng. 42 (2) (2002) 143] a new form of integration of object-orientation with emphasize on componentization into a variety of algebraic Petri nets, we referred to as CO-NETS.The purpose of the present paper is to soundly extend this proposal for coping with dynamic changing of structural and behavioral aspects of CO-NETS components. To this aim, we are proposing an adequate Petri net-based meta-level that may be sketched as follows. First, we construct two "meta-nets' for each component: one concerns the modification of behavioral aspects and the other is for dealing with structural aspects. While the meta-net for behavioral dynamic enables the dynamic of any transition in a given component to be modified at runtime, the meta-net for structural aspects completes and enhances these capabilities by allowing involved messages and object signatures (i.e. structure) to be dynamically manipulated. In addition of a rigorous description of this meta-level and its illustration using a medium-complexity banking system example, we also discuss how this level brings a satisfactory solution to the well-known inheritance-anomaly problem.