{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:13:36Z","timestamp":1749615216763,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465074"},{"type":"electronic","value":"9783319465081"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46508-1_4","type":"book-chapter","created":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T01:53:39Z","timestamp":1474509219000},"page":"47-70","source":"Crossref","is-referenced-by-count":2,"title":["Model Patterns"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,23]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0925-5273(03)00102-6","volume":"90","author":"RS Aguilar-Saven","year":"2004","unstructured":"Aguilar-Saven, R.S.: Business process modelling: review and framework. Int. J. Prod. Econ. 90(2), 129\u2013149 (2004)","journal-title":"Int. J. Prod. Econ."},{"issue":"5","key":"4_CR2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C Atkinson","year":"2003","unstructured":"Atkinson, C., K\u00fchne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20(5), 36\u201341 (2003)","journal-title":"IEEE Softw."},{"issue":"2","key":"4_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005)","journal-title":"Softw. Syst. Model."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Gerb\u00e9, O.: Towards a precise definition of the OMG\/MDA framework. In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26\u201329 November 2001, Coronado Island, San Diego, CA, USA, pp. 273\u2013280. IEEE Computer Society (2001)","DOI":"10.1109\/ASE.2001.989813"},{"key":"4_CR5","unstructured":"Brucker, A.D., Tuong, F., Wolff, B.: Featherweight OCL: A proposal for a machine-checked formal semantics for OCL 2.5. Archive of Formal Proofs 2014 (2014)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45685-6_8","volume-title":"Theorem Proving in Higher Order Logics","author":"AD Brucker","year":"2002","unstructured":"Brucker, A.D., Wolff, B.: A Proposal for a formal OCL semantics in Isabelle\/HOL. In: Carre\u00f1o, V.A., Mu\u00f1oz, C.A., Tahar, S. (eds.) TPHOLs 2002. LNCS, vol. 2410, pp. 99\u2013114. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45685-6_8"},{"key":"4_CR7","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 Longman Publishing Co., Inc., Boston (1995)"},{"key":"4_CR8","unstructured":"Kleppe, A.G., Rensink, A.: On a graph-based semantics for UML class and object diagrams. In: Ermel, C., De Lara, J., Heckel, R. (eds.) Graph Transformation and Visual Modelling Techniques. Electronic Communications of the EASST, Budapest, Hungary, vol. 10. EASST (2008)"},{"key":"4_CR9","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2004.09.027","volume":"115","author":"M Kyas","year":"2005","unstructured":"Kyas, M., Fecher, H., de Boer, F.S., Jacob, J., Hooman, J., van der Zwaag, M., Arons, T., Kugler, H.: Formalizing UML models and OCL constraints in PVS. Electr. Notes Theoret. Comput. Sci. 115, 39\u201347 (2005)","journal-title":"Electr. Notes Theoret. Comput. Sci."},{"issue":"12","key":"4_CR10","doi-asserted-by":"crossref","first-page":"1224","DOI":"10.1109\/TSE.2014.2354344","volume":"40","author":"K Lano","year":"2014","unstructured":"Lano, K., Rahimi, S.K.: Model-transformation design patterns. IEEE Trans. Softw. Eng. 40(12), 1224\u20131259 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"4_CR11","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1007\/s10270-012-0291-7","volume":"13","author":"K Lano","year":"2014","unstructured":"Lano, K., Rahimi, S.K., Poernomo, I., Terrell, J., Zschaler, S.: Correct-by-construction synthesis of model transformations using transformation patterns. Softw. Syst. Model. 13(2), 873\u2013907 (2014)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"4_CR12","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/s10270-014-0429-x","volume":"15","author":"L L\u00facio","year":"2016","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G.M.K., Syriani, E., Wimmer, M.: Model transformation intents and their properties. Softw. Syst. Model. 15(3), 647\u2013684 (2016)","journal-title":"Softw. Syst. Model."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools (2016, to appear)","DOI":"10.1007\/s10009-017-0453-6"},{"issue":"5","key":"4_CR14","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MS.2003.1231147","volume":"20","author":"E Seidewitz","year":"2003","unstructured":"Seidewitz, E.: What models mean. IEEE Softw. 20(5), 26\u201332 (2003)","journal-title":"IEEE Softw."},{"key":"4_CR15","unstructured":"Syriani, E., Paige, R., Zschaler, S., Ergin, H.: First International Workshop on Patterns in Model Engineering (2015). http:\/\/www-ens.iro.umontreal.ca\/~syriani\/pame2015"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-45800-X_3","volume-title":"UML 2002 \u2014 The Unified Modeling Language","author":"D Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, D., Pataricza, A.: Metamodeling mathematics: a precise and visual framework for describing semantics domains of UML models. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 18\u201333. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45800-X_3"},{"issue":"3","key":"4_CR17","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D Varr\u00f3","year":"2003","unstructured":"Varr\u00f3, D., Pataricza, A.: VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (the mathematics of metamodeling is metamodeling mathematics). Softw. Syst. Model. 2(3), 187\u2013210 (2003)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Transactions on Foundations for Mastering Change I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46508-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T20:35:08Z","timestamp":1749587708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46508-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465074","9783319465081"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46508-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}