{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:33Z","timestamp":1761611073152},"reference-count":35,"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\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4003,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1016\/s0167-6423(02)00040-0","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:21:31Z","timestamp":1027657291000},"page":"229-252","source":"Crossref","is-referenced-by-count":14,"title":["Formal agent-oriented modeling with UML and graph transformation"],"prefix":"10.1016","volume":"44","author":[{"given":"Ralph","family":"Depke","sequence":"first","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]},{"given":"Jochen Malte","family":"K\u00fcster","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00040-0_BIB1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0167-6423(98)00023-9","article-title":"Graph transformation for specification and programming","volume":"34","author":"Andries","year":"1999","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB2","unstructured":"I. Cla\u00dfen, M. L\u00f6we, Scheme evolution in object oriented models: a graph transformation approach, Proc. Workshop on Formal Methods at the ISCE\u201995, Seattle, USA, 1995."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB3","series-title":"Object Oriented Development, The Fusion Method","author":"Coleman","year":"1994"},{"issue":"3,4","key":"10.1016\/S0167-6423(02)00040-0_BIB4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"Corradini","year":"1996","journal-title":"Fund. Inform."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB5","doi-asserted-by":"crossref","unstructured":"W. Damm, D. Harel, Breathing life into message sequence charts, in: P. Ciancarini, A. Fantechi, R. Gorrieri (Eds.), Proc. Formal Methods for Open Object Based Distributed Systems (FMOODS\u201999) (Florence, Italy), Kluwer Academic Publishers, Dordrecht, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB6","unstructured":"R. Depke, R. Heckel, Formalizing the development of agent-based systems using graph processes, in: A. Corradini, R. Heckel (Eds.), Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland, Carleton Scientific, July 2000, pp. 419\u2013426."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB7","doi-asserted-by":"crossref","unstructured":"R. Depke, R. Heckel, J.M. K\u00fcster, Integrating visual modeling of agent-based and object-oriented systems, Proc. 4th Internat. Conf. Autonomous Agents (AGENTS-2000), Barcelona, Spain, June 2000, pp. 82\u201383.","DOI":"10.1145\/336595.337052"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB8","unstructured":"R. Depke, R. Heckel, J.M. K\u00fcster, Modeling agent-based systems with graph transformation and UML: from requirement specification to object-oriented design, in: H. Ehrig, G. Taentzer (Eds.), Joint APPLIGRAPH\/GETGRATS Workshop on Graph Transformation Systems (GraTra\u20192000), Berlin, Germany, March 2000."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB9","doi-asserted-by":"crossref","unstructured":"R. Depke, R. Heckel, J.M. K\u00fcster, Agent-oriented modeling with graph transformation, in: P. Ciancarini, M.J. Wooldridge (Eds.), Proc. 1st Internat. Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick, Ireland, June 2000, Lecture Notes in Computer Science, vol. 1957, Springer, Berlin, 2001, pp. 105\u2013120.","DOI":"10.1007\/3-540-44564-1_7"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB10","doi-asserted-by":"crossref","unstructured":"R. Depke, R. Heckel, J.M. K\u00fcster, Improving the agent-oriented modeling process with roles, Proc. 5th Internat. Conf. Autonomous Agents (AGENTS-2001) (Montreal, Canada), ACM Press, New York, June 2001, pp. 640\u2013647.","DOI":"10.1145\/375735.376476"},{"issue":"3","key":"10.1016\/S0167-6423(02)00040-0_BIB11","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1142\/S0218194001000529","article-title":"Roles in agent-oriented modeling","volume":"11","author":"Depke","year":"2001","journal-title":"Internat. J. Software Eng. Knowledge Eng."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB12","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages, and Tools, vol. 2, World Scientific, Singapore, 1999.","DOI":"10.1142\/9789812815149"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB13","doi-asserted-by":"crossref","unstructured":"H. Ehrig, H.-J. Kreowski, U. Montanari, G. Rozenberg (Eds.), Handbook of Graph Grammars and Computing by Graph Transformation, Concurrency and Distribution, vol. 3, World Scientific, Singapore, 1999.","DOI":"10.1142\/4181"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB14","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Pfender, H.J. Schneider, Graph grammars: an algebraic approach, 14th Ann. IEEE Symp. on Switching and Automata Theory, IEEE, 1973, pp. 167\u2013180.","DOI":"10.1109\/SWAT.1973.11"},{"issue":"4","key":"10.1016\/S0167-6423(02)00040-0_BIB15","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1142\/S0218194097000266","article-title":"A combined reference model- and view-based approach to system specification","volume":"7","author":"Engels","year":"1997","journal-title":"Internat. J. Software Knowledge Eng."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB16","unstructured":"Foundation for Intelligent Physical Agents (FIPA), Agent communication language, FIPA 97 Specification, Version 2.0, http:\/\/www.fipa.org, FIPA, 1997."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB17","doi-asserted-by":"crossref","unstructured":"S. Franklin, A. Graesser, Is it an agent, or just a program?: a taxonomy for autonomous agents, in: J.P. M\u00fcller, M.J. Wooldridge, N.R. Jennings (Eds.), Proc. ECAI\u201996 Workshop on Agent Theories, Architectures, and Languages: Intelligent Agents III, Lecture Notes in Artificial Intelligence, vol. 1193, Springer, Berlin, August 12\u201313, 1997, pp. 21\u201336.","DOI":"10.1007\/BFb0013570"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB18","doi-asserted-by":"crossref","unstructured":"M. Gro\u00dfe-Rhode, F. Parisi-Presicce, M. Simeoni, Refinement of graph transformation systems via rule expressions, in: H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Proc. 6th Internat. Workshop on Theory and Application of Graph Transformation (TAGT\u201998), Paderborn, November 1998, Lecture Notes in Computer Science, vol. 1764, Springer, Berlin, 2000, pp. 368\u2013382.","DOI":"10.1007\/978-3-540-46464-8_26"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB19","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB20","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Kugler, Synthesizing state-based object systems from LSC specifications, Technical Report MCS99-20, Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, April 2000.","DOI":"10.1007\/3-540-44674-5_1"},{"issue":"6","key":"10.1016\/S0167-6423(02)00040-0_BIB21","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","article-title":"Horizontal and vertical structuring of typed graph transformation systems","volume":"6","author":"Heckel","year":"1996","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB22","doi-asserted-by":"crossref","unstructured":"R. Heckel, St. Sauer, Strengthening UML collaboration diagrams by state transformations, in: H. Hu\u00dfmann (Ed.), Proc. Fundamental Approaches to Software Engineering (FASE\u20192001), Genova, Italy, Lecture Notes in Computer Science, Springer, Berlin, April 2001.","DOI":"10.1007\/3-540-45314-8_9"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB23","doi-asserted-by":"crossref","unstructured":"C.A. Iglesias, M. Garijo, J.C. Gonz\u00e1lez, J.R. Velasco, Analysis and design of multiagent systems using MAS-CommonKADS, in: M.P. Singh, A. Rao, M.J. Wooldridge (Eds.), Proc. 4th Internat. Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Lecture Notes in Artificial Intelligence, vol. 1365, Springer, Berlin, July 24\u201326 1998, pp. 313\u2013328.","DOI":"10.1007\/BFb0026768"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB24","unstructured":"ITU-TS, Recommendation z.120: Message sequence chart (MSC)\u2014Annex B: Algebraic semantics of message sequence charts, ITU-TS, Geneva 1995."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB25","doi-asserted-by":"crossref","unstructured":"N.R. Jennings, M.J. Wooldridge (Eds.), Agent Technology: Foundations, Applications, and Markets, Springer, Berlin, 1998.","DOI":"10.1007\/978-3-662-03678-5"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB26","doi-asserted-by":"crossref","unstructured":"P. Knirsch, H.-J. Kreowski, A note on modeling agent systems by graph transformation, in: M. Nagl, A. Sch\u00fcrr, M. M\u00fcnch (Eds.), Application of Graph Transformations with Industrial Relevance, International Workshop, AGTIVE\u201999, Kerkrade, NL, September 1\u20133, 1999, Lecture Notes in Computer Science, vol. 1779, Springer, Berlin, 2000, pp. 79\u201386.","DOI":"10.1007\/3-540-45104-8_6"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB27","series-title":"Term Graph Rewriting: Theory and Practice","first-page":"185","article-title":"An algebraic framework for the transformation of attributed graphs","author":"L\u00f6we","year":"1993"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB28","unstructured":"Object Management Group, UML specification version 1.3, June 1999, http:\/\/www.omg.org."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB29","unstructured":"G. Reggio, E. Astesiano, An extension of UML for modelling the nonpurely-reactive behavior of active objects, in: H. Ehrig, G. Engels, F. Orejas, M. Wirsing (Eds.), Dagstuhl Seminar No. 00411 on \u201cSemi-Formal and Formal Specification Techniques for Software Systems\u201d Dagstuhl Seminar Series, No. 288, October 2000. Also Technical Report of DISI\u2014Universit di Genova, Italy, DISI-TR-00-28, 2000."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB30","doi-asserted-by":"crossref","unstructured":"G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1, World Scientific, Singapore, 1997.","DOI":"10.1142\/9789812384720"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB31","doi-asserted-by":"crossref","unstructured":"E. Rudolph, J. Grabowski, P. Graubmann, Towards a harmonization of UML-sequence diagrams and MSC, in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), SDL \u201999\u2014The Next Millenium, Elsevier Science, Amsterdam, June 1999.","DOI":"10.1016\/B978-044450228-5\/50014-X"},{"key":"10.1016\/S0167-6423(02)00040-0_BIB32","series-title":"Object-Oriented Modelling and Design","author":"Rumbaugh","year":"1991"},{"issue":"12","key":"10.1016\/S0167-6423(02)00040-0_BIB33","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","article-title":"The contract net protocol","volume":"C-29","author":"Smith","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0167-6423(02)00040-0_BIB34","unstructured":"G. Weiss (ed.), Multiagent Systems, MIT Press, Cambridge, MA, 1999."},{"issue":"3","key":"10.1016\/S0167-6423(02)00040-0_BIB35","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1010071910869","article-title":"The Gaia methodology for agent-oriented analysis and design","volume":"3","author":"Wooldridge","year":"2000","journal-title":"J. Autonomous Agents Multi-Agent Systems"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000400?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000400?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T20:43:13Z","timestamp":1681850593000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["S0167642302000400"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00040-0","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}