{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:35:41Z","timestamp":1731476141507,"version":"3.28.0"},"reference-count":25,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,6,16]]},"DOI":"10.1049\/iet-sen:20070076","type":"journal-article","created":{"date-parts":[[2008,6,12]],"date-time":"2008-06-12T22:46:17Z","timestamp":1213310777000},"page":"204-222","source":"Crossref","is-referenced-by-count":14,"title":["Formalising model transformation rules for UML\/MOF 2"],"prefix":"10.1049","volume":"2","author":[{"given":"C.","family":"Amelunxen","sequence":"first","affiliation":[{"name":"Real-Time Systems Lab, Darmstadt University of Technology, Merckstrasse 25, Darmstadt, 64283, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Schu\u0308rr","sequence":"additional","affiliation":[{"name":"Real-Time Systems Lab, Darmstadt University of Technology, Merckstrasse 25, Darmstadt, 64283, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070076_r1","unstructured":"Object Management Group: \u2018Unified modeling language: superstructure\u2019; 2007. Formal\/2007-02-05"},{"key":"10.1049\/iet-sen:20070076_r2","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/11787044_27","volume":"4066","author":"Amelunxen","year":"2006","journal-title":"Model driven architecture \u2013 foundations and applications: Second European Conference"},{"key":"10.1049\/iet-sen:20070076_r3","unstructured":"MOFLON Homepage, 2007, available at: http:\/\/www.moflon.org"},{"key":"10.1049\/iet-sen:20070076_r4","unstructured":"Object Management Group: \u2018Meta object facility (MOF) 2.0 core specification\u2019, 2006, Formal\/06-01-01"},{"key":"10.1049\/iet-sen:20070076_r5","unstructured":"Object Management Group: \u2018Object constraint language\u2019;2006, Formal\/06-05-01"},{"key":"10.1049\/iet-sen:20070076_r6","unstructured":"Zu\u0308ndorf, A.: \u2018Rigorous object oriented software development\u2019, 2001, Habilitation, University of Paderborn"},{"key":"10.1049\/iet-sen:20070076_r7","unstructured":"FUJABA Homepage, 2007, available at: http:\/\/www.fujaba.de"},{"key":"10.1049\/iet-sen:20070076_r8","doi-asserted-by":"crossref","unstructured":"Schu\u0308rr, A.: \u2018Programmed graph replacement systems\u2019, Rozenberg, G., Handbook of graph grammars and computing by graph transformation: foundations, (World Scientific, Singapore 1997),1, p. 479\u2013546","DOI":"10.1142\/9789812384720_0007"},{"journal-title":"Proc. IEEE Symp. Visual Languages and Human Centered Computing","year":"2006","author":"Amelunxen","key":"10.1049\/iet-sen:20070076_r9"},{"key":"10.1049\/iet-sen:20070076_r10","unstructured":"Object Management Group: \u2018Unified modeling language: infrastructure\u2019, 2007, Formal\/07-02-06"},{"key":"10.1049\/iet-sen:20070076_r11","unstructured":"Object Management Group: \u2018Meta object facility (MOF) 2.0 query\/view\/transformation specification\u2019, 2007, Ptc\/07-07-07"},{"key":"10.1049\/iet-sen:20070076_r12","first-page":"75","author":"France","year":"1997","journal-title":"Proc. OOPSLA'97 Workshop on Object-oriented Behavioral Semantics"},{"key":"10.1049\/iet-sen:20070076_r13","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1109\/CMPSAC.1997.625087","author":"Shroff","year":"1997","journal-title":"Proc. 21st Int. Computer Software and Applications Conf. (COMPSAC 1997)"},{"key":"10.1049\/iet-sen:20070076_r14","first-page":"83","author":"Kim","year":"1999","journal-title":"Proc. 2nd Int. Conf. UML: UML'99"},{"key":"10.1049\/iet-sen:20070076_r15","unstructured":"Broy, M., Crane, M.L., Dingel, J., Hartman, A., Rumpe, B., and Selic, B.: \u20182nd UML 2 Semantics Symp.: Formal Semantics for UML\u2019, Ku\u0308hne, T., (Springer4364, 2006),MoDELS 2006 Workshops, p. 318\u2013323 LNCS"},{"key":"10.1049\/iet-sen:20070076_r16","first-page":"466","author":"Rumbaugh","year":"1987","journal-title":"Proc. ACM Conf. Object-Oriented Programming: Systems, Languages and Applications (OOPSLA'87)"},{"key":"10.1049\/iet-sen:20070076_r17","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/3-540-45441-1_27","author":"Stevens","year":"2001","journal-title":"UML 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools: 4th International Conf."},{"key":"10.1049\/iet-sen:20070076_r18","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/11880240_17","author":"Diskin","year":"2006","journal-title":"Proc. 9th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS 2006)"},{"key":"10.1049\/iet-sen:20070076_r19","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/11880240_33","author":"Alanen","year":"2006","journal-title":"Proc. 9th Int. Conf. Model Driven Engineering Languages and Systems (MoDELS 2006)"},{"journal-title":"Proc. Generative Techniques in the context of Model Driven Architecture","year":"2003","author":"Czarnecki","key":"10.1049\/iet-sen:20070076_r20"},{"key":"10.1049\/iet-sen:20070076_r21","doi-asserted-by":"crossref","unstructured":"Rozenberg, G.: \u2018Handbook of graph grammars and computing by graph transformation\u2019, (World Scientific, Singapore 1997),vol. 1: foundations'","DOI":"10.1142\/3303"},{"key":"10.1049\/iet-sen:20070076_r22","unstructured":"Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G.: \u2018Fundamentals of algebraic graph transformation\u2019, (Springer 2006),EATCS monographs in theoretical computer science, available at: http:\/\/www.springer.com\/3-540-31187-4"},{"key":"10.1049\/iet-sen:20070076_r23","unstructured":"Agrawal, A., Karsai, G., and Shi, F.: \u2018Graph transformations on domain-specific models\u2019, (Vanderbilt University 2003),ISIS-03-403"},{"key":"10.1049\/iet-sen:20070076_r24","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Ermel, C., and Rudolf, M.: \u2018The AGG-approach: language and tool environment\u2019, Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G., Handbook of graph grammars and computing by graph transformation: applications, languages and tools, (World Scientific 1999),2, p. 551\u2013603","DOI":"10.1142\/9789812815149_0014"},{"key":"10.1049\/iet-sen:20070076_r25","doi-asserted-by":"crossref","unstructured":"Schu\u0308rr, A., Winter, A., and Zu\u0308ndorf, A.: \u2018PROGRES: language and environment\u2019, Ehrig, H., Engels, G., Kreowski, H., Rozenberg, G., Handbook on graph grammars and computing by graph transformation: Applications, Languages, and Tools, (World Scientific, Singapore 1999),2, p. 487\u2013550","DOI":"10.1142\/9789812815149_0013"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070076?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:24:20Z","timestamp":1731435860000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,16]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6,16]]}},"alternative-id":["10.1049\/iet-sen:20070076"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070076","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,6,16]]}}}