{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:18:10Z","timestamp":1739078290953,"version":"3.37.0"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T00:00:00Z","timestamp":1238025600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s10270-009-0118-3","type":"journal-article","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T08:43:18Z","timestamp":1237970598000},"page":"501-520","source":"Crossref","is-referenced-by-count":16,"title":["Supporting domain-specific model patterns with metamodeling"],"prefix":"10.1007","volume":"8","author":[{"given":"Tiham\u00e9r","family":"Levendovszky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L\u00e1szl\u00f3","family":"Lengyel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tam\u00e1s","family":"M\u00e9sz\u00e1ros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,26]]},"reference":[{"key":"118_CR1","unstructured":"Albin-Amiot, H., Gueheneuc, Y.G.: Meta-modeling design patterns: application to pattern detection and code synthesis. In: Proceedings of the 1st ECOOP Workshop on Automating Object-Oriented Software Development Methods (2001)"},{"key":"118_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., Karsai, G.: Reusable idioms and patterns in graph transformation languages. In: 2nd International Conference on Graph Transformation, Rome, Italy (2004)","DOI":"10.1016\/j.entcs.2004.12.035"},{"key":"118_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Kuehne, T.: The Essence of Multilevel Metamodeling. In: UML, pp. 19\u201333. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45441-1_3"},{"issue":"4","key":"118_CR4","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C. Atkinson","year":"2002","unstructured":"Atkinson C., Kuehne T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"118_CR5","doi-asserted-by":"crossref","unstructured":"Dietrich, J., Elgar, C.: An ontology based representation of software design patterns. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch012"},{"key":"118_CR6","doi-asserted-by":"crossref","unstructured":"Dong, J., Alencar, P., Cowan, D.: Formal specification and verification of design patterns. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch005"},{"key":"118_CR7","unstructured":"Eclipse Modeling Framework, http:\/\/www.eclipse.org\/"},{"key":"118_CR8","unstructured":"Eden, A., Hirshfeld, Y.: LePUS-symbolic logic modeling of object-oriented architecture: a case study. In: Proceedings of the 2nd Nordic Workshop on Software Architecture-NOSA, Ronneby, Sweden (1999)"},{"key":"118_CR9","volume-title":"Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taenzer G.: Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science. Springer, Berlin (2006)"},{"key":"118_CR10","unstructured":"Flores, A., Fillottrani, P.: Evaluation framework for Design pattern formal models. In: Proceedings of the CACIC\u201903 IX Argentinean Conference on Computer Science, La Plata, Argentina (2003)"},{"key":"118_CR11","doi-asserted-by":"crossref","unstructured":"Flores, A., Cechich, A., Aranda, G.: A generic model of object-oriented patterns specified in RSL. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch003"},{"key":"118_CR12","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison- Wesley, Reading (1995)"},{"key":"118_CR13","doi-asserted-by":"crossref","unstructured":"Gasparis, E.: LePUS: a formal language for modeling design patterns. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch016"},{"key":"118_CR14","doi-asserted-by":"crossref","unstructured":"Guennec, A.L., Sunye, G., Jezequel, J.: Precise modeling of design patterns. In: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML), York, UK, 2000, pp. 482\u2013496. Springer, Berlin (1939)","DOI":"10.1007\/3-540-40011-7_35"},{"issue":"11","key":"118_CR15","first-page":"1296","volume":"9","author":"G. Karsai","year":"2003","unstructured":"Karsai G., Agrawal A., Shi F., Sprinkle J.: On the use of graph transformation in the formal specification of model interpreters. J. Univers. Comput. Sci. Special Issue Formal Specif. CBS 9(11), 1296\u20131321 (2003)","journal-title":"J. Univers. Comput. Sci. Special Issue Formal Specif. CBS"},{"issue":"3-4","key":"118_CR16","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.jvlc.2004.01.004","volume":"15","author":"D.-K. Kim","year":"2004","unstructured":"Kim D.-K., France R., Ghosh S.: A UML-based language for specifying domain-specific patterns. J. Vis. Lang. Comput. 15(3-4), 265\u2013289 (2004)","journal-title":"J. Vis. Lang. Comput."},{"key":"118_CR17","doi-asserted-by":"crossref","unstructured":"Kohler, H.J., Nickel, U., A. Niere, J., Zundorf, A.: Integrating UML diagrams for production control systems. In: Proceedings of the 22nd International Conf. on Software Engineering (ICSE), Limerick Ireland, pp. 241\u2013251. ACM Press, New York (2000)","DOI":"10.1145\/337180.337207"},{"key":"118_CR18","unstructured":"Kurtev, I., van den Berg, K.: Unifying approach for model transformations in the MOF metamodeling architecture. In: Proceedings of the 1st European MDA Workshop, MDA-IA, University of Twente, the Nederlands, March (2004)"},{"key":"118_CR19","doi-asserted-by":"crossref","unstructured":"Lano, K.: Formalising design patterns as model transformations. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch008"},{"issue":"3","key":"118_CR20","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/s10270-003-0047-5","volume":"3","author":"J. Lara","year":"2004","unstructured":"Lara J., Vangheluwe H., Alfonseca M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM. Softw. Syst. Model. (SoSyM) 3(3), 194\u2013209 (2004)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"118_CR21","unstructured":"Lara, J., Vangheluwe, H.: AToM3 as a meta-case environment. In: 4th International Conference on Enterprise Information Systems, pp. 642\u2013649 (2002)"},{"key":"118_CR22","doi-asserted-by":"crossref","unstructured":"Lauder, A., Kent, S.: Precise visual specification of design patterns. In: Proceedings of the 12th European Conference on Object-Oriented Programming (ECOOP). Lecture Notes in Computer Science, vol. 1445, pp. 114\u2013136. Springer, Berlin (1998)","DOI":"10.1007\/BFb0054089"},{"key":"118_CR23","unstructured":"Lengyel, L.: Online validation of visual model transformations. PhD thesis, Budapest University of Technology and Economics, Department of Automation and Applied Informatics (2006)"},{"key":"118_CR24","doi-asserted-by":"crossref","unstructured":"Lengyel, L., Levendovszky, T., Mezei, G., Charaf, H.: Model-based development with strictly controlled model transformation. In: The 2nd International Workshop on Model-Driven Enterprise Information Systems, MDEIS 2006, Cyprus, pp. 39\u201348 (2006)","DOI":"10.5220\/0002474400390048"},{"issue":"1","key":"118_CR25","first-page":"45","volume":"1","author":"L. Lengyel","year":"2006","unstructured":"Lengyel L., Levendovszky T., Mezei G., Charaf H.: Model transformation with a visual control flow language. Int. J. Comput. Sci. (IJCS) 1(1), 45\u201353 (2006)","journal-title":"Int. J. Comput. Sci. (IJCS)"},{"key":"118_CR26","doi-asserted-by":"crossref","unstructured":"Lengyel, L., Meszaros, T., Mezei, G., Charaf, H.: Supporting design patterns in graph rewritng-based model transformation. In: 2nd Internal Working Conference on Evaluation on Novel Approaches to Software Engineering (ENASE\u201907), 23\u201325 July, Barcelona, Spain (2007)","DOI":"10.5220\/0002585100250032"},{"key":"118_CR27","doi-asserted-by":"crossref","unstructured":"Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A systematic approach to metamodeling environments and model transformation systems in VMTS, ENTCS. In: International Workshop on Graph-Based Tools (GraBaTs) Rome (2004)","DOI":"10.1016\/j.entcs.2004.12.040"},{"key":"118_CR28","unstructured":"Levendovszky, T., Lengyel, L., Charaf, H.: A UML class diagram-based pattern language for model transformation systems. In: WSEAS Transactions on Computers, vol. 4 (2005)"},{"issue":"11","key":"118_CR29","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A. Ledeczi","year":"2001","unstructured":"Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: Composing domain-specific design environments. IEEE Comput. 34(11), 44\u201351 (2001)","journal-title":"IEEE Comput."},{"key":"118_CR30","doi-asserted-by":"crossref","unstructured":"Maplesden, D., Hosking, J., Grundy, J.: A visual language for design pattern modeling and instantiation. In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0.ch002"},{"key":"118_CR31","unstructured":"Meta-case official homepage, http:\/\/www.metacase.com\/"},{"key":"118_CR32","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/S0167-6423(02)00037-0","volume":"44","author":"M. Minas","year":"2002","unstructured":"Minas M.: Specifying graph-like diagrams with DIAGEN. Sci. Comput. Program. 44, 157\u2013180 (2002)","journal-title":"Sci. Comput. Program."},{"key":"118_CR33","unstructured":"Minas, M.: Generating meta-model-based freehand editors, Electronic Communications of the EASST. In: Proceedings of 3rd International Workshop on Graph Based Tools (GraBaTs\u201906), Natal (Brazil), September 21\u201322, 2006, Satellite event of the 3rd International Conference on Graph Transformation (2006)"},{"key":"118_CR34","unstructured":"OMG OCL Specification, Version 2.0, 2006. http:\/\/www.omg.org\/"},{"key":"118_CR35","unstructured":"OMG QVT, Meta Object Facility 2.0 Query\/Views\/Transformation Specification. http:\/\/www.omg.org\/cgi-bin\/apps\/doc?ad\/05-03-02.pdf"},{"key":"118_CR36","unstructured":"OMG UML Specification, Version 2.1.1, 2007. http:\/\/www.uml.org\/"},{"key":"118_CR37","unstructured":"Roberts, D., Johnson, R.E.: A generic model of object-oriented patterns specified in RSL. In: Pattern Languages of Program Design 3. Addison-Wesley, Reading (1997)"},{"volume-title":"Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1","year":"1997","key":"118_CR38","unstructured":"Rozenberg , G. (eds): Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific, Singapore (1997)"},{"issue":"1","key":"118_CR39","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0164-1212(00)00089-3","volume":"56","author":"D. Spinellis","year":"2001","unstructured":"Spinellis D.: Notable design patterns for domain specific languages. J. Syst. Softw. 56(1), 91\u201399 (2001)","journal-title":"J. Syst. Softw."},{"key":"118_CR40","doi-asserted-by":"crossref","unstructured":"Sprinkle, J., Agrawal, A., Levendovszky, T., Feng, Shi, Karsai, G.: Domain model translation using graph transformations. In: Proceedings of 10th IEEE International Conference and Workshop on Engineering of Computer-Based Systems, pp. 159\u2013168 (2003)","DOI":"10.1109\/ECBS.2003.1194795"},{"key":"118_CR41","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: a graph transformation environment for system modeling and validation. In: Proceedings Tool Exihibition at Formal Methods (2003)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"118_CR42","doi-asserted-by":"crossref","unstructured":"Taibi, T.: An integrated approach to design patterns formalization In: Design Patterns Formalization Techniques. IGI Publishing, Hershey (2007)","DOI":"10.4018\/978-1-59904-219-0"},{"key":"118_CR43","unstructured":"Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varro D., Varro-Gyapay, Sz.: Model transformation by graph transformation: a comparative study. In: ACM\/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (2005)"},{"issue":"3","key":"118_CR44","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D. Varro","year":"2003","unstructured":"Varro D., Pataricza A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. J. Softw. Syst. Model. 2(3), 187\u2013210 (2003)","journal-title":"J. Softw. Syst. Model."},{"key":"118_CR45","unstructured":"VMTS Website, http:\/\/www.vmts.aut.bme.hu"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0118-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0118-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0118-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T17:27:17Z","timestamp":1739035637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0118-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,26]]},"references-count":45,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["118"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0118-3","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2009,3,26]]}}}