{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T12:46:25Z","timestamp":1780922785793,"version":"3.54.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T00:00:00Z","timestamp":1372291200000},"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":[[2015,5]]},"DOI":"10.1007\/s10270-013-0348-2","type":"journal-article","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T10:53:33Z","timestamp":1372244013000},"page":"921-952","source":"Crossref","is-referenced-by-count":14,"title":["A generic model decomposition technique and its application to the Eclipse modeling framework"],"prefix":"10.1007","volume":"14","author":[{"given":"Qin","family":"Ma","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Glodt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,6,27]]},"reference":[{"key":"348_CR1","unstructured":"Democles tool. http:\/\/democles.lassy.uni.lu\/"},{"key":"348_CR2","doi-asserted-by":"crossref","unstructured":"Alanen, M., Porres, I.: A metamodeling language supporting subset and union properties. Softw. Syst. Model. (SoSyM) 7(1), 103\u2013124 (2008)","DOI":"10.1007\/s10270-007-0049-9"},{"key":"348_CR3","unstructured":"Amrani, M.: A formal semantics of Kermeta. In: Mernik, M. (eds.) Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter 10. Igi Global (2012)"},{"key":"348_CR4","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Hierons, R.M., Li, Z.: Amorphous slicing of extended finite state machines. IEEE Trans. Softw. Eng. 99, 1 (2012, preprints)"},{"key":"348_CR5","doi-asserted-by":"crossref","unstructured":"Bae, J.H., Lee, K.M., Chae, H.S.: Modularization of the UML metamodel using model slicing. In: Fifth International Conference on Information Technology: New Generations, pp. 1253\u20131254 (2008)","DOI":"10.1109\/ITNG.2008.179"},{"issue":"2","key":"348_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10270-011-0199-7","volume":"11","author":"E Biermann","year":"2012","unstructured":"Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. (SoSyM) 11(2), 227\u2013250 (2012)","journal-title":"Softw. Syst. Model. (SoSyM)"},{"key":"348_CR7","doi-asserted-by":"crossref","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling model slicers. In: The Proceedings of ACM\/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2011), pp. 62\u201376 (2011)","DOI":"10.1007\/978-3-642-24485-8_6"},{"issue":"3\u20134","key":"348_CR8","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00165-009-0140-9","volume":"22","author":"A Boronat","year":"2010","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. Formal Aspects Comput. 22(3\u20134), 269\u2013296 (2010)","journal-title":"Formal Aspects Comput."},{"key":"348_CR9","doi-asserted-by":"crossref","unstructured":"Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: The Proceedings of 3rd International Conference on The Unified Modeling Language: Advancing the Standard (UML 2001), LNCS 1393, pp. 294\u2013308 (2000)","DOI":"10.1007\/3-540-40011-7_21"},{"key":"348_CR10","doi-asserted-by":"crossref","unstructured":"Cengarle, M.V., Knapp, A.: A formal semantics for OCL 1.4. In: The Proceedings of 4th International Conference on the Unified Modeling Language: Modeling Languages, Concepts, and Tools (UML 2001), LNCS 2185, pp. 118\u2013133 (2001)","DOI":"10.1007\/3-540-45441-1_10"},{"key":"348_CR11","doi-asserted-by":"crossref","unstructured":"Clark, T., Evans, A., Kent, S.: The metamodelling language calculus: foundation semantics for UML. In: The Proceedings of 4th International Conference on 4th International Conference (FASE 2001), LNCS 2029, pp. 17\u201331 (2001)","DOI":"10.1007\/3-540-45314-8_3"},{"key":"348_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14279-6","volume-title":"Graph Theory","author":"R Diestel","year":"2010","unstructured":"Diestel, R.: Graph Theory, 4th edn. Springer, Berlin (2010)","edition":"4"},{"key":"348_CR13","doi-asserted-by":"crossref","unstructured":"Distefano, D., Katoen, J.-P., Rensink, A.: On a temporal logic for object-based systems. In: The Proceedings of 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), pp. 305\u2013325 (2000)","DOI":"10.1007\/978-0-387-35520-7_16"},{"issue":"2","key":"348_CR14","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A.: Automatically detecting and tracking inconsistencies in software design models. IEEE Trans. Softw. Eng. 37(2), 188\u2013204 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"348_CR15","unstructured":"Flake, S.: Towards the completion of the formal semantics of OCL 2.0. In: The Proceedings of 27th Australasian Conference on Computer science (ACSC)\u201904, pp. 73\u201382 (2004)"},{"key":"348_CR16","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"S Flake","year":"2003","unstructured":"Flake, S., Mueller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Soft. Syst. Model. (SoSyM) 2, 164\u2013186 (2003)","journal-title":"Soft. Syst. Model. (SoSyM)"},{"key":"348_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.entcs.2004.09.009","volume":"102","author":"S Flake","year":"2004","unstructured":"Flake, S., M\u00fcller, W.: Formal semantics of OCL messages. Electron. Notes Theor. Comput. Sci. 102, 77\u201397 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"348_CR18","doi-asserted-by":"crossref","unstructured":"Frantz, F.K.: A taxonomy of model abstraction techniques. In: Winter Simulation Conference, pp. 1413\u20131420 (1995)","DOI":"10.1145\/224401.224834"},{"key":"348_CR19","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J.: KM3: A DSL for metamodel specification. In: The Proceedings of 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), LNCS 4037, pp. 171\u2013185 (2006)","DOI":"10.1007\/11768869_14"},{"key":"348_CR20","doi-asserted-by":"crossref","unstructured":"Kagdi, H., Maletic, J.I., Sutton, A.: Context-free slicing of UML class models. In: ICSM \u201905: Proceedings of the 21st IEEE International Conference on Software Maintenance, pp. 635\u2013638. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/ICSM.2005.34"},{"key":"348_CR21","doi-asserted-by":"crossref","unstructured":"Kelsen, P., Ma, Q.: A modular model composition technique. In: The Proceedings of 13th International Conference on Fundamental Approaches to Software Engineering, (FASE 2010), volume LNCS 6013, pp. 173\u2013187 (2010)","DOI":"10.1007\/978-3-642-12029-9_13"},{"key":"348_CR22","doi-asserted-by":"crossref","unstructured":"Kelsen, P., Ma, Q., Glodt, C.: Models within models: Taming model complexity using the sub-model lattice. In: The Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering, (FASE 2011), volume LNCS 6603, pp. 171\u2013185 (2011)","DOI":"10.1007\/978-3-642-19811-3_13"},{"issue":"6","key":"348_CR23","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1016\/j.infsof.2012.01.005","volume":"54","author":"S Nejati","year":"2012","unstructured":"Nejati, S., Sabetzadeh, M., Falessi, D., Briand, L.C., Coq, T.: A sysml-based approach to traceability management and design slicing in support of safety certification: framework, tool support, and case studies. Inf. Softw. Technol. 54(6), 569\u2013590 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"348_CR24","unstructured":"OMG: Meta Object Facility (MOF) Core Specification Version 2.4.1 (2011)"},{"key":"348_CR25","unstructured":"OMG: Semantics of a Foundational Subset for Executable UML Models (fUML) v1.0 (2011)"},{"key":"348_CR26","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0 (2012)"},{"key":"348_CR27","unstructured":"OMG: Object Constraint Language Version 2.3.1 (2012)"},{"key":"348_CR28","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: The Proceedings of 17th International Conference on Conceptual Modeling (ER\u201998), pp. 449\u2013464 (1998)","DOI":"10.1007\/978-3-540-49524-6_35"},{"key":"348_CR29","unstructured":"Richters, M., Gogolla, M.: OCL: Syntax, semantics, and tools. In: The Proceedings of Object Modeling with the OCL, The Rationale behind the Object Constraint Language (OCL 2002), LNCS 2263, pp. 42\u201368 (2002)."},{"key":"348_CR30","doi-asserted-by":"crossref","unstructured":"Sen, S., Moha, N., Baudry, B., J\u00e9z\u00e9quel, J.-M.: Meta-model pruning. In: The Proceedings of the 12th international conference on Model Driven Engineering Languages and Systems (MoDELS 2009), pp. 32\u201346 (2009)","DOI":"10.1007\/978-3-642-04425-0_4"},{"key":"348_CR31","doi-asserted-by":"crossref","unstructured":"Shaikh, A., Claris\u00f3, R., Wiil, U.K., Memon, N.: Verification-driven slicing of UML\/OCL models. In: The Proceedings of 25th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2010), pp. 185\u2013194 (2010)","DOI":"10.1145\/1858996.1859038"},{"key":"348_CR32","volume-title":"EMF: Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)","edition":"2"},{"issue":"2","key":"348_CR33","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"RE Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput. 1(2), 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"348_CR34","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. Addison-Wesley Professional, Boston (2003)"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0348-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0348-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0348-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T11:45:25Z","timestamp":1563277525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0348-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,27]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["348"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0348-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,27]]}}}