{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T23:10:29Z","timestamp":1681254629206},"reference-count":61,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1016\/s0169-023x(02)00025-3","type":"journal-article","created":{"date-parts":[[2002,10,14]],"date-time":"2002-10-14T15:12:20Z","timestamp":1034608340000},"page":"143-187","source":"Crossref","is-referenced-by-count":10,"title":["A component-based Petri net model for specifying and validating cooperative information systems"],"prefix":"10.1016","volume":"42","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":"78","reference":[{"key":"10.1016\/S0169-023X(02)00025-3_BIB1","unstructured":"N. Aoumeur. R\u00e9alisation d'un Syst\u00e8me de Gestion du Personnel de l'Universit\u00e9. M\u00e9moire d'Ingenieur, Institut d'Informatique, Universit\u00e9 D'Oran, 1989 (In French)"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB2","doi-asserted-by":"crossref","unstructured":"N. Aoumeur, specifying distributed and dynamically evolving information systems using an extended Co-Nets approach, In: G. Saake, K. Schwarz, C. T\u00fcrker (Eds.), Transactions and Database Dynamics, volume 1773 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2000, pp. 91\u2013111 (selected papers from the 8th International Workshop on Foundations of Models and Languages for Data and Objects, September 1999, Germany)","DOI":"10.1007\/3-540-46466-2_5"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB3","unstructured":"N. Aoumeur, S. Balko, G. Saake, Towards a three-level methodology for developing cooperative information systems, in: Proc. of the 10th International Conference on Computing and Information (ICCI'2000), Kuweit, 2000, in press"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB4","unstructured":"N. Aoumeur, S. Conrad, G. Saake, Prototyping object specifications using the Co-nets approach, in: J. Desel, A. Oberweis (Eds.), Proc. Sixth Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, Frankfurt\/Main, October 1999, pp. 7\u201317"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB5","unstructured":"N. Aoumeur, G. Saake, On the specification and validation of cooperative information systems using an extended Maude, in: K. Futatsugi, J. Goguen, J. Meseguer (Eds.), Proc. of 1st Int. OBJ\/CafeOBJ\/Maude Workshop, at FM'99 Conference, Toulouse, France, The Theta Foundation Bucharest, Romania, 1999, pp. 197\u2013211"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB6","doi-asserted-by":"crossref","unstructured":"N. Aoumeur, G. Saake, Towards a new semantics for mondel specifications based on the CO-Nets approach, in: J. Desel, K. Pohl, P. Schuerr (Eds.), Proc. of Modellierung'99, Karlsrule, Germany, March 1999, B.G. Teubner-Verlag, pp. 107\u2013122","DOI":"10.1007\/978-3-322-93104-7_7"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB7","doi-asserted-by":"crossref","unstructured":"N. Aoumeur, G. Saake, Towards an object petri nets model for specifying and validating distributed information systems, in: M. Jarke, A. Oberweis (Eds.), Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering, CAiSE'99, volume 1626 of Lecture Notes in Computer Science, Springer-Verlag, 1999, pp. 381\u2013395","DOI":"10.1007\/3-540-48738-7_28"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB8","unstructured":"N. Aoumeur, G. Saake, An appropriate semantics for distributed active object-oriented databases on the basis of the Co-nets approach, in: H. Fouchel, Y.L. Roger (Eds.), International Conference on Software Engineering Applied to Networking and Parallel\/Distributed Computing (SNPD'00), Reims, France, International Association for Computer and Information Science (ACIS), 2000, pp. 541\u2013548"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB9","unstructured":"N. Aoumeur, G. Saake, Cooperative information systems modelling and validation using the Co-nets approach: the chessmen making shop case study, in: S. Gnesi, I. Schieferdecker, A. Rennoch (Eds.), Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'00), Berlin, Germany, 2000, pp. 361-383"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB10","doi-asserted-by":"crossref","unstructured":"N. Aoumeur, G. Saake, Specifying and validating train control systems using an appropriate component-based Petri nets model, in: M. Huba, S. Kozak (Eds.), Proc. of the Petri Nets in Design, Modelling and Simulation of Control Systems Special session at IFAC Conference CSD2000, Bratislava, Slovakia. Elsevier Science, 2000. ISBN: 0-08-043546-7","DOI":"10.1016\/S1474-6670(17)37204-X"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB11","unstructured":"E. Battiston, A. Chizzone, F. de Cindio, Inheritance and concurrency in CLOWN, in: Proc. of the Application and Theory Petri Nets, Workshop on Object-Oriented Programming and Models of Concurrency, 1995"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB12","doi-asserted-by":"crossref","unstructured":"E. Battiston and F. de Cindio, Class orientation and inheritance in modular algebraic nets, in: Proc. of IEEE International Conference on Systems and Cybernetics, Le Touquet, France, 1993, pp. 717\u2013723","DOI":"10.1109\/ICSMC.1993.384960"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB13","doi-asserted-by":"crossref","unstructured":"E. Battiston, F. de Cindio, G. Mauri, OBJSA nets: a class of high level nets having objects as domains, in: G. Rozenberg (Ed.), Advances in Petri Nets, volume 340 of Lecture Notes in Computer Science, 1988, pp. 20\u201343","DOI":"10.1007\/3-540-50580-6_22"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB14","doi-asserted-by":"crossref","unstructured":"E. Battiston, V. Grespi, F. D. Cindio, G. Mauri, Semantics frameworks for a class of modular algebraic nets, in: M. Nivat, C. Rattray, T. Russ, G. Scollo (Eds.), Proc. of 3th International AMAST Conference, 1994","DOI":"10.1007\/978-1-4471-3227-1_28"},{"issue":"1","key":"10.1016\/S0169-023X(02)00025-3_BIB15","first-page":"7","article-title":"Protocol specification using ECATNets","volume":"3","author":"Bettaz","year":"1993","journal-title":"Res\u00e9aux et Informatique R\u00e9partie"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB16","unstructured":"O. Biberstein, D. Buchs, E. Canver, P. Dauchy, M.C. Gaudel, N. Guelfi, F. Henke, C. Khoury, B. Marre, D. Schwier, G. Vidal-Naquet, Comparison of object-oriented formal methods, Technical Report of the ESPRIT Long Term Research Project 20072: Design For Validation, University of Newcastle Upon Tyne, Department of Computer Science, 1997. http:\/\/lglwww.epfl.ch"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB17","doi-asserted-by":"crossref","unstructured":"O. Biberstein, D. Buchs, N. Guelfi, CO-OPN\/2: A concurrent object-oriented formalism, in: Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), Chapman and Hall, March 1997, pp. 57\u201372","DOI":"10.1007\/978-0-387-35261-9_5"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB18","series-title":"Unified Modeling Language, Notation Guide, Version 1.0","year":"1998"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB19","unstructured":"M. Clavel, F. Duran, S. Eker, J. Meseguer, M. Stehr, Maude: Specification and programming in rewriting logic, technical report, SRI, Computer Science Laboratory, March 1999. http:\/\/maude.csl.sri.com"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB20","unstructured":"M. Clavel, J. Meseguer, Reflection and strategies in rewriting logic, in: G. Kiczales (Ed.), Proc. of Reflection'96, Xerox PARC, 1996, pp. 263\u2013288"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB21","series-title":"Logics for Databases and Information Systems","first-page":"199","article-title":"Evolving logical specification in information systems","author":"Conrad","year":"1998"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB22","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, volume B: Formal Methods and Semantics, North-Holland, Amsterdam, 1990, pp. 243\u2013320 (Chapter 6)","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB23","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, Namur (Belgique), September 1995"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB24","series-title":"Logics for Databases and Information Systems","first-page":"167","article-title":"Logics for specifying concurrent information systems","author":"Ehrich","year":"1998"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB25","doi-asserted-by":"crossref","unstructured":"H.-D. Ehrich, M. Gogolla, A. Sernadas, Objects and their specification, in: M. Bidoit, C. Choppy (Eds.), Proc. of 8th Workshop on Abstract Data Types, volume 655 of Lecture Notes in Computer Science, Springer-Verlag, 1992, pp. 40\u201366","DOI":"10.1007\/3-540-56379-2_34"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB26","series-title":"Object Orientation with Parallelism and Persistence","year":"1996"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB27","doi-asserted-by":"crossref","unstructured":"S. Gatziu, Events in an Active Object Oriented Database System. PhD thesis, Z\u00fcrich University, 1995","DOI":"10.1007\/978-1-4471-3225-7_2"},{"issue":"4","key":"10.1016\/S0169-023X(02)00025-3_BIB28","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1017\/S0960129500000517","article-title":"An Oxford order sorted algebra","volume":"4","author":"Goguen","year":"1994","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB29","doi-asserted-by":"crossref","unstructured":"J. Goguen, C. Kirchner, M. Meseguer, Concurrent term rewriting as a model of computation, in: R. Keller, J. Fasel (Eds.), Proc. Workshop on Graph Reduction, Santa Fe, New Mexico, volume 279 of Lectures Notes in Computer Science, 1987, pp. 53\u201393","DOI":"10.1007\/3-540-18420-1_50"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB30","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J.P. Jouannaud, Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB31","doi-asserted-by":"crossref","unstructured":"J.A. Goguen, R. Diaconescu, Towards an algebraic semantics for the object paradigm, in: Proc. of 10th Workshop on Abstract Data types, 1993","DOI":"10.1007\/3-540-57867-6_1"},{"issue":"3","key":"10.1016\/S0169-023X(02)00025-3_BIB32","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/230538.230540","article-title":"Extending object-oriented systems with roles","volume":"14","author":"Gottlob","year":"1996","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB33","doi-asserted-by":"crossref","unstructured":"T. Hartmann, R. Jungclaus, G. Saake, Aggregation in a behavior oriented object model, in: O.L. Madsen (Ed.), ECOOP'92, Proc. of the 6th European Conf. on Object Oriented Programming, Utrecht, The Netherlands, July 1992, volume 615 of Lecture Notes in Computer Science, 1992, pp. 57\u201377","DOI":"10.1007\/BFb0053030"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB34","unstructured":"K. Jensen, Coloured Petri nets: basic concepts, Analysis Methods and practical Use, vol. 1: Basic Concepts. EATCS Monographs in Computer Science, 26, 1992"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB35","series-title":"High-level Petri Nets","author":"Jensen","year":"1991"},{"issue":"2","key":"10.1016\/S0169-023X(02)00025-3_BIB36","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/226163.226166","article-title":"Troll\u2013A language for object-oriented specification of information systems","volume":"14","author":"Jungclaus","year":"1996","journal-title":"ACM Transactions on Information Systems"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB37","doi-asserted-by":"crossref","unstructured":"C. Lakos, From coloured petri nets to object Petri nets, in: Proc. of 16th Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, Springer-Verlag, 1995, pp. 278\u2013287","DOI":"10.1007\/3-540-60029-9_45"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB38","doi-asserted-by":"crossref","unstructured":"C. Lakos, The consistent use of names and polymorphism in the definition of objects Petri nets, in: Proc. of 17th Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, Springer-Verlag, 1996, pp. 380\u2013399","DOI":"10.1007\/3-540-61363-3_21"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB39","unstructured":"C. Lakos, Towards a reflective implementation of object petri nets, in: Proc. of TOOLS Pacific 1996, Monash Printing Service, 1996, pp. 129\u2013140"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB40","doi-asserted-by":"crossref","unstructured":"N. Marti-Oliet, J. Meseguer, Rewriting logic as a logical and semantic framework, in: J. Meseguer (Ed.), Proc. of First International Workshop on Rewriting Logic, volume 4 of Electronic Notes in Theoretical Computer Science, 1996, pp. 189\u2013224","DOI":"10.1016\/S1571-0661(04)00040-4"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB41","series-title":"Research Directions in Object-Based Concurrency","first-page":"107","article-title":"Analysis of inheritance anomaly in concurrent object-oriented languages","author":"Matsuoka","year":"1993"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB42","doi-asserted-by":"crossref","unstructured":"A. Medeiros, D. Guererro, J. Figueiredo, A. Perkusich, An object-oriented Petri-net modeling tool and abstraction mechanisms for cooperative systems, in: Proc. of IEEE Int. Conf. on Systems Man and Cybernetics, 1998, pp. 172\u2013177","DOI":"10.1109\/ICSMC.1998.725404"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB43","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","article-title":"Conditional rewriting logic as a unified model for concurrency","volume":"96","author":"Meseguer","year":"1992","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB44","series-title":"Research Directions in Object-Based Concurrency","first-page":"314","article-title":"A logical theory of concurrent objects and its realization in the maude language","author":"Meseguer","year":"1993"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB45","doi-asserted-by":"crossref","unstructured":"J. Meseguer, Solving the inheritance anomaly in concurrent object-oriented programming, in: ECOOP'93\u2013\u2013Object-Oriented Programming, volume 707 of Lecture Notes in Computer Science, Springer Verlag, 1993, pp. 220\u2013246","DOI":"10.1007\/3-540-47910-4_13"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB46","doi-asserted-by":"crossref","unstructured":"J. Meseguer, Research directions in rewriting logic, in: U. Berger, H. Schwichtenberg (Eds.), Computational Logic, NATO Advanced Study Institute, Marktoberdorf Germany, Springer-Verlag, 1998","DOI":"10.1007\/978-3-642-58622-4_10"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB47","doi-asserted-by":"crossref","unstructured":"D. Moldt, F. Wienberg, Multi-Agent-Systems based on Coloured Petri Nets, in: G. Azema, P. und Balbo (Eds.), Proc. of Application and Theory of Petri Nets, volume 1248 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1997","DOI":"10.1007\/3-540-63139-9_31"},{"issue":"4","key":"10.1016\/S0169-023X(02)00025-3_BIB48","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1145\/237496.237498","article-title":"Information system behavior specification by High-Level Petri Nets","volume":"14","author":"Oberweis","year":"1996","journal-title":"ACM Transactions on Information Systems"},{"issue":"8","key":"10.1016\/S0169-023X(02)00025-3_BIB49","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1016\/0306-4379(94)90034-5","article-title":"Income\/star: methodology and tools for the development of distributed information systems","volume":"19","author":"Oberweis","year":"1994","journal-title":"Information Systems"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB50","series-title":"Cooperative Information Systems: Trends and Directions","year":"1998"},{"issue":"3","key":"10.1016\/S0169-023X(02)00025-3_BIB51","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/62061.62062","article-title":"Semantic data models","volume":"20","author":"Peckham","year":"1988","journal-title":"ACM Computing Surveys"},{"issue":"6","key":"10.1016\/S0169-023X(02)00025-3_BIB52","first-page":"14","article-title":"An Object-oriented analysis and design notation for concurrency distributed systems","volume":"9","author":"Rasmussen","year":"1996","journal-title":"Journal of Object-Oriented Programming"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB53","article-title":"Petri nets","volume":"4","author":"Reisig","year":"1985","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB54","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","article-title":"Petri nets and abstract data types","volume":"80","author":"Reisig","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB55","series-title":"Object Oriented Modeling and Design","author":"Rumbaugh","year":"1991"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB56","unstructured":"G. Saake, A. Sernadas, C. Sernadas, Evolving object specifications, in: R. Wieringa, R. Feenstra (Eds.), Information Systems\u2013\u2013Correctness and Reusability, Selected Papers from the IS-CORE Workshop, World Scientific Publishing, Singapore, 1995, pp. 84\u201399"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB57","doi-asserted-by":"crossref","unstructured":"C. Sibertin-Blanc, Communicative and cooperative nets, in: E. Astesiano, R. Reggio, A. Tarlecki (Eds.), Proc. of the 15th International Confernce on the application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, Springer-Verlag, 1994","DOI":"10.1007\/3-540-58152-9_26"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB58","unstructured":"M.-O. Stehr, A Rewriting Semantics for Algebraic Petri Nets, Manuscript, SRI International, March 1998"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB59","doi-asserted-by":"crossref","unstructured":"W.M.P. Van der Aalst, T. Basten, Life-cycle inheritance: a petri-net-based approach, in: Proc. of 17th Int. Conf. on Application and Theory of Petri nets, volume 1248 of Lecture Notes in Computer Science, Springer-Verlag, 1997, pp. 62\u201381","DOI":"10.1007\/3-540-63139-9_30"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB60","unstructured":"P.A.C. Verkoulen, Integrated Information Systems Design: An Approach Based on Object Oriented Concepts and Petri Nets, PhD thesis, Technical University of Eindhoven, The Netherlands, 1993"},{"key":"10.1016\/S0169-023X(02)00025-3_BIB61","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/382192.383004","article-title":"Concepts and paradigms of object-oriented programming","volume":"1","author":"Wegner","year":"1990","journal-title":"OOPS Messenger"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X02000253?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X02000253?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T22:32:38Z","timestamp":1681252358000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X02000253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":61,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["S0169023X02000253"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(02)00025-3","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}