{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:15Z","timestamp":1762458735709},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025709"},{"type":"electronic","value":"9783642025716"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02571-6_4","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T10:15:30Z","timestamp":1246011330000},"page":"37-56","source":"Crossref","is-referenced-by-count":15,"title":["A Diagrammatic Formalisation of MOF-Based Modelling Languages"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Rutle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Rossini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yngve","family":"Lamo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Object Management Group: Unified Modeling Language Specification (November 2007), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2007-11-04"},{"key":"4_CR2","unstructured":"Eclipse Modeling Framework, http:\/\/www.eclipse.org\/emf\/"},{"key":"4_CR3","unstructured":"Object Management Group: Meta-Object Facility Specification (January 2006), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-01-01"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-94-017-2740-2_8","volume-title":"Practical foundations of business system specifications","author":"Z. Diskin","year":"2003","unstructured":"Diskin, Z.: Mathematics of UML: Making the Odysseys of UML less dramatic. In: Practical foundations of business system specifications, pp. 145\u2013178. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11786160_15","volume-title":"Architecting Systems with Trustworthy Components","author":"I. Poernomo","year":"2006","unstructured":"Poernomo, I.: A Type Theoretic Framework for Formal Metamodelling. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol.\u00a03938, pp. 262\u2013298. Springer, Heidelberg (2006)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"4_CR7","series-title":"ENTCS","first-page":"19","volume-title":"ACCAT 2007: 2nd Workshop on Applied and Computational Category Theory","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z., Wolter, U.: A Diagrammatic Logic for Object-Oriented Visual Modeling. In: ACCAT 2007: 2nd Workshop on Applied and Computational Category Theory. ENTCS, vol.\u00a0203, pp. 19\u201341. Elsevier Science Publishers B.V., Amsterdam (2008)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A Diagrammatic Approach to Model Transformations. In: EATIS 2008: Euro American Conference on Telematics and Information Systems (to appear)","DOI":"10.1145\/1621087.1621105"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Rutle, A., Wolter, U., Lamo, Y.: A Formal Approach to Modeling and Model Transformations in Software Engineering. Technical Report\u00a048, Turku Centre for Computer Science, Finland (2008)","DOI":"10.1145\/1621087.1621105"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/978-3-642-00593-0_5","volume-title":"FASE 2009","author":"A. Rutle","year":"2009","unstructured":"Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A Category-Theoretical Approach to the Formalisation of Version Control in MDE. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 64\u201378. Springer, Heidelberg (2009)"},{"key":"4_CR11","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (March 2006)"},{"key":"4_CR12","unstructured":"Object Management Group: Object Constraint Language Specification (May 2006), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-05-01"},{"key":"4_CR13","volume-title":"The Object Constraint Language: Getting your models ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting your models ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10270-007-0056-x","volume":"7","author":"S. Markovi\u0107","year":"2008","unstructured":"Markovi\u0107, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Software and System Modeling\u00a07(1), 25\u201347 (2008)","journal-title":"Software and System Modeling"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31984-9_6","volume-title":"Fundamental Approaches to Software Engineering","author":"G. Taentzer","year":"2005","unstructured":"Taentzer, G., Rensink, A.: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 64\u201379. Springer, Heidelberg (2005)"},{"key":"4_CR16","volume-title":"Category Theory for Computing Science","author":"M. Barr","year":"1995","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall International Ltd., Hertfordshire (1995)","edition":"2"},{"key":"4_CR17","unstructured":"Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (May 2004)"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0022-4049(96)00007-2","volume":"115","author":"M. Makkai","year":"1997","unstructured":"Makkai, M.: Generalized Sketches as a Framework for Completeness Theorems. Journal of Pure and Applied Algebra\u00a0115, 49\u201379, 179\u2013212, 214\u2013274 (1997)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Diskin, Z., Kadish, B.: Generic Model Management. In: Encyclopedia of Database Technologies and Applications, pp. 258\u2013265. Idea Group (2005)","DOI":"10.4018\/978-1-59140-560-3.ch044"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11880240_17","volume-title":"Model Driven Engineering Languages and Systems","author":"Z. Diskin","year":"2006","unstructured":"Diskin, Z., Dingel, J.: Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 230\u2013244. Springer, Heidelberg (2006)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45441-1_20","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"P. Bottoni","year":"2001","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 257\u2013271. Springer, Heidelberg (2001)"},{"issue":"9","key":"4_CR22","first-page":"165","volume":"6","author":"A. Cicchetti","year":"2007","unstructured":"Cicchetti, A., Di Ruscio, D., Pierantonio, A.: A Metamodel Independent Approach to Difference Representation. Journal of Object Technology (Special Issue on TOOLS Europe 2007)\u00a06(9), 165\u2013185 (2007)","journal-title":"Journal of Object Technology (Special Issue on TOOLS Europe 2007)"},{"key":"4_CR23","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"F. Budinsky","year":"2006","unstructured":"Budinsky, F., Merks, E., Steinberg, D.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Reading (2006)","edition":"2"},{"issue":"9","key":"4_CR24","doi-asserted-by":"publisher","first-page":"187","DOI":"10.5381\/jot.2007.6.9.a10","volume":"6","author":"J.R. Romero","year":"2007","unstructured":"Romero, J.R., Rivera, J.E., Dur\u00e1n, F., Vallecillo, A.: Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology\u00a06(9), 187\u2013207 (2007)","journal-title":"Journal of Object Technology"},{"key":"4_CR25","unstructured":"Epsilon: Book, http:\/\/epsilonlabs.wiki.sourceforge.net\/Book"},{"key":"4_CR26","unstructured":"Visual OCL: Project Web Site, http:\/\/tfs.cs.tu-berlin.de\/vocl\/"},{"key":"4_CR27","unstructured":"Alloy: Project Web Site, http:\/\/alloy.mit.edu\/community\/"},{"key":"4_CR28","series-title":"LNBIP","first-page":"336","volume-title":"TOOLS Europe 2008","author":"Z. Diskin","year":"2008","unstructured":"Diskin, Z., Easterbrook, S.M., Dingel, J.: Engineering Associations: From Models to Code and Back through Semantics. In: Paige, R.F., Meyer, B. (eds.) TOOLS Europe 2008. LNBIP, vol.\u00a011, pp. 336\u2013355. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02571-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T16:22:21Z","timestamp":1685031741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02571-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025709","9783642025716"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02571-6_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}