Abstract
For adequately specifying and rapid-prototyping concurrent information systems, we proposed in [AS99] a new form of object oriented (OO) Petri nets. Referred to as Co-nets, this approach allows in particular to conceive such systems as complex autonomous yet cooperating components. Moreover, for coping with intrinsic dynamic evolution in such systems, we have straightforwardly extended this proposal by introducing notions of meta-places, non-instantiated transitions and a two-step evaluated inference rule [Aou00].
The purpose of this paper is to tackle with another crucial dimension characterizing real-world information systems, namely static and dynamic integrity constraints. For this aim, we propose to associate with each component a ‘constraints’ class. To enforce such constraints, we propose an appropriate ‘synchronization’ inference rule that semantically relates ‘constraints’ transitions with intrinsically dependent ones in the associated component. For a more flexible consistency management we enrich this first proposal by an adequate meta-level, where constraints may be dynamically created, modified or deleted. Finally, we show how this proposal covers a large number of constraint subclasses, including life-cycle based constraints and constraints based on complex derived information as view classes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
N. Aoumeur. Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach. In G. Saake, K. Schwarz, and C Turker, editors, Transactions and Database Dynamics, volume 1773 of Lecture Notes in Computer Science, Berlin, pages 91–111. Springer-Verlag, 2000. Selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany.
N. Aoumeur and G. Saake. Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. In M. Jarke and A. Oberweis, editors, Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE’99, volume 1626 of Lecture Notes in Computer Science, pages 381–395. Springer-Verlag, 1999.
N. Aoumeur and G. Saake. An Appropriate Semantics for Distributed Active Object-Oriented Databases on the Basis of the Co-nets Approach. In International Conference on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD’ 00), Reims, France, 2000.
N. Aoumeur and G. Saake. Cooperative Information Systems Modelling and Validation Using the Co-nets Approach: The Chessmen Making Shop Case Study. In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’00), Berlin, Germany, pages 361–383, 2000.
N. Aoumeur and G. Saake. Specifying and Validating Train Control Systems Using an Appropriate Component-Based Petri Nets Model. In Proc. of the Petri Nets in Design, Modelling and Simulation of Control Systems Special session at IFAC Conference CSD2000, Bratislava, Slovakia, 2000.
S. Conrad, H. Klein, and K. D. Schewe. Integrity in Databases: 6th International Workshop on Foundations of Models and Languages for Data and Objects. Preprint Nr. 4, Fakultat fur Informatik, Universitat Magdeburg, 1996.
E.O. De Brock. A General Treatment of Dynamic Integrity Constraints. Data & Knowledge, 32:223–246, 2000.
H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167–198. Kluwer Academic Publishers, Boston, 1998.
M. Gertz and U.W. Lipeck. Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints. Data & Knowledge, 20:163–193, 1996.
J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
J. Meseguer and C. Talcott. A Partial Order Event Model for Concurrent Objects. In Proc. of CONCUR’99, volume 1664 of Lecture Notes in Computer Science, pages 415–430. Springer-Verlag, 1999.
M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems: Trends and Directions. Academic Press, Boston, 1998.
K. A. Ross, D. Srivastara, P. J. Stuckey, and S. Sudarshan. Foundation of Aggregation Constraints. Theoretical Computer Science, 193:47–74, 1991.
G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge, 6:47–73, 1991.
G. Saake, S. Conrad, and C. Turker. Evolving Objects: Conceptual Description of Adaptive Information systems. In H. Balsters, B. De Brock, and S. Conrad, editors, Database schema Evolution and Meta-Modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects (FOMLADO/DEMM 2000), Dagstuhl, Germany, Lecture Notes in Computer Science Vol. 2065, pages 162–180, Springer-Verlag, 2001.
A.P. Sheth and J.A. Larson. Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Computing Surveys, 22(3):183–236, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aoumeur, N., Saake, G. (2001). Consistency Management in Runtime Evolving Concurrent Information Systems: A Co-nets-Based Approach. In: Balsters, H., de Brock, B., Conrad, S. (eds) Database Schema Evolution and Meta-Modeling. DEMM FoMLaDO 2000 2000. Lecture Notes in Computer Science, vol 2065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48196-6_2
Download citation
DOI: https://doi.org/10.1007/3-540-48196-6_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42272-3
Online ISBN: 978-3-540-48196-6
eBook Packages: Springer Book Archive