{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:39Z","timestamp":1762458939543},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,11,23]],"date-time":"2011-11-23T00:00:00Z","timestamp":1322006400000},"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":[[2013,7]]},"DOI":"10.1007\/s10270-011-0221-0","type":"journal-article","created":{"date-parts":[[2011,11,22]],"date-time":"2011-11-22T13:36:20Z","timestamp":1321968980000},"page":"453-474","source":"Crossref","is-referenced-by-count":35,"title":["From types to type requirements: genericity for model-driven engineering"],"prefix":"10.1007","volume":"12","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,11,23]]},"reference":[{"issue":"2","key":"221_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R., Dill D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"221_CR2","doi-asserted-by":"crossref","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. Soft. Eng. 35(6), 742\u2013755 (2009)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"221_CR3","doi-asserted-by":"crossref","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. Simul. 12(4), 290\u2013321 (2002)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"5","key":"221_CR4","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.entcs.2009.09.038","volume":"238","author":"A.H. Bagge","year":"2009","unstructured":"Bagge A.H., Haveraaen M.: Axiom-based transformations: optimisation and testing. Electr. Notes Theor. Comput. Sci. 238(5), 17\u201333 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"221_CR5","unstructured":"Behrmann, G., David, A., Larsen, K.G., Hakansson, J., Pettersson, P., Yi, W., Hendriks, M.: Uppaal 4.0. In: Proceedings of QEST, pp. 125\u2013126 (2006). http:\/\/www.uppaal.org\/"},{"key":"221_CR6","unstructured":"Bonet, P., Llado, C., Puijaner, R., Knottenbelt, W.: PIPE v2.5: A Petri net tool for performance modelling. In: CLEI\u201907 (2007). http:\/\/pipe2.sourceforge.net\/"},{"key":"221_CR7","unstructured":"Boost. http:\/\/www.boost.org\/"},{"issue":"4","key":"221_CR8","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1016\/j.jvlc.2008.04.004","volume":"19","author":"P. Bottoni","year":"2008","unstructured":"Bottoni P., Guerra E., de Lara J.: Enforced generative patterns for the specification of the syntax and semantics of visual languages. J. Vis. Lang. Comput. 19(4), 429\u2013455 (2008)","journal-title":"J. Vis. Lang. Comput."},{"key":"221_CR9","unstructured":"BPMN. http:\/\/www.bpmn.org\/"},{"key":"221_CR10","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli L., Wegner P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17, 471\u2013523 (1985)","journal-title":"ACM Comput. Surv."},{"key":"221_CR11","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1093\/comjnl\/46.5.566","volume":"46","author":"T. Clark","year":"2003","unstructured":"Clark T., Evans A., Kent S.: Aspect-oriented metamodelling. Comput. J. 46, 566\u2013577 (2003)","journal-title":"Comput. J."},{"key":"221_CR12","volume-title":"Applied Metamodelling, a Foundation for Language Driven Development","author":"T. Clark","year":"2008","unstructured":"Clark T., Sammut P., Willans J.: Applied Metamodelling, a Foundation for Language Driven Development, 2nd edn. Ceteva, Leeds (2008)","edition":"2"},{"key":"221_CR13","unstructured":"CPNTools. http:\/\/cpntools.org\/"},{"key":"221_CR14","unstructured":"de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: TOOLS\u201910. LNCS, vol. 6141, pp. 1\u201320. Springer, Berlin (2010). http:\/\/astreo.ii.uam.es\/~jlara\/metaDepth\/"},{"key":"221_CR15","doi-asserted-by":"crossref","unstructured":"de Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and mixin layers. In: MoDELS (1). LNCS, vol. 6394, pp. 16\u201330. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_2"},{"key":"221_CR16","unstructured":"de Lara, J., Guerra, E., Bottoni, P.: Triple patterns: Compact specifications for the generation of operational triple graph grammar rules. In: GT-VMT\u201907. Electronic Communications of the EASST, vol. 6 (2007)"},{"key":"221_CR17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s00165-009-0114-y","volume":"22","author":"J. Lara de","year":"2010","unstructured":"de Lara J., Vangheluwe H.: Automating the transformation-based analysis of visual languages. Formal Aspects Comput. 22, 297\u2013326 (2010)","journal-title":"Formal Aspects Comput."},{"key":"221_CR18","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s10270-007-0073-9","volume":"7","author":"J. Dingel","year":"2008","unstructured":"Dingel J., Diskin Z., Zito A.: Understanding and improving UML package merge. SoSyM 7, 443\u2013467 (2008)","journal-title":"SoSyM"},{"key":"221_CR19","volume-title":"Objects, Components, and Frameworks with UML: The Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza D.F., Wills A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley Longman Publishing Co. Inc., Boston (1999)"},{"key":"221_CR20","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H. Ehrig","year":"2006","unstructured":"Ehrig H., Ehrig K., Prange U., Taentzer G.: Fundamentals of Algebraic Graph Transformation. Springer, Berlin (2006)"},{"key":"221_CR21","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer, Monographs in Theor. Comp. Sci. (1990)","DOI":"10.1007\/978-3-642-61284-8"},{"key":"221_CR22","unstructured":"Epsilon. http:\/\/www.eclipse.org\/gmt\/epsilon\/ (2009)"},{"key":"221_CR23","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma E., Helm R., Johnson R., Vlissides J.M.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley, Boston (1994)"},{"issue":"11","key":"221_CR24","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/949343.949317","volume":"38","author":"R. Garc\u00eda","year":"2003","unstructured":"Garc\u00eda R., Jarvi J., Lumsdaine A., Siek J.G., Willcock J.: A comparative study of language support for generic programming. SIGPLAN Not. 38(11), 115\u2013134 (2003)","journal-title":"SIGPLAN Not."},{"key":"221_CR25","doi-asserted-by":"crossref","unstructured":"Gregor, D., J\u00e4rvi, J., Siek, J.G., Stroustrup, B., Reis, G.D., Lumsdaine, A.: Concepts: linguistic support for generic programming in C++. In: OOPSLA. pp. 291\u2013310. ACM, New York (2006)","DOI":"10.1145\/1167515.1167499"},{"key":"221_CR26","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-642-03764-1_2","volume":"6","author":"F. Heidenreich","year":"2009","unstructured":"Heidenreich F., Henriksson J., Johannes J., Zschaler S.: On language-independent model modularisation. T. Asp.Oriented Soft. Dev. VI 6, 39\u201382 (2009)","journal-title":"T. Asp.Oriented Soft. Dev. VI"},{"key":"221_CR27","unstructured":"Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Tr\u00e9ves, N.: A primer on the petri net markup language and iso\/iec 15909-2. Petri Net Newsl 76, 9\u201328 (2009). http:\/\/www.pnml.org"},{"issue":"2","key":"221_CR28","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00961873","volume":"4","author":"M. Jarke","year":"1995","unstructured":"Jarke M., Gallersd\u00f6rfer R., Jeusfeld M.A., Staudt M.: Conceptbase\u2014a deductive object base for meta data management. J. Intell. Inf. Syst. 4(2), 167\u2013192 (1995)","journal-title":"J. Intell. Inf. Syst."},{"issue":"7","key":"221_CR29","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1016\/j.scico.2009.01.001","volume":"75","author":"J. J\u00e4rvi","year":"2010","unstructured":"J\u00e4rvi J., Marcus M., Smith J.N.: Programming with C++ concepts. Sci. Comput. Program. 75(7), 596\u2013614 (2010)","journal-title":"Sci. Comput. Program."},{"key":"221_CR30","unstructured":"Kermeta. http:\/\/www.kermeta.org\/"},{"key":"221_CR31","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Abed, W.A., Fleurey, F., J\u00e9z\u00e9quel, J.-M., Klein, J.: Aspect-oriented design with reusable aspect models. In: Transaction on Aspect Oriented Software Development 7. vol. 6210, pp. 272\u2013320 (2010)","DOI":"10.1007\/978-3-642-16086-8_8"},{"key":"221_CR32","doi-asserted-by":"crossref","unstructured":"Kolovos D.S., Paige R.F., Polack, F.: The Epsilon Object Language (EOL). In: ECMDA-FA\u201906. LNCS, vol. 4066, pp. 128\u2013142. Springer, Berlin (2006)","DOI":"10.1007\/11787044_11"},{"key":"221_CR33","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T.: An observer-based notion of model inheritance. In: MoDELS\u201910, volume 6394\u2014Part I of LNCS, pp. 31\u201345. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16145-2_3"},{"key":"221_CR34","doi-asserted-by":"crossref","unstructured":"K\u00fchne, T., Schreiber, D.: Can programming be liberated from the two-level style? \u2013 Multi-level programming with DeepJava. In: OOPSLA\u201907, pp. 229\u2013244. ACM, New York (2007)","DOI":"10.1145\/1297027.1297044"},{"key":"221_CR35","doi-asserted-by":"crossref","unstructured":"Moha, N., Mah\u00e9, V., Barais, O., J\u00e9z\u00e9quel, J.-M.: Generic model refactorings. In: MoDELS\u201909. LNCS, vol. 5795, pp. 628\u2013643. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_50"},{"issue":"4","key":"221_CR36","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"221_CR37","doi-asserted-by":"crossref","unstructured":"Musser, D.R., Schupp, S., Loos, R.: Requirement oriented programming. In: Generic Programming. LNCS, vol. 1766, pp. 12\u201324. Springer, Berlin (1998)","DOI":"10.1007\/3-540-39953-4_2"},{"issue":"4","key":"221_CR38","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"Mylopoulos J., Borgida A., Jarke M., Koubarakis M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Syst."},{"key":"221_CR39","unstructured":"OMG UML 2.2 specification. http:\/\/www.omg.org\/spec\/UML\/2.2\/"},{"key":"221_CR40","doi-asserted-by":"crossref","unstructured":"OMG MOF 2.0. http:\/\/www.omg.org\/spec\/MOF\/2.0\/ (2009)","DOI":"10.1299\/jsmermd.2009._2A1-C20_1"},{"key":"221_CR41","doi-asserted-by":"crossref","unstructured":"Rose, L., Guerra, E., de Lara, J., Etien, A., Kolovos, D.S., Paige, R.F.: Genericity for model management operations. SoSyM (2011, in press)","DOI":"10.1007\/s10270-011-0203-2"},{"key":"221_CR42","doi-asserted-by":"crossref","unstructured":"Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.: The epsilon generation language. In: ECMDA-FA\u201908. LNCS, vol. 5095, pp. 1\u201316. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-69100-6_1"},{"key":"221_CR43","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Meta-model pruning. In: MoDELS, LNCS, vol. 5795, pp. 32\u201346 (2009)","DOI":"10.1007\/978-3-642-04425-0_4"},{"issue":"2","key":"221_CR44","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/505145.505148","volume":"11","author":"Y. Smaragdakis","year":"2002","unstructured":"Smaragdakis Y., Batory D.: Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol. 11(2), 215\u2013255 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"4","key":"221_CR45","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/s10270-006-0036-6","volume":"6","author":"J. Steel","year":"2007","unstructured":"Steel J., J\u00e9z\u00e9quel J.-M.: On model typing. SoSyM 6(4), 401\u2013413 (2007)","journal-title":"SoSyM"},{"key":"221_CR46","volume-title":"EMF: eclipse Modeling Framework, 2nd Edition","author":"D. Steinberg","year":"2008","unstructured":"Steinberg D., Budinsky F., Paternostro M., Merks E.: EMF: eclipse Modeling Framework, 2nd Edition. Addison-Wesley Professional, Boston (2008)"},{"key":"221_CR47","unstructured":"Stepanov, A., Lee, M.: The standard template library. Technical report. HP Labs, Palo Alto (1994)"},{"key":"221_CR48","volume-title":"Elements of Programming","author":"A. Stepanov","year":"2009","unstructured":"Stepanov A., McJones P.: Elements of Programming. Addison Wesley, Boston (2009)"},{"key":"221_CR49","unstructured":"Stroustrup, B.: The C++0x remove concepts decision. Dr. Dobbs (2009). http:\/\/www.ddj.com\/cpp\/218600111"},{"key":"221_CR50","doi-asserted-by":"crossref","unstructured":"Weisem\u00f6ller, I., Sch\u00fcrr, A.: Formal definition of MOF 2.0 metamodel components and composition. In: MoDELS\u201908. LNCS, vol. 5301, pp. 386\u2013400. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-87875-9_28"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0221-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0221-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0221-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T23:05:22Z","timestamp":1560985522000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0221-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,23]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["221"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0221-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,23]]}}}