{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:47Z","timestamp":1725488147124},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672012"},{"type":"electronic","value":"9783540464662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46466-2_5","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:40:32Z","timestamp":1186216832000},"page":"91-111","source":"Crossref","is-referenced-by-count":4,"title":["Specifying Distributed and Dynamically Evolving Information Systems Using an Extended Co-nets Approach"],"prefix":"10.1007","author":[{"given":"Nasreddine","family":"Aoumeur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"R. Allen and D. Garlan. A Formal Basis for Architectural Connection. Technical report, School of Computer Science, Carnegie Mellon University, 1997.","DOI":"10.1145\/258077.258078"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"N. Aoumeur and G. Saake. Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach. In J. Desel, K. Pohl, and P. Schuerr, editors, Proc. Modellierung\u201999, Karlruhe, Germany, March 1999, pages 107\u2013122, B. G. Teubner-Verlag, 1999.","DOI":"10.1007\/978-3-322-93104-7_7"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","first-page":"381","volume-title":"Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE\u201999, Heidelberg, Germany","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, Heidelberg, Germany, Lecture Notes in Computer Science, Vol. 1626, pages 381\u2013395, Springer-Verlag, 1999."},{"key":"5_CR4","unstructured":"F. Chabot and J. Raskin. The Formal Semantics of Albert II. Technical report, Namur University, Computer Science Institute, 1998."},{"key":"5_CR5","unstructured":"M. Clavel, F. Duran, S. Eker, J. Meseguer, and M. Stehr. Maude: Specification and Programming in Rewriting Logic. Technical report, SRI, Computer Science Laboratory, March 1999. URL: http:\/\/maude.csl.sri.com"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving Logical Specification in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167\u2013198, Kluwer Academic Publishers, 1998.","DOI":"10.1007\/978-1-4615-5643-5_7"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"G. Denker. From Rewrite Theories to Temporal Logic Theories. In H. Kirchner and C. Kirchner, editors, Proc. of Second International Workshop on Rewriting Logic, Electronic Notes in Theoretical Computer Science, Vol. 15, 1998.","DOI":"10.1016\/S1571-0661(05)82555-1"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 6, pages 243\u2013320, Vol. B: Formal Methods and Semantics, North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"5_CR9","volume-title":"The Albert II Language: On the Design and the Use of a Formal Specification Language for Requirements Analysis","author":"P. Bois Du","year":"1995","unstructured":"P. Du Bois. The Albert II Language: On the Design and the Use of a Formal Specification Language for Requirements Analysis. PhD thesis, Computer Department, University of Namur, Belgium, September 1995."},{"key":"5_CR10","doi-asserted-by":"crossref","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, 1998.","DOI":"10.1007\/978-1-4615-5643-5_6"},{"key":"5_CR11","series-title":"Lect Notes Comput Sci","first-page":"40","volume-title":"Proc. of 8th Workshop on Abstract Data","author":"H.-D. Ehrich","year":"1992","unstructured":"H.-D. Ehrich, M Gogolla, and A. Sernadas. Objects and Their Specification. In M. Bidoit and C. Choppy, editors, Proc. of 8th Workshop on Abstract Data, Lecture Notes in Computer Science, Vol. 655, pages 40\u201366, Springer-Verlag, 1992."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Module Specification and Constraints. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-61284-8"},{"key":"5_CR13","unstructured":"Goguen, J. and Winkler, T. and Meseguer, J. and Futatsugi, K. and Jouannaud, J.P. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg. High-level Petri Nets. Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R. Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll \u2014 A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of Inheritance Anomaly in Concurrent Object-Oriented Languages. Research Directions in Object-Based Concurrency, pages 107\u2013150, 1993.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional Rewriting Logic as a Unified Model for Concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"J. Meseguer. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. Research Directions in Object-Based Concurrency, pages 314\u2013390, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"5_CR19","unstructured":"M. P. Papazoglou and G. Schlageter, editors. Cooperative Information Systems: Trends and Directions. Academic Press, 1998."},{"key":"5_CR20","first-page":"84","volume-title":"Information Systems \u2014 Correctness and Reusability. Selected Papers from the IS-CORE Workshop","author":"G. Saake","year":"1995","unstructured":"G. Saake, A. Sernadas, and C. Sernadas. Evolving Object Specifications. In R. Wieringa and R. Feenstra, editors, Information Systems \u2014 Correctness and Reusability. Selected Papers from the IS-CORE Workshop, pages 84\u201399, World Scientific Publishing, Singapore, 1995."},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/382192.383004","volume":"1","author":"P. Wegner","year":"1990","unstructured":"P. Wegner. Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOPS Messenger, 1(1):7\u201387, August 1990.","journal-title":"ACM SIGPLAN OOPS Messenger"}],"container-title":["Lecture Notes in Computer Science","Transactions and Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46466-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T07:39:30Z","timestamp":1708155570000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46466-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672012","9783540464662"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-46466-2_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}