{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:47:10Z","timestamp":1743086830896,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":90,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662492130"},{"type":"electronic","value":"9783662492147"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49214-7_1","type":"book-chapter","created":{"date-parts":[[2016,1,6]],"date-time":"2016-01-06T11:43:34Z","timestamp":1452080614000},"page":"1-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Reflective Constraint Writing"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Draheim","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,7]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)"},{"issue":"4","key":"1_CR2","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/s10270-008-0103-2","volume":"8","author":"T Asikainen","year":"2009","unstructured":"Asikainen, T., M\u00e4nnist\u00f6, T.: Nivel \u2013 a metamodeling language with a formal semantics. Softw. Syst. Model. 8(4), 521\u2013549 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"1_CR3","first-page":"1","volume":"13","author":"C Atkinson","year":"2015","unstructured":"Atkinson, C., Bostan, P., Draheim, D.: Foundational MDA patterns for service-oriented computing. J. Object Technol. 13(5), 1\u201330 (2015)","journal-title":"J. Object Technol."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-35332-1_5","volume-title":"Transactions on Large-Scale Data- and Knowledge-Centered Systems VII","author":"C Atkinson","year":"2012","unstructured":"Atkinson, C., Bostan, P., Draheim, D.: A unified conceptual framework for service-oriented computing. In: Hameurlain, A., K\u00fcng, J., Wagner, R. (eds.) TLDKS VII. LNCS, vol. 7720, pp. 128\u2013169. Springer, Heidelberg (2012)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-1-4471-5031-2_12","volume-title":"Software Engineering Frameworks for the Cloud Computing Paradigm","author":"C Atkinson","year":"2013","unstructured":"Atkinson, C., Draheim, D.: Cloud aided-software engineering - evolving viable software systems through a web of views. In: Mahmood, Z., Saeed, S. (eds.) Software Engineering Frameworks for the Cloud Computing Paradigm, pp. 255\u2013281. Springer, London (2013)"},{"key":"1_CR6","unstructured":"Atkinson, C., Gerbig, R., Kennel, B., General-purpose, symbiotic, languages, domain-specific. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012. IEEE Press (2012)"},{"key":"1_CR7","unstructured":"Atkinson, C., Grossman, G., K\u00fchne, T., de Lara, J. (eds.): Proceedings of the 1st Workshop on Multi-Level Modelling, MULTI 2014 (2014)"},{"issue":"6","key":"1_CR8","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1109\/TSE.2009.31","volume":"35","author":"C Atkinson","year":"2009","unstructured":"Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Softw. Eng. 35(6), 742\u2013755 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR9","unstructured":"Atkinson, C., Kennel, B., Go\u00df, B.: Supporting constructive and exploratory modes of modeling in multi-level ontologies. In: Proceedings of the 7th International Conference on Semantic Web-Enabled Software Engineering, SWESE 2011 (2011)"},{"issue":"4","key":"1_CR10","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C Atkinson","year":"2002","unstructured":"Atkinson, C., K\u00fchne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simulat. 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Model. Comput. Simulat."},{"key":"1_CR11","volume-title":"The Lambda Calculus - Its Syntax and Semantics","author":"HP Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus - Its Syntax and Semantics. North Holland, Amsterdam (1984)"},{"key":"1_CR12","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, Reading (1995)","edition":"2"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Berger, M., Tratt, L.: Program logics for homogeneous generative run-time meta-programming. Logic Comput. Sci. 11(5) (2015)","DOI":"10.2168\/LMCS-11(1:5)2015"},{"key":"1_CR14","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1007\/11557432_28","volume-title":"Model Driven Engineering Languages and Systems","author":"Behzad Bordbar","year":"2005","unstructured":"Bordbar, B., Draheim, D., Horn, M., Schulz, I., Weber, G.: Integrated model-based software development, data access and data migration. In: Proceedings of the 8th ACM\/IEEE Conference on Model Driven Engineering, Languages and Systems, MODELS 2005 (2005)"},{"key":"1_CR15","volume-title":"Psychologie vom empirischen Standpunkt","author":"F Brentano","year":"1874","unstructured":"Brentano, F.: Psychologie vom empirischen Standpunkt. Duncker & Humblot, Leipzig (1874)"},{"key":"1_CR16","volume-title":"Psychology from an Empirical Standpoint","author":"F Brentano","year":"1995","unstructured":"Brentano, F.: Psychology from an Empirical Standpoint. Routledge, London (1995)"},{"key":"1_CR17","unstructured":"Cardelli, L.: Type systems. In: Handbook of Computer Science and Engineering. CRC Press (1997)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"PP-S Chen","year":"1976","unstructured":"Chen, P.P.-S.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Corradi, A., Servetto, M., Zucca, E.: DeepFJig: modular composition of nested classes. In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011. ACM Press (2011)","DOI":"10.1145\/2093157.2093172"},{"key":"1_CR20","volume-title":"Generative Programming - Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"1_CR21","unstructured":"Deridder, D., et al. (eds.): Pre-proceedings of the International Workshop on Models and Evolution, MODELS 2011 (2010)"},{"issue":"6","key":"1_CR22","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A van Deursen","year":"2000","unstructured":"van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Not. 35(6), 26\u201336 (2000)","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-13953-6_1","volume-title":"Objects, Models, Components, Patterns","author":"J Lara de","year":"2010","unstructured":"de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1\u201320. Springer, Heidelberg (2010)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-16145-2_2","volume-title":"Model Driven Engineering Languages and Systems","author":"J Lara de","year":"2010","unstructured":"de Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and mixin layers. In: Petriu, D.C., Rouquette, N., Haugen, \u00d8. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 16\u201330. Springer, Heidelberg (2010)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45431-4_4","volume-title":"Next Generation Information Technologies and Systems","author":"D Draheim","year":"2002","unstructured":"Draheim, D., Weber, G.: Strongly typed server pages. In: Halevy, A.Y., Gal, A. (eds.) NGITS 2002. LNCS, vol. 2382, pp. 29\u201344. Springer, Heidelberg (2002)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-39962-9_36","volume-title":"On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops","author":"D Draheim","year":"2003","unstructured":"Draheim, D., Weber, G.: Modeling submit\/response style systems with form charts and dialogue constraints. In: Meersman, R., Tari, Z. (eds.) OTM 2003. LNCS, vol. 2889, pp. 267\u2013278. Springer, Heidelberg (2003)"},{"key":"1_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01588-5","volume-title":"Business Process Technology - A Unified View on Business Processes, Workflows and Enterprise Applications","author":"D Draheim","year":"2010","unstructured":"Draheim, D.: Business Process Technology - A Unified View on Business Processes, Workflows and Enterprise Applications. Springer, Heidelberg (2010)"},{"key":"1_CR28","unstructured":"Draheim, D., Horn, M., Schulz, I.: The schema evolution, data migration framework of the environmental mass database IMIS. In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management. IEEE (2004)"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-319-10073-9_2","volume-title":"Database and Expert Systems Applications","author":"D Draheim","year":"2014","unstructured":"Draheim, D.: Sustainable constraint writing and a symbolic viewpoint of modeling languages. In: Decker, H., Lhotsk\u00e1, L., Link, S., Spies, M., Wagner, R.R. (eds.) DEXA 2014, Part I. LNCS, vol. 8644, pp. 12\u201319. Springer, Heidelberg (2014)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/978-3-642-03573-9_60","volume-title":"Database and Expert Systems Applications","author":"D Draheim","year":"2009","unstructured":"Draheim, D., Himsl, M., Jabornig, D., Leithner, W., Regner, P., Wiesinger, T.: Intuitive visualization-oriented metamodeling. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2009. LNCS, vol. 5690, pp. 727\u2013734. Springer, Heidelberg (2009)"},{"issue":"4","key":"1_CR31","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.jvlc.2010.03.002","volume":"21","author":"D Draheim","year":"2010","unstructured":"Draheim, D., Himsl, M., Jabornig, D., K\u00fcng, J., Leithner, W., Regner, P., Wiesinger, T.: Concept and pragmatics of an intuitive visualization-oriented metamodeling tool. J. Vis. Lang. Comput. 21(4), 157\u2013170 (2010). Elsevier","journal-title":"J. Vis. Lang. Comput."},{"key":"1_CR32","unstructured":"Draheim, D., Natschlger, C.: A context-oriented synchronization approach. In: Proceedings of the 2nd International Profile Management, and Context Awarness, VLDB Workshop in Personalized Access, PersDB 2008 (2008)"},{"issue":"8","key":"1_CR33","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1089851.1089857","volume":"40","author":"D Draheim","year":"2005","unstructured":"Draheim, D., Lutteroth, C., Weber, G.: Generative programming for C#. ACM SIGPLAN Not. 40(8), 29\u201333 (2005). ACM Press","journal-title":"ACM SIGPLAN Not."},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11561347_22","volume-title":"Generative Programming and Component Engineering","author":"D Draheim","year":"2005","unstructured":"Draheim, D., Lutteroth, C., Weber, G.: A type system for reflective program generators. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 327\u2013341. Springer, Heidelberg (2005)"},{"key":"1_CR35","unstructured":"Draheim, D., Lutteroth, C., Weber, G., Factory: statically type-safe integration of genericity and reflection. In: Proceedings of the 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing, ACIS 2003 (2003)"},{"issue":"2","key":"1_CR36","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/j.intcom.2005.01.002","volume":"17","author":"D Draheim","year":"2005","unstructured":"Draheim, D., Weber, G.: Modelling form-based interfaces with bipartite state machines. J. Interact. Comput. 17(2), 207\u2013228 (2005). Elsevier","journal-title":"J. Interact. Comput."},{"key":"1_CR37","volume-title":"Form-Oriented Analysis - A New Methodology to Model Form-Based Applications","author":"D Draheim","year":"2005","unstructured":"Draheim, D., Weber, G.: Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2005)"},{"key":"1_CR38","unstructured":"Froehner, T., Nickles, M., Weiss, G.: Open ontologies \u2013 the need for modeling heterogeneous knowledge. In: Proceedings of the International Conference on Information and Knowledge Engineering, IKE 2004 (2004)"},{"key":"1_CR39","volume-title":"The Java Language Specification","author":"J Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison Wesley, Reading (2005)","edition":"3"},{"key":"1_CR40","volume-title":"Evolving Algebras 1993 - Lipari Guide","author":"Y Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993 - Lipari Guide. Oxford University Press, New York (1995)"},{"key":"1_CR41","first-page":"3","volume-title":"Proceedings of the 1st International Conference on Formal Ontology and Information Systems","author":"N Guarino","year":"1998","unstructured":"Guarino, N.: Formal ontology and information systems. In: Guarino, N. (ed.) Proceedings of the 1st International Conference on Formal Ontology and Information Systems, pp. 3\u201315. IOS Press, Amsterdam (1998)"},{"issue":"10","key":"1_CR42","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 30\u201332 (1969)","journal-title":"Commun. ACM"},{"issue":"2","key":"1_CR43","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/TSE.1985.232191","volume":"11","author":"IJ Hayes","year":"1985","unstructured":"Hayes, I.J.: Applying formal specification to software development in industry. IEEE Trans. Softw. Eng. 11(2), 169\u2013178 (1985)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR44","volume-title":"Specification Case Studies","author":"IJ Hayes","year":"1993","unstructured":"Hayes, I.J.: Specification Case Studies. Prentice Hall, London (1993)"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/j.jss.2010.10.025","volume":"84","author":"B Henderson-Sellers","year":"2011","unstructured":"Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84, 303\u2013313 (2011)","journal-title":"J. Syst. Softw."},{"issue":"7","key":"1_CR46","doi-asserted-by":"publisher","first-page":"83","DOI":"10.5381\/jot.2005.4.7.a3","volume":"4","author":"B Henderson-Sellers","year":"2005","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: Connecting powertypes and stereotype. J. Object Technol. 4(7), 83\u201396 (2005). ETH, Z\u00fcrich","journal-title":"J. Object Technol."},{"key":"1_CR47","unstructured":"Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Proceeding of the 2nd Asia-Pacific Conference on Conceptual Modelling, APCCM 2005, vol. 43, Australian Computer Society (2005)"},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-74469-6_51","volume-title":"Database and Expert Systems Applications","author":"M Himsl","year":"2007","unstructured":"Himsl, M., Jabornig, D., Leithner, W., Regner, P., Wiesinger, T., K\u00fcng, J., Draheim, D.: An iterative process for adaptive meta- and instance modeling. In: Wagner, R., Revell, N., Pernul, G. (eds.) DEXA 2007. LNCS, vol. 4653, pp. 519\u2013528. Springer, Heidelberg (2007)"},{"key":"1_CR49","unstructured":"ISO: ISO\/IEC 13568:2002. Information technology \u2013 Z Formal Specification Notation \u2013 Syntax, Type System and Semantics. ISO (2002)"},{"key":"1_CR50","unstructured":"ISO: International Standard ISO\/IEC 24744: Software Engineering \u2013 Metamodel for Development Methodologies. ISO (2007)"},{"key":"1_CR51","unstructured":"ISO: Information Technology - Object Management Group Object Constraint Language, version 2.3.1, ISO Standard ISO\/IEC 19507: (E), ISO (2012)"},{"key":"1_CR52","unstructured":"Johnson, R., Woolf, B.: Type object. In: Pattern Languages of Program Design, vol. 3. Addison-Wesley (1997)"},{"key":"1_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-58786-1_84","volume-title":"Entity-Relationship Approach \u2014 ER 1994 Business Modelling and Re-Engineering","author":"G Kappel","year":"1994","unstructured":"Kappel, G., Preishuber, S., Pr\u00f6 II, E., Rausch-Schott, S., Retschitzegger, W., Wagner, R., Gierlinger, C.: COMan \u2013 coexistence of object-oriented and relational technology. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol. 881, pp. 259\u2013277. Springer, Heidelberg (1994)"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/BFb0105411","volume-title":"Theorem Proving in Higher Order Logics","author":"T Kolyang","year":"2007","unstructured":"Kolyang, T., Santen, B., Wolff, B.: A structure preserving encoding of Z in Isabelle\/HOL. In: Goos, G., Hartmanis, J., van Leeuwen, J., von Wright, J., Grundy, J., Harrison, J. (eds.) TPHOLs 1996. LNCS, vol. 1125, pp. 283\u2013298. Springer, Heidelberg (2007)"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Schreiber, D.: Can programming be liberated from the two-level style? Multi-level programming with DeepJava. In: Proceedings of the 22th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007. ACM Press (2007)","DOI":"10.1145\/1297027.1297044"},{"issue":"1","key":"1_CR56","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T.: Matters of metamodeling. Softw. Syst. Model. 5(1), 369\u2013385 (2006). Springer","journal-title":"Softw. Syst. Model."},{"issue":"5","key":"1_CR57","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.scico.2010.12.002","volume":"76","author":"C Lutteroth","year":"2011","unstructured":"Lutteroth, C., Draheim, D., Weber, G.: A type system for reflective program generators. Sci. Comput. Program. 76(5), 392\u2013422 (2011). Elsevier","journal-title":"Sci. Comput. Program."},{"key":"1_CR58","unstructured":"Martin-L\u00f6f, P.: Intuistionistic Type-Theory. Bibliopolis (1984)"},{"volume-title":"Software Engineering Frameworks for Cloud Computing Paradigm","year":"2013","key":"1_CR59","unstructured":"Mahmood, Z., Saeed, S. (eds.): Software Engineering Frameworks for Cloud Computing Paradigm. Springer, London (2013)"},{"key":"1_CR60","volume-title":"Object-Oriented Methods - A Foundation (UML)","author":"J Martin","year":"1998","unstructured":"Martin, J., Odell, J.J.: Object-Oriented Methods - A Foundation (UML). Prentice Hall, Englewood Cliffs (1998)"},{"key":"1_CR61","volume-title":"Programming from Specification","author":"C Morgan","year":"1990","unstructured":"Morgan, C.: Programming from Specification. Prentice Hall, Englewood Cliffs (1990)"},{"key":"1_CR62","unstructured":"Neumayr, B., Gr\u00fcn, K., Schrefl, M.: Multi-level domain modeling with M-objects and M-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling, APCCM 2009. Australian Computer Society (2009)"},{"key":"1_CR63","unstructured":"Neumayr, B., Schrefl, M.: Comparison criteria for ontological multi-level modeling. Presented at: Dagstuhl Seminar on The Evolution of Conceptual Modeling, Technical Report 08.03., Johannes-Kepler-University Linz (2008)"},{"key":"1_CR64","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Qi, X., Myers, A.C.: J & \u2013 nested intersection for scalable software composition. In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006. ACM Press (2006)","DOI":"10.1145\/1167515.1167476"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004. ACM Press (2004)","DOI":"10.1145\/1028976.1028986"},{"issue":"9","key":"1_CR67","first-page":"45","volume":"4","author":"JJ Odell","year":"1998","unstructured":"Odell, J.J.: Dynamic and multiple classification. J. Object Oriented Program. 4(9), 45\u201348 (1998)","journal-title":"J. Object Oriented Program."},{"issue":"2","key":"1_CR68","first-page":"8","volume":"7","author":"JJ Odell","year":"1994","unstructured":"Odell, J.J.: Power types. J. Object Oriented Program. 7(2), 8\u201312 (1994)","journal-title":"J. Object Oriented Program."},{"key":"1_CR69","unstructured":"OMG: Object Constraint Language, version 1.1. Rational Software Corporation et al. (1997)"},{"key":"1_CR70","unstructured":"OMG: Object Constraint Language, version 2.0, OMG (2006)"},{"key":"1_CR71","unstructured":"OMG: Object Constraint Language, version 2.2, OMG (2010)"},{"key":"1_CR72","unstructured":"OMG: Object Constraint Language, version 2.3.1, OMG (2012)"},{"key":"1_CR73","unstructured":"OMG: Object Constraint Language, version 2.4, OMG (2014)"},{"key":"1_CR74","unstructured":"OMG: OMG Unified Modeling Language - Infrastructure, version 2.4.1. OMG (2011)"},{"key":"1_CR75","unstructured":"OMG: OMG Unified Modeling Language - Superstructure, version 2.4.1. OMG (2011)"},{"key":"1_CR76","unstructured":"OMG: OMG Meta Object Facility - Core Specification, version 2.4.1. OMG (2011)"},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"Parr, T., Fisher, K.: LL(*) - the foundation of the ANTLR parser generator. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011. ACM Press (2011)","DOI":"10.1145\/1993498.1993548"},{"issue":"5","key":"1_CR78","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: A technique for software module specification with examples. Commun. ACM 15(5), 330\u2013336 (1972)","journal-title":"Commun. ACM"},{"key":"1_CR79","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"1_CR80","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G Plotkin","year":"1977","unstructured":"Plotkin, G.: LCF considered a programming language. Theoret. Comput. Sci. 5, 229\u2013256 (1977)","journal-title":"Theoret. Comput. Sci."},{"issue":"3\u20134","key":"1_CR81","first-page":"199","volume":"31","author":"R Razavi","year":"2005","unstructured":"Razavi, R., Bouraqadi, N., Yoder, J.W., Perrot, J.-F., Johnson, R.E.: Language support for adaptive object-models using metaclasses. Comput. Lang. Syst. Struct. 31(3\u20134), 199\u2013218 (2005)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"6","key":"1_CR82","doi-asserted-by":"publisher","first-page":"1115","DOI":"10.1007\/s00165-014-0307-x","volume":"26","author":"A Rossini","year":"2014","unstructured":"Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115\u20131152 (2014)","journal-title":"Formal Aspects Comput."},{"key":"1_CR83","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-49676-2_8","volume-title":"The Z Formal Specification Notation","author":"T Santen","year":"1998","unstructured":"Santen, T.: On the semantic relation of Z and HOL. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 96\u2013116. Springer, Heidelberg (1998)"},{"key":"1_CR84","unstructured":"Sch\u00e4tz, B., et al. (eds.): Pre-proceedings of the International Workshop on Models and Evolution, MoDELS 2010 (2011)"},{"key":"1_CR85","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-30080-9_6","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"B Selic","year":"2004","unstructured":"Selic, B.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 181\u2013199. Springer, Heidelberg (2004)"},{"issue":"1\u20132","key":"1_CR86","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1\u20132), 181\u2013234 (2002)","journal-title":"Artif. Intell."},{"key":"1_CR87","volume-title":"The Z Notation","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation. Prentice Hall, Englewood Cliffs (1992)"},{"key":"1_CR88","unstructured":"Lara, J., Vangheluwe, H.: Using AToM as a meta CASE tool. In: Proceedings of the 4th International Conference on Enterprise Information Systems, ICEIS 2002 (2002)"},{"key":"1_CR89","doi-asserted-by":"crossref","unstructured":"Yoder, J., Johnson, R.: The adaptive object model architectural style. In: Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, WICSA 2002. IEEE Press (2002)","DOI":"10.1007\/978-0-387-35607-5_1"},{"key":"1_CR90","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF01449999","volume":"65","author":"E Zermelo","year":"1908","unstructured":"Zermelo, E.: Untersuchungen \u00fcber die Grundlagen der Mengenlehre. Mathematische Annalen 65, 261\u2013281 (1908)","journal-title":"Mathematische Annalen"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49214-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:35:17Z","timestamp":1692185717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49214-7_1"}},"subtitle":["A Symbolic Viewpoint of Modeling Languages"],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662492130","9783662492147"],"references-count":90,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49214-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}