{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:31Z","timestamp":1725487231267},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422723"},{"type":"electronic","value":"9783540481966"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-48196-6_2","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:22:53Z","timestamp":1184588573000},"page":"33-60","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Consistency Management in Runtime Evolving Concurrent Information Systems: A Co-nets-Based Approach"],"prefix":"10.1007","author":[{"given":"Nasreddine","family":"Aoumeur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunter","family":"Saake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-46466-2_5","volume-title":"Transactions and Database Dynamics","author":"N. Aoumeur","year":"2000","unstructured":"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\u2013111. Springer-Verlag, 2000. Selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Sep. 1999, Germany."},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/3-540-48738-7_28","volume-title":"Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE\u201999","author":"N. Aoumeur","year":"1999","unstructured":"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\u201999, volume 1626 of Lecture Notes in Computer Science, pages 381\u2013395. Springer-Verlag, 1999."},{"unstructured":"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\u2019 00), Reims, France, 2000.","key":"2_CR3"},{"unstructured":"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\u201900), Berlin, Germany, pages 361\u2013383, 2000.","key":"2_CR4"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"2_CR5","DOI":"10.1016\/S1474-6670(17)37204-X"},{"unstructured":"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.","key":"2_CR6"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0169-023X(99)00041-5","volume":"32","author":"E.O. Brock De","year":"2000","unstructured":"E.O. De Brock. A General Treatment of Dynamic Integrity Constraints. Data & Knowledge, 32:223\u2013246, 2000.","journal-title":"Data & Knowledge"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-1-4615-5643-5_6","volume-title":"Logics for Databases and Information Systems","author":"H.-D. Ehrich","year":"1998","unstructured":"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\u2013198. Kluwer Academic Publishers, Boston, 1998."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/S0169-023X(96)00010-9","volume":"20","author":"M. Gertz","year":"1996","unstructured":"M. Gertz and U.W. Lipeck. Deriving Optimized Integrity Monitoring Triggers from Dynamic Integrity Constraints. Data & Knowledge, 20:163\u2013193, 1996.","journal-title":"Data & Knowledge"},{"unstructured":"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.","key":"2_CR10"},{"key":"2_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992."},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/3-540-48320-9_29","volume-title":"Proc. of CONCUR\u201999","author":"J. Meseguer","year":"1999","unstructured":"J. Meseguer and C. Talcott. A Partial Order Event Model for Concurrent Objects. In Proc. of CONCUR\u201999, volume 1664 of Lecture Notes in Computer Science, pages 415\u2013430. Springer-Verlag, 1999."},{"volume-title":"Cooperative Information Systems: Trends and Directions","year":"1998","unstructured":"M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems: Trends and Directions. Academic Press, Boston, 1998.","key":"2_CR13"},{"key":"2_CR14","first-page":"47","volume":"193","author":"K. A. Ross","year":"1991","unstructured":"K. A. Ross, D. Srivastara, P. J. Stuckey, and S. Sudarshan. Foundation of Aggregation Constraints. Theoretical Computer Science, 193:47\u201374, 1991.","journal-title":"Theoretical Computer Science"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0169-023X(91)90015-P","volume":"6","author":"G. Saake","year":"1991","unstructured":"G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge, 6:47\u201373, 1991.","journal-title":"Data & Knowledge"},{"key":"2_CR16","series-title":"Lect Notes Comput Sci","first-page":"162","volume-title":"Database schema Evolution and Meta-Modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects (FOMLADO\/DEMM 2000), Dagstuhl, Germany","author":"G. Saake","year":"2001","unstructured":"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\u2013180, Springer-Verlag, 2001."},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"A.P. Sheth","year":"1990","unstructured":"A.P. Sheth and J.A. Larson. Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Computing Surveys, 22(3):183\u2013236, 1990.","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Database Schema Evolution and Meta-Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48196-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:45:29Z","timestamp":1558467929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48196-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422723","9783540481966"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48196-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"8 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}