{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:53:48Z","timestamp":1763704428632},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T00:00:00Z","timestamp":1181779200000},"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":[[2007,11,21]]},"DOI":"10.1007\/s10270-007-0049-9","type":"journal-article","created":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T06:31:48Z","timestamp":1181802708000},"page":"103-124","source":"Crossref","is-referenced-by-count":19,"title":["A metamodeling language supporting subset and union properties"],"prefix":"10.1007","volume":"7","author":[{"given":"Marcus","family":"Alanen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,6,14]]},"reference":[{"issue":"4","key":"49_CR1","first-page":"321","volume":"12","author":"M. Alanen","year":"2005","unstructured":"Alanen M., Lundkvist T. and Porres I. (2005). Comparison of modeling frameworks for software engineering. Nord. J. Comput. 12(4): 321\u2013342","journal-title":"Nord. J. Comput."},{"key":"49_CR2","unstructured":"Alanen, M., Porres, I.: Coral: a metamodel kernel for transformation engines. In: Akerhurst, D.H. (ed.) Proceedings of the Second European Workshop on Model Driven Architecture (MDA), number 17, pp. 165\u2013170. University of Kent (2004)"},{"key":"49_CR3","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Model Interchange Using OMG Standards. In: Werner, B. (ed) Proceedings of the 31st Euromicro Conference on Software Engineering and Advanced Applications, pp. 450\u2013458. IEEE Computer Society, Aug 2005. ISBN 0-7695-2431-1","DOI":"10.1109\/EUROMICRO.2005.39"},{"key":"49_CR4","unstructured":"Alanen, M., Porres, I.: A metamodeling language supporting subset and union properties. In: Prinz, A., Tveit, M.S. (eds.) 4th Nordic Workshop on the Unified Modeling Language NWUML\u20192006, Jun 2006"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: Basic operations over models containing subset and union properties. In: Oscar Nierstrasz, D.H., Whittle, J., Reggio, G. (eds) Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), vol. 4199 of Lecture Notes in Computer Science, pp. 469\u2013483. Springer, Berlin, Oct 2006","DOI":"10.1007\/11880240_33"},{"key":"49_CR6","unstructured":"Albano, A., Ghelli, G., Orsini, R.: A relationship mechanism for a strongly typed object-oriented database programming language. In: Proceedings of the 17th Conference on Very Large Databases. Morgan Kaufman Publishers Inc. (1991)"},{"key":"49_CR7","unstructured":"\u00c1lvarez, J., Evans, A., Sammut, P: MML and the metamodel architecture. In: Whittle, J. (ed) WTUML: Workshop on Transformation in UML 2001, April 2001"},{"key":"49_CR8","unstructured":"Amelunxen, C., R\u00f6tschke, T., Sch\u00fcrr, A.: Graph Transformations with MOF 2.0. In: Holger Giese, Albert Z\u00fcndorf (eds.) Fujaba Days 2005, September 2005"},{"issue":"4","key":"49_CR9","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1145\/643120.643123","volume":"12","author":"C. Atkinson","year":"2002","unstructured":"Atkinson C. and K\u00fchne T. (2002). Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4): 290\u2013321","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"4","key":"49_CR10","first-page":"95","volume":"9","author":"T. Baar","year":"2003","unstructured":"Baar T. (2003). Metamodels without metacircularities. L\u2019Objet 9(4): 95\u2013114","journal-title":"L\u2019Objet"},{"key":"49_CR11","unstructured":"Back, R.-J., Grundy, J., von Wright, J.: Structured calculational proof. Technical Report 65, Turku Center for Computer Science, November 1996"},{"issue":"5","key":"49_CR12","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1109\/TSE.2003.1199074","volume":"29","author":"F. Barbier","year":"2003","unstructured":"Barbier F., Henderson-Sellers B., Le Parc A. and Bruel J.-M. (2003). Formalization of the Whole-Part Relationship in the Unified Modeling Language. IEEE Trans. Softw. Eng. 29(5): 459\u2013470","journal-title":"IEEE Trans. Softw. Eng."},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: a software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Proceedings of Graph Transformation\u2014First International Conf., ICGT 2002, Barcelona, Spain, vol. 2505 of LNCS. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45832-8_30"},{"key":"49_CR14","unstructured":"B\u00e9zivin, J., Breton, E., Dup\u00e9, G., Valduriez, P.: The ATL Transformation-based Model Management Framework. Technical Report 03.08, University of Nantes, France (2003)"},{"key":"49_CR15","doi-asserted-by":"crossref","unstructured":"Bierman, G., Wren, A.: First-class relationships in an object-oriented language. In: Workshop on Foundations of Object-Oriented Languages (FOOL 2005), January 2005","DOI":"10.1007\/11531142_12"},{"key":"49_CR16","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley Professional, August 2003"},{"issue":"3","key":"49_CR17","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"Castagna G. (1995). Covariance and contravariance: conflict without a cause. ACM Trans. Program. Lang. Syst. 17(3): 431\u2013447","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"49_CR18","doi-asserted-by":"crossref","unstructured":"Clark, T., Evans, A., Kent, S.: The metamodelling language calculus: foundation semantics for UML. In: Proceedings of the Fundamental Aspects of Software Engineering (FASE), pp. 17\u201331 (2001)","DOI":"10.1007\/3-540-45314-8_3"},{"issue":"4","key":"49_CR19","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/s10270-003-0032-z","volume":"2","author":"D.H. Akehurst","year":"2003","unstructured":"Akehurst D.H., Kent S. and Patrascoiu O. (2003). A relational approach to defining and implementing transformations between metamodels. Softw. Syst. Model. 2(4): 215\u2013239","journal-title":"Softw. Syst. Model."},{"key":"49_CR20","unstructured":"EMF development team. The Eclipse Modeling Framework website. http:\/\/www.eclipse.org\/emf"},{"key":"49_CR21","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Domain specific modeling, Editorial. Springer Int. J. Softw. Syst. Model. 4(1) (2005)","DOI":"10.1007\/s10270-005-0078-1"},{"issue":"5","key":"49_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.5381\/jot.2003.2.5.a4","volume":"2","author":"G. G\u00e9nova","year":"2003","unstructured":"G\u00e9nova G., del Castillo C.R. and Llor\u00e9ns J. (2003). Mapping UML Associations into Java Code. J. Object Technol. 2(5): 135\u2013162","journal-title":"J. Object Technol."},{"key":"49_CR23","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/s10270-005-0099-9","volume":"5","author":"C. Gonzalez-Perez","year":"2006","unstructured":"Gonzalez-Perez C., Henderson-Sellers B. (2006). a powertype-based metamodelling framework. Softw. Syst. Model. 5:72\u201390. doi:10.1007\/s10270-005-0099-9","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"49_CR24","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Gonzalez-Perez C. and Henderson-Sellers B. (2006). a powertype-based metamodelling framework. Softw. Syst. Model. 5: 72\u201390","journal-title":"Sci. Comput. Program."},{"key":"49_CR25","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., Barbier, F.: Black and white diamonds. In: France, R., Rumpe B. (eds) UML\u201999\u2014The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, vol. 1723 of LNCS, pp. 550\u2013565. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-46852-8_39"},{"key":"49_CR26","unstructured":"Jiang, J., Syst\u00e4, T.: Exploring differences in exchange formats\u2014tool support and case studies. In: Seventh European Conference on Software Manteinance and Reengineering. IEEE Computer Society, March 2003"},{"key":"49_CR27","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: a DSL for metamodel specification. In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, Bologna, Italy (2006)","DOI":"10.1007\/11768869_14"},{"key":"49_CR28","doi-asserted-by":"crossref","unstructured":"Kalnins, A., Barzdins, J., Celms, E.: Basics of model transformation language MOLA. In: Workshop on Model Transformation and Execution in the Context of MDA (ECOOP 2004), June 2004","DOI":"10.1007\/11538097_5"},{"key":"49_CR29","unstructured":"Kleppe, A.: April 2003. Discussion on the mailing-list puml-list@cs.york.ac.uk"},{"issue":"5","key":"49_CR30","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1145\/62139.62141","volume":"23","author":"B. Liskov","year":"1988","unstructured":"Harel D. (1987). Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3): 231\u2013274","journal-title":"SIGPLAN Not"},{"key":"49_CR31","doi-asserted-by":"crossref","unstructured":"Lundell, B., Lings, B., Persson, A., Mattsson, A.: UML model interchange in heterogeneous tool environments: an analysis of adoptions of XMI 2. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), volume 4199 of Lecture Notes in Computer Science. Springer, Berlin (2006)","DOI":"10.1007\/11880240_43"},{"key":"49_CR32","unstructured":"Netbeans. Netbeans Metadata Repository (NMR). Available at http:\/\/mdr.netbeans.org\/"},{"key":"49_CR33","doi-asserted-by":"crossref","unstructured":"Nickel, U.A., Niere, J., Z\u00fcndorf, A.: Tool demonstration: the FUJABA environment. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), pp. 742\u2013745. ACM Press (2000)","DOI":"10.1145\/337180.337620"},{"key":"49_CR34","unstructured":"Nytun, J.P., Prinz, A., Kunert, A.: Representation of levels and instantiation in a metamodelling environment. In: Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language NWUML\u20192004, pp. 1\u201317 (2003)"},{"key":"49_CR35","doi-asserted-by":"crossref","unstructured":"OMG. Meta Object Facility, version 1.4, April 2002. Document formal\/2002-04-03. Available at http:\/\/www.omg.org\/","DOI":"10.1016\/S1351-4180(02)01227-8"},{"key":"49_CR36","unstructured":"OMG. XML Metadata Interchange (XMI) Specification, version 1.2, January 2002. Available at http:\/\/www.omg.org\/"},{"key":"49_CR37","unstructured":"OMG. XML Metadata Interchange (XMI) Specification, version 2.0, May 2003. Available at http:\/\/www.omg.org\/"},{"key":"49_CR38","unstructured":"OMG. MOF 2.0 Query\/View\/Transformation Final Adopted Specification, November 2005. OMG Document ptc\/05-11-01. Available at http:\/\/www.omg.org\/"},{"key":"49_CR39","unstructured":"OMG. UML 2.0 Superstructure Specification, August 2005. Document formal\/05-07-04. Available at http:\/\/www.omg.org\/"},{"key":"49_CR40","unstructured":"OMG. XML Metadata Interchange (XMI) Specification, version 2.1, September 2005. Available at http:\/\/www.omg.org\/"},{"key":"49_CR41","unstructured":"OMG. Meta Object Facility (MOF) Core Specification, version 2.0, January 2006. Document formal\/06-01-01. Available at http:\/\/www.omg.org\/"},{"key":"49_CR42","unstructured":"OMG. UML 2.0 Infrastructure Specification, March 2006. Document formal\/05-07-05. Available at http:\/\/www.omg.org\/"},{"key":"49_CR43","unstructured":"OMG Architecture Board. Model Driven Architecture\u2014A Technical Perspective, 2001. OMG Document ormsc\/01-07-01. Available at http:\/\/www.omg.org\/"},{"key":"49_CR44","unstructured":"Octavian Patrascoiu. YATL:Yet Another Transformation Language. In: Proceedings of the 1st European MDA Workshop, MDA-IA, pp. 83\u201390. University of Twente, The Nederlands (2004)"},{"key":"49_CR45","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, vol. 1. Foundations. World Scientific (1997)","DOI":"10.1142\/9789812384720"},{"key":"49_CR46","unstructured":"Scheidgen, M.: On Implementing MOF 2.0\u2014New Features for Modelling Language Abstractions. July 2005. Available at http:\/\/www.informatik.hu-berlin.de\/~scheidge\/"},{"key":"49_CR47","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.-M.: Typing Relationships in MDA. In:Akehurst, D.H. (ed) Proceedings of the Second European Workshop on Model Driven Architecture (EWMDA), number 17, Canterbury, Kent CT2 7NF, UK, Sep 2004. University of Kent"},{"key":"49_CR48","doi-asserted-by":"crossref","unstructured":"Steel, J., J\u00e9z\u00e9quel, J.-M.: Model typing for improving reuse in model-driven engineering. In: MoDELS, pp. 84\u201396 (2005)","DOI":"10.1007\/11557432_7"},{"key":"49_CR49","unstructured":"Sutton, A.: Open Modeling Framework. Available at http:\/\/www.sdml.info\/projects\/omf\/"},{"key":"49_CR50","unstructured":"ATLAS Team. Atlantic Metamodel Zoo (2006). http:\/\/www.eclipse.org\/gmt\/am3\/zoos\/atlanticZoo\/"},{"key":"49_CR51","doi-asserted-by":"crossref","unstructured":"Tratt, L.: The MT model transformation language. In: Proceedings of ACM Symposium on Applied Computing, pp. 1296\u20131303, April 2006","DOI":"10.1145\/1141277.1141577"},{"key":"49_CR52","unstructured":"Varr\u00f3, D.: Automatic program generation for and by model transformation systems. In: Kreowski, H.-J., Knirsch, P. (eds) Proceedings of AGT 2002: Workshop on Applied Graph Transformation, pp. 161\u2013173, Grenoble, France, April 12\u201313 (2002)"},{"issue":"3","key":"49_CR53","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10270-003-0028-8","volume":"2","author":"D. Varr\u00f3","year":"2003","unstructured":"Liskov B. (1988). Keynote address\u2014data abstraction and hierarchy. SIGPLAN Not 23(5): 17\u201334","journal-title":"J. Softw. Syst. Model."},{"issue":"2","key":"49_CR54","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0167-6423(02)00039-4","volume":"44","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3 D. and Pataricza A. (2003). VPM: a visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. J. Softw. Syst. Model. 2(3): 187\u2013210","journal-title":"Sci. Comput. Program."},{"key":"49_CR55","doi-asserted-by":"crossref","unstructured":"Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Revised Lectures on Software Visualization, International Seminar, pp. 324\u2013336. Springer, London (2002)","DOI":"10.1007\/3-540-45875-1_25"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-007-0049-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-007-0049-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-007-0049-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T11:12:50Z","timestamp":1683889970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-007-0049-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,14]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,11,21]]}},"alternative-id":["49"],"URL":"https:\/\/doi.org\/10.1007\/s10270-007-0049-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,6,14]]}}}