{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T22:57:23Z","timestamp":1781564243115,"version":"3.54.5"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T00:00:00Z","timestamp":1546473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10270-018-00707-8","type":"journal-article","created":{"date-parts":[[2019,1,3]],"date-time":"2019-01-03T04:47:49Z","timestamp":1546490869000},"page":"3005-3023","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["A unifying framework for homogeneous model composition"],"prefix":"10.1007","volume":"18","author":[{"given":"J\u00f6rg","family":"Kienzle","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gunter","family":"Mussbacher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benoit","family":"Combemale","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julien","family":"Deantoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,1,3]]},"reference":[{"key":"707_CR1","unstructured":"Aspect-Oriented Modeling Workshop Series. http:\/\/www.aspect-modeling.org\/"},{"key":"707_CR2","doi-asserted-by":"crossref","unstructured":"Al\u00a0Abed, W., Sch\u00f6ttle, M., Ayed, A., Kienzle, J.: Concern-oriented behaviour modelling with sequence diagrams and protocol models. In: Behavior Modeling\u2014Foundations and Applications, vol. 6368 of LNCS. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-21912-7_10"},{"key":"707_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., De\u00a0Simone, R.: Modeling time(s). In: Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MODELS\u201907, pp. 559\u2013573, Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75209-7_38"},{"issue":"1","key":"707_CR4","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10270-012-0300-x","volume":"14","author":"A Blouin","year":"2015","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Kompren: modeling and generating model slicers. Softw. Syst. Model. 14(1), 321\u2013337 (2015)","journal-title":"Softw. Syst. Model."},{"key":"707_CR5","doi-asserted-by":"crossref","unstructured":"Bockisch, C., Malakuti, S., Ak\u015fit, M., Katz, S.: Making aspects natural: events and composition. In: 10th International Conference on Aspect-Oriented Software Development (AOSD \u201911). ACM (2011)","DOI":"10.1145\/1960275.1960312"},{"issue":"4","key":"707_CR6","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/MS.2014.52","volume":"31","author":"C Bull","year":"2014","unstructured":"Bull, C., Whittle, J.: Supporting reflective practice in software engineering education through a studio-based approach. IEEE Softw. 31(4), 44\u201350 (2014)","journal-title":"IEEE Softw."},{"key":"707_CR7","unstructured":"Clarke, S., Walker, R.J.: Generic aspect-oriented design with Theme\/UML. In: Filman, R.E., Elrad, T., Clarke, S., Aksit, A. (eds.) Aspect-Oriented Software Development, pp. 425\u2013458. Addison-Wesley, Boston (2005)"},{"key":"707_CR8","doi-asserted-by":"crossref","unstructured":"Clavreul, M., Barais, O., J\u00e9z\u00e9quel, J.-M.: Integrating legacy systems with MDE. In: 32nd ACM\/IEEE International Conference on Software Engineering (ICSE\u201910), pp. 69\u201378. ACM (2010)","DOI":"10.1145\/1810295.1810306"},{"key":"707_CR9","doi-asserted-by":"crossref","unstructured":"Combemale, B., Deantoni, J., Larsen, M.V., Mallet, F., Barais, O., Baudry, B., France, R.: Reifying concurrency for executable metamodeling. In: Erwig, M., Paige, R.F., Van\u00a0Wyk, E. (eds) SLE\u20136th International Conference on Software Language Engineering, vol. 8225, pp. 365\u2013384, Indianapolis. Springer (2013)","DOI":"10.1007\/978-3-319-02654-1_20"},{"key":"707_CR10","doi-asserted-by":"crossref","unstructured":"Deantoni, J., Diallo, P.I., Teodorov, C., Champeau, J., Combemale, B.: Towards a meta-language for the concurrency concern in DSLs. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), Grenoble, France (2015)","DOI":"10.7873\/DATE.2015.1052"},{"key":"707_CR11","doi-asserted-by":"crossref","unstructured":"Deantoni, J., Mallet, F.: TimeSquare: treat your models with logical time. In Furia, S.N.C.A. (ed.) TOOLS\u201450th International Conference on Objects, Models, Components, Patterns\u20142012, vol. 7304, pp. 34\u201341, Prague, Czech Republic. Czech Technical University in Prague, in co-operation with ETH Zurich, Springer (2012)","DOI":"10.1007\/978-3-642-30561-0_4"},{"key":"707_CR12","doi-asserted-by":"crossref","unstructured":"Deantoni, J., Mallet, F., Thomas, F., Reydet, G., Babau, J.-P., Mraidha, C., Gauthier, L., Rioux, L., Sordon, N.: RT-simex: retro-analysis of execution traces. In: Sullivan, K.J., Roman, G.-C. (eds.) SIGSOFT FSE, vol. ISBN 978-1-60558-791-2 of Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 377\u2013378, Santa Fe, United States (2010)","DOI":"10.1145\/1882291.1882357"},{"key":"707_CR13","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming, vol. 1. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"707_CR14","doi-asserted-by":"crossref","unstructured":"France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing support for model composition in metamodels. In EDOC, pp. 253\u2013264 (2007)","DOI":"10.1109\/EDOC.2007.55"},{"key":"707_CR15","volume-title":"Design Patterns","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison Wesley, Reading (1995)"},{"key":"707_CR16","doi-asserted-by":"crossref","unstructured":"Garc\u00e9s, K., Deantoni, J., Mallet, F.: A model-based approach for reconciliation of polychronous execution traces. In: SEAA 2011\u201437th EUROMICRO Conference on Software Engineering and Advanced Applications, Oulu, Finland, IEEE (2011)","DOI":"10.1109\/SEAA.2011.47"},{"key":"707_CR17","doi-asserted-by":"crossref","unstructured":"Glitia, C., Deantoni, J., Mallet, F.: Logical Time @ Work: capturing data dependencies and platform constraints. In: Ka\u017amierski, T.J.J., Morawiec, A. (eds) System Specification and Design Languages, vol. 106 of Lecture Notes in Electrical Engineering, pp. 223\u2013238. Springer, New York (2012)","DOI":"10.1007\/978-1-4614-1427-8_14"},{"key":"707_CR18","unstructured":"Goknil, A., Deantoni, J., Peraldi-Frati, M.-A., Mallet, F.: Tool support for the analysis of TADL2 timing constraints using TimeSquare. In: ICECCS\u20192013\u201418th International Conference on Engineering of Complex Computer Systems, Singapore, Singapore, (2013)"},{"key":"707_CR19","first-page":"234","volume-title":"Modeling the Car Crash Crisis Management System Using HiLA","author":"M H\u00f6lzl","year":"2010","unstructured":"H\u00f6lzl, M., Knapp, A., Zhang, G.: Modeling the Car Crash Crisis Management System Using HiLA, pp. 234\u2013271. Springer, Berlin (2010)"},{"key":"707_CR20","doi-asserted-by":"publisher","first-page":"905","DOI":"10.1007\/s10270-013-0354-4","volume":"14","author":"J-M J\u00e9z\u00e9quel","year":"2013","unstructured":"J\u00e9z\u00e9quel, J.-M., Combemale, B., Barais, O., Monperrus, M., Fouquet, F.: Mashup of metalanguages and its implementation in the Kermeta language workbench. Softw. Syst. Model. 14, 905\u2013920 (2013)","journal-title":"Softw. Syst. Model."},{"key":"707_CR21","doi-asserted-by":"crossref","unstructured":"Kienzle, J., Al\u00a0Abed, W., Klein, J.: Aspect-oriented multi-view modeling. In: 8th International Conference on Aspect-Oriented Software Development (AOSD\u201909), pp. 87\u201398. ACM Press (2009)","DOI":"10.1145\/1509239.1509252"},{"key":"707_CR22","doi-asserted-by":"crossref","unstructured":"Klein, J., H\u00e9louet, L., J\u00e9z\u00e9quel, J.-M.: Semantic-based weaving of scenarios. In: AOSD, pp. 27\u201338. ACM Press (2006)","DOI":"10.1145\/1119655.1119662"},{"key":"707_CR23","doi-asserted-by":"crossref","unstructured":"Kramer, M.E., Klein, J., Steel, J.R.H., Morin. B., Kienzle, J., Barais, O., J\u00e9z\u00e9quel,J.-M.: Achieving practical genericity in model weaving through extensibility. In: 6th International Conference on Model Transformation (ICMT\u201913), vol. 7909 of LNCS, pp. 108\u2013124. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38883-5_12"},{"key":"707_CR24","unstructured":"Larsen, M.V., Goknil, A.: Railroad crossing heterogeneous model. In: GEMOC workshop 2013\u2014International Workshop on The Globalization of Modeling Languages, Miami, Florida, USA (2013)"},{"key":"707_CR25","unstructured":"Larsen, M.E.V., Deantoni, J., Combemale, B., Mallet, F.: A behavioral coordination operator language (BCOoL). In: Lethbridge, T., Cabot, J., Egyed, A. (eds.) International Conference on Model Driven Engineering Languages and Systems (MODELS), vol.\u00a018, pp. 462, Ottawa, Canada, September 2015. ACM (to be published in the Proceedings of the Models 2015 Conference)"},{"key":"707_CR26","doi-asserted-by":"crossref","unstructured":"Latombe, F., Cr\u00e9gut. X., Combemale, B., Deantoni, J., Pantel, M.: Weaving concurrency in executable domain-specific modeling languages. In: 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), Pittsburg. ACM (2015)","DOI":"10.1145\/2814251.2814261"},{"key":"707_CR27","first-page":"71","volume":"96","author":"EA Lee","year":"1996","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: The tagged signal model-a preliminary version of a denotational framework for comparing models of computation. Memo. UCB\/ERL M 96, 71 (1996)","journal-title":"Memo. UCB\/ERL M"},{"issue":"1\u20132","key":"707_CR28","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","volume":"6","author":"F Mallet","year":"2010","unstructured":"Mallet, F., Deantoni, J., Andr\u00e9, C., De Simone, R.: The clock constraint specification language for building timed causality models. Innov. Syst. Softw. Eng. 6(1\u20132), 99\u2013106 (2010)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"707_CR29","doi-asserted-by":"crossref","unstructured":"Marchand. J., Combemale, B., Baudry, B.: A categorical model of model merging and weaving. In: 4th International Workshop on Modelling in Software Engineering (MiSE 2012). IEEE (2012)","DOI":"10.1109\/MISE.2012.6226017"},{"issue":"1","key":"707_CR30","first-page":"91","volume":"5","author":"A McNeile","year":"2006","unstructured":"McNeile, A., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. SoSyM 5(1), 91\u2013107 (2006)","journal-title":"SoSyM"},{"key":"707_CR31","doi-asserted-by":"crossref","unstructured":"Mosser. S., Blay-Fornarino. M., France. R.: Workflow design using fragment composition. In: TAOSD VII, vol. 6210, pp. 200\u2013233 (2010)","DOI":"10.1007\/978-3-642-16086-8_6"},{"key":"707_CR32","doi-asserted-by":"crossref","unstructured":"Mussbacher. G.: Aspect-Oriented User Requirements Notation. Ph.D. thesis, University of Ottawa, Canada (2010)","DOI":"10.1145\/1960314.1960331"},{"key":"707_CR33","doi-asserted-by":"crossref","unstructured":"Mussbacher, G., Alam, O., Alhaj, M., Ali, S., Am\u00e1lio, N., Barn. B., Br\u00e6k, R., Clark, T., Combemale. B., Cysneiros, L.M., Fatima, U., France, R., Georg, G., Horkoff, J., Kienzle, J., Leite, J.C., Lethbridge, T.C., Luckey, M., Moreira, A., Mutz, F., Padua, A., Oliveira, A., Petriu, D.C., Sch\u00f6ttle, M., Troup, L., Werneck, V.M.B.: Assessing composition in modeling approaches. In: Workshop CMA\u201912. ACM (2012)","DOI":"10.1145\/2459031.2459032"},{"key":"707_CR34","doi-asserted-by":"crossref","unstructured":"Mussbacher. G., Amyot. D., Whittle, J.: Composing goal and scenario models with the aspect-oriented user requirements notation based on syntax and semantics. In: Aspect-Oriented Requirements Engineering. Springer, Berlin (2013)","DOI":"10.1007\/978-3-642-38640-4_5"},{"key":"707_CR35","doi-asserted-by":"crossref","unstructured":"Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.50"},{"key":"707_CR36","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. In: Semantics of concurrent computation, vol. 70 of LNCS. Springer, Berlin (1979)"},{"key":"707_CR37","unstructured":"Object Management Group.: Unified Modeling Language (v2.5.0) (2015)"},{"key":"707_CR38","unstructured":"OMG.: Uml infrastructure specification v2.4 (2010)"},{"issue":"12","key":"707_CR39","first-page":"1053","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. Assoc. Comput. Mach. 15(12), 1053\u20131058 (1972)","journal-title":"Commun. Assoc. Comput. Mach."},{"key":"707_CR40","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39, 41\u201347 (2006)","journal-title":"IEEE Comput."},{"key":"707_CR41","doi-asserted-by":"crossref","unstructured":"Whittle, J., Jayaraman, P., Elkhodary, A., Moreira, A., Ara\u00fajo, J.: MATA: a unified approach for composing UML aspect models based on graph transformation. In: Transactions on Aspect-Oriented Software Development VI, vol. 5560 of LNCS, pp. 191\u2013237. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03764-1_6"},{"key":"707_CR42","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986, Part II on Petri Nets: Applications and Relationships to Other Models of Concurrency. Springer, New York (1987)","DOI":"10.1007\/3-540-17906-2_31"},{"key":"707_CR43","doi-asserted-by":"crossref","unstructured":"Zhang, G., H\u00f6lzl, M.M.: HiLA: high-level aspects for UML state machines. In: MoDELS Workshops, vol. 6002 of LNCS, pp. 104\u2013118. Springer (2009)","DOI":"10.1007\/978-3-642-12261-3_11"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00707-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-018-00707-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-018-00707-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T16:54:26Z","timestamp":1694537666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-018-00707-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,3]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["707"],"URL":"https:\/\/doi.org\/10.1007\/s10270-018-00707-8","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,3]]},"assertion":[{"value":"13 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 November 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2018","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}