{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:22Z","timestamp":1761611062088,"version":"3.30.1"},"reference-count":21,"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,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":4039,"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)00039-4","type":"journal-article","created":{"date-parts":[[2002,10,15]],"date-time":"2002-10-15T01:22:28Z","timestamp":1034644948000},"page":"205-227","source":"Crossref","is-referenced-by-count":74,"title":["Designing the automatic transformation of visual languages"],"prefix":"10.1016","volume":"44","author":[{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gergely","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00039-4_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)00039-4_BIB2","unstructured":"A. Bondavalli, M. Dal Cin, D. Latella, A. Pataricza, High-level integrated design environment for dependability, Proc. WORDS\u201999, Workshop on Real-Time Dependable System, 1999."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB3","doi-asserted-by":"crossref","unstructured":"A. Bondavalli, I. Majzik, I. Mura, Automatic dependability analyses for supporting design decisions in UML, Proc. HASE\u201999: The 4th IEEE International Symposium on High Assurance Systems Engineering, 1999, pp. 64\u201371.","DOI":"10.1109\/HASE.1999.809476"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB4","unstructured":"E. Canver, Einsatz von model-checking zur analyse von MSCs \u00fcber statecharts, Technical Report, University of Ulm, April 1999."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB5","doi-asserted-by":"crossref","unstructured":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. L\u00f6we, in: G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1, Foundations, World Scientific, Singapore, 1997, Ch. Algebraic Approaches to Graph Transformation\u2014Part I: Basic Concepts and Double Pushout Approach, pp. 163\u2013245.","DOI":"10.1142\/9789812384720_0003"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB6","doi-asserted-by":"crossref","unstructured":"J. Desel, G. Juhas, R. Lorenz, Process semantics of Petri Nets over partial algebra, in: ICATPN: International Conference on the Application and Theory of Petri Nets 2000, 2000, pp. 146\u2013165.","DOI":"10.1007\/3-540-44988-4_10"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg (Eds.), Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2, Applications, Languages and Tools, World Scientific, Singapore, 1999.","DOI":"10.1142\/4180"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB8","unstructured":"H. Ehrig, R. Geisler, M. Grosse-Rhode, M. Klar, S. Mann, On formal semantics and integration of object oriented modeling languages, EATCS, vol. 70, 2000, pp. 77\u201381."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB9","unstructured":"H. Ehrig, R. Heckel, M. Korff, M. L\u00f6we, L. Ribeiro, A. Wagner, A. Corradini, in: G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1, Foundations, Ch. Algebraic Approaches to Graph Transformation\u2014Part II: Single Pushout Approach and Comparison with Double Pushout Approach, World Scientific, Singaore, 1997, pp. 247\u2013312."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB10","series-title":"UML 2000\u2014The Unified Modeling Language. Advancing the Standard","first-page":"323","article-title":"Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML","volume":"vol. 1939","author":"Engels","year":"2000"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB11","doi-asserted-by":"crossref","unstructured":"J.L. Fernandez Aleman, A. Toval Alvarez, Seamless formalizing the UML semantics through metamodels, in: K. Siau, T. Halpin (Eds.), Unified Modeling Language: Systems Analysis, Design and Development Issues, Ch. 14. Idea Publishing Group, Hershey, PA, 2001, pp. 224\u2013248.","DOI":"10.4018\/978-1-930708-05-1.ch014"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB12","series-title":"Proceedings of the Theory and Application to Graph Transformations (TAGT\u201998)","first-page":"269","article-title":"Story diagrams: a new graph transformation language based on UML and Java","volume":"vol. 1764","author":"Fischer","year":"1998"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB13","unstructured":"S. Owre, N. Shankar, J. Rushby, D. Stringer-Calvert, The PVS language reference, Version 2.3, Technical Report, SRI International, September 1999."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB14","unstructured":"M. Peltier, J. B\u00e9zivina, G. Guillaume, MTRANS: a general framework, based on XSLT, for model transformations, in: J. Whittle et al. (Eds.), Workshop on Transformations in UML, 2001, pp. 93\u201397."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB15","doi-asserted-by":"crossref","unstructured":"G. Rozenberg (Ed.), Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1, Foundations, World Scientific, Singapore, 1997.","DOI":"10.1142\/3303"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB16","unstructured":"J. Saez, A. Toval Alvarez, J.L. Fernandez Aleman, Tool support for transforming UML models to a formal language, in: J. Whittle et al. (Eds.), Workshop on Transformations in UML, 2001, pp. 111\u2013115."},{"key":"10.1016\/S0167-6423(02)00039-4_BIB17","series-title":"Graph-Theoretic Concepts in Computer Science","first-page":"151","article-title":"Introduction to PROGRES, an attributed graph grammar based specification language","volume":"vol. 411","author":"Sch\u00fcrr","year":"1990"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB18","doi-asserted-by":"crossref","unstructured":"A. Sch\u00fcrr, Specification of graph translators with triple graph grammars, Technical Report, RWTH Aachen, Fachgruppe Informatik, Germany, 1994.","DOI":"10.1007\/3-540-59071-4_45"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB19","doi-asserted-by":"crossref","unstructured":"G. Taentzer, Towards common exchange formats for graphs and graph transformation systems, in: J. Padberg (Ed.), UNIGRA 2001: Uniform Approaches to Graphical Process Specification Techniques, 2001.","DOI":"10.1016\/S1571-0661(04)80941-1"},{"key":"10.1016\/S0167-6423(02)00039-4_BIB20","unstructured":"D. Varr\u00f3, G. Varr\u00f3, A. Pataricza, Designing the automatic transformation of visual languages, in: H. Ehrig, G. Taentzer (Eds.), GRATRA 2000, Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, 2000, pp. 14\u201321."},{"issue":"4","key":"10.1016\/S0167-6423(02)00039-4_BIB21","first-page":"27","article-title":"An introduction to least commitment planning","volume":"15","author":"Weld","year":"1994","journal-title":"AI Mag."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000394?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000394?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T18:41:07Z","timestamp":1733251267000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000394"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["S0167642302000394"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00039-4","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}