{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:57Z","timestamp":1759032957919},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,7,31]],"date-time":"2010-07-31T00:00:00Z","timestamp":1280534400000},"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":[[2012,2]]},"DOI":"10.1007\/s10270-010-0170-z","type":"journal-article","created":{"date-parts":[[2010,7,31]],"date-time":"2010-07-31T20:01:08Z","timestamp":1280606468000},"page":"29-53","source":"Crossref","is-referenced-by-count":23,"title":["A model-driven approach to automate the propagation of changes among Architecture Description Languages"],"prefix":"10.1007","volume":"11","author":[{"given":"Romina","family":"Eramo","sequence":"first","affiliation":[]},{"given":"Ivano","family":"Malavolta","sequence":"additional","affiliation":[]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[]},{"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[]},{"given":"Alfonso","family":"Pierantonio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,31]]},"reference":[{"key":"170_CR1","unstructured":"Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE-Std-1471-2000. The Institute of Electrical and Electronics Engineers (IEEE) Standards Board, September 2000"},{"key":"170_CR2","doi-asserted-by":"crossref","unstructured":"B\u00e9zivin, J., Jouault, F., Rosenthal, P., Valduriez, P.: Modeling in the Large and Modeling in the Small. In: LNCS, vol. 3599, pp. 33\u201346 (2005)","DOI":"10.1007\/11538097_3"},{"key":"170_CR3","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Di Ruscio, D., Eramo, R.: Towards Propagation of Changes by Model Approximations. In: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops EDOCW, p. 24. IEEE Computer Society, Washington, DC, 16\u201320 October 2006","DOI":"10.1109\/EDOCW.2006.68"},{"key":"170_CR4","doi-asserted-by":"crossref","unstructured":"Cicchetti, A., Muccini, H., Pelliccione, P., Pierantonio, A.: Towards a Framework for Distributed and Collaborative Modeling. In: WETICE, pp. 149\u2013154 (2009)","DOI":"10.1109\/WETICE.2009.48"},{"key":"170_CR5","unstructured":"Compuware, S.: XMOF queries, views and transformations on models using MOF, OCL and patterns. OMG Document ad\/2003-08-07 (2003)"},{"key":"170_CR6","doi-asserted-by":"crossref","unstructured":"Crnkovic, I., Malavolta, I., Muccini, H.: A model-driven engineering framework for component models interoperability. In: Poernomo, I., Hofmeister, C., Lewis, G.A. (eds.) Proceedings of the 12th International Symposium on Component-Based Software Engineering (CBSE 2009). LNCS, vol. 5582. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-02414-6_3"},{"key":"170_CR7","unstructured":"Dashofy, E.M., Van der Hoek, A., Taylor, R.N.: A Highly-Extensible, XML-Based Architecture Description Language. In: WICSA\u201901 (2001)"},{"key":"170_CR8","doi-asserted-by":"crossref","unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: An Infrastructure for the Rapid Development of XML-based Architecture Description Languages. In: ICSE \u201902, pp. 266\u2013276. ACM Press, New York (2002)","DOI":"10.1145\/581372.581374"},{"key":"170_CR9","doi-asserted-by":"crossref","unstructured":"Di Ruscio, D., Malavolta, I., Muccini, H., Pelliccione, P., Pierantonio, A.: Developing Next Generation ADLs through MDE Techniques. In: ICSE 2010 (2010)","DOI":"10.1145\/1806799.1806816"},{"key":"170_CR10","unstructured":"Didonet Del Fabro, M., B\u00e9zivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: A Generic Model Weaver. In: IDM2005 (2005)"},{"key":"170_CR11","doi-asserted-by":"crossref","unstructured":"Edwards, G., Medvidovic, N.: A Methodology and Framework for Creating Domain-specific Development Infrastructures. In: ASE\u201908 (2008)","DOI":"10.1109\/ASE.2008.27"},{"key":"170_CR12","unstructured":"Feiler, H.P., Lewis, B., Vestal, S.: The SAE Architecture Analysis and Design Language (AADL) Standard. In: IEEE RTAS Workshop (2003)"},{"issue":"3","key":"170_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1232420.1232424","volume":"29","author":"J.N. Foster","year":"2007","unstructured":"Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bidirectional tree transformations: a linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3), 1\u201365 (2007)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"170_CR14","unstructured":"Garlan, D., Monroe, R., Wile, D.: Acme: An architecture description interchange language. In: Proceedings of CASCON 97, pp. 169\u2013183. Toronto, Ontario (1997)"},{"key":"170_CR15","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: Architectural description of component-based systems. In: Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"170_CR16","doi-asserted-by":"crossref","unstructured":"Giese, H., Wagner, R.: Incremental Model Synchronization With Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Procs. of the 9th Int. Conf. on Model Driven Engineering Languages and Systems, MoDELS 2006, Genova, Italy. Lecture Notes in Computer Science, vol. 4199, pp. 543\u2013557. Springer, Berlin (2006)","DOI":"10.1007\/11880240_38"},{"key":"170_CR17","doi-asserted-by":"crossref","unstructured":"Hansson, H., Akerholm, M., Crnkovic, I., Torngren, M.: Saveccm\u2014A Component Model for Safety-critical Real-time Systems. In: EUROMICRO \u201904: Proceedings of the 30th EUROMICRO Conference, pp. 627\u2013635. IEEE Computer Society, Washington, DC, USA (2004)","DOI":"10.1109\/EURMIC.2004.1333431"},{"key":"170_CR18","unstructured":"Hettel, T., Lawley, M., Raymond, K.: Model Synchronisation: Definitions for Round-Trip Engineering. In: Proceedings of the 1st International Conference on Theory and Practice of Model Tranformations, ICMT 2008. ETH Zrich, Switzerland, 1\u20132 July 2008"},{"key":"170_CR19","unstructured":"ISO. Fourth working draft of Systems and Software Engineering\u2014Architectural Description (ISO\/IECWD4 42010). Working doc.: ISO\/IEC JTC 1\/SC 7 N 000 (2009)"},{"key":"170_CR20","unstructured":"Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Rodrigo Oviedo Silva, J.: Documenting Component and Connector Views with UML 2.0 Technical Report CMU\/SEI-2004-TR-008, CMU, SEI (2004)"},{"key":"170_CR21","doi-asserted-by":"crossref","unstructured":"Jouault F., B\u00e9zivin, J.: KM3: A DSL for Metamodel Specification. In: FMOODS06. LNCS, vol. 4037 (2006)","DOI":"10.1007\/11768869_14"},{"key":"170_CR22","doi-asserted-by":"crossref","unstructured":"Jouault, F., B\u00e9zivin, J., Kurtev, I.: TCS: A DSL for the Specification of Textual Concrete Syntaxes in Model Engineering. In: Proceedings of the 5th international conference on Generative programming and component engineering, pp. 249\u2013254. ACM Press, New York (2006)","DOI":"10.1145\/1173706.1173744"},{"key":"170_CR23","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: MoDELS 2005 (2006)","DOI":"10.1007\/11663430_14"},{"issue":"5","key":"170_CR24","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.jss.2006.08.016","volume":"80","author":"M. Kerholm","year":"2007","unstructured":"Kerholm M., Carlson J., Fredriksson J., Hansson H., H\u00e5kansson J., M\u00f6ller A., Pettersson P., Tivoli M.: The save approach to component-based development of vehicular systems. J. Syst. Softw. 80(5), 655\u2013667 (2007)","journal-title":"J. Syst. Softw."},{"key":"170_CR25","doi-asserted-by":"crossref","unstructured":"Kruchten, P., Lago, P., van Vliet, H.: Building up and reasoning about architectural knowledge. In: Proceedings of the 2nd International Conference on the Quality of Software Architectures (QoSA), pp. 43\u201358 (2006)","DOI":"10.1007\/11921998_8"},{"key":"170_CR26","doi-asserted-by":"crossref","unstructured":"Magee, J.: Behavioral Analysis of Software Architectures using LTSA. In: ICSE \u201999, pp. 634\u2013637. ACM, New York (1999)","DOI":"10.1145\/302405.302726"},{"issue":"6","key":"170_CR27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/250707.239104","volume":"21","author":"J. Magee","year":"1996","unstructured":"Magee J., Kramer J.: Dynamic structure in software architectures. SIGSOFT Softw. Eng. Notes 21(6), 3\u201314 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"170_CR28","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee J., Kramer J.: Concurrency: State Models & Java Programs. Wiley, New York (1999)"},{"key":"170_CR29","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Software architecture directed behaviour analysis. In: IWSSD\u201998 (1998)"},{"issue":"1","key":"170_CR30","first-page":"119","volume":"36","author":"I. Malavolta","year":"2010","unstructured":"Malavolta I., Muccini H., Pelliccione P., Tamburri D.: Providing architectural languages and tools interoperability through model transformation technologies. IEEE TSE 36(1), 119\u2013140 (2010)","journal-title":"IEEE TSE"},{"key":"170_CR31","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1016\/j.infsof.2006.08.006","volume":"49","author":"N. Medvidovic","year":"2007","unstructured":"Medvidovic N., Dashofy E.M., Taylor R.N.: Moving architectural description from under the technology lamppost. Inf. Softw. Technol. 49, 12\u201331 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"170_CR32","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","volume":"26","author":"N. Medvidovic","year":"2000","unstructured":"Medvidovic N., Taylor R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26, 70\u201393 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"170_CR33","unstructured":"Mu, S.-C., Hu, Z., Takeichi, M.: An Injective Language for Reversible Computation. In: Kozen, D., Shankland, C. (eds.) Procs. of the 7th Int. Conf. on Mathematics of Program Construction, (MPC 2004), Stirling, Scotland, UK, July 12\u201314. Lecture Notes in Computer Science, vol. 3125, pp. 289\u2013313. Springer, Berlin (2004)"},{"issue":"3","key":"170_CR34","first-page":"325","volume":"35","author":"P. Pelliccione","year":"2009","unstructured":"Pelliccione P., Inverardi P., Muccini H.: Charmy: a framework for designing and verifying architectural specifications. IEEE TSE 35(3), 325\u2013346 (2009)","journal-title":"IEEE TSE"},{"key":"170_CR35","doi-asserted-by":"crossref","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. In: SIGSOFT Soft. Eng. Notes, vol. 17 (1992)","DOI":"10.1145\/141874.141884"},{"key":"170_CR36","doi-asserted-by":"crossref","unstructured":"Sentilles, S., Pettersson, A., Nystr\u00f6m, D., Nolte, T., Pettersson, P., Crnkovic, I.: Save-IDE\u2014A Tool for Design, Analysis and Implementation of Component-based Embedded Systems. In: Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE\u201909), pp. 607\u2013610, (May 2009)","DOI":"10.1109\/ICSE.2009.5070567"},{"key":"170_CR37","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"R.N. Taylor","year":"2009","unstructured":"Taylor R.N., Medvidovic N., Dashofy E.M.: Software Architecture: Foundations, Theory, and Practice. Wiley, New York (2009)"},{"issue":"2","key":"170_CR38","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s10270-004-0070-1","volume":"4","author":"L. Tratt","year":"2005","unstructured":"Tratt L.: Model transformations and tool integration. SOSYM 4(2), 112\u2013122 (2005)","journal-title":"SOSYM"},{"issue":"3","key":"170_CR39","doi-asserted-by":"crossref","first-page":"107","DOI":"10.5381\/jot.2008.7.3.a3","volume":"7","author":"L. Tratt","year":"2008","unstructured":"Tratt L.: A change propagating model transformation language. J. Object Technol. 7(3), 107\u2013126 (2008)","journal-title":"J. Object Technol."},{"key":"170_CR40","unstructured":"University of Helsinki. SMODELS solver Website (2008). http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"170_CR41","doi-asserted-by":"crossref","unstructured":"Van Paesschen, E., De Meuter, W., D\u2019Hondt, M.: SelfSync: A Dynamic Round-trip Engineering Environment. In: Briand, L.C., Williams, C. (eds.) Procs of the 8th Int. Conf. on Model Driven Engineering Languages and Systems, (MoDELS 2005), Montego Bay, Jamaica, October 2\u20137. Lecture Notes in Computer Science, vol. 3713, pp. 633\u2013647. Springer, Berlin (2005)","DOI":"10.1007\/11557432_47"},{"key":"170_CR42","doi-asserted-by":"crossref","unstructured":"Van Der Westhuizen, C., Van Der Hoek, A.: Understanding and Propagating Architectural Changes. In: Proceedings of the IFIP 17th World Computer Congress - Tc2 Stream\/3rd IEEE\/IFIP Conference on Software Architecture: System Design, Development and Maintenance. IFIP Conference Proceedings, vol. 224, pp. 95\u2013109. Kluwer B.V., Deventer, The Netherlands (2002)","DOI":"10.1007\/978-0-387-35607-5_6"},{"key":"170_CR43","doi-asserted-by":"crossref","unstructured":"Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional Model Transformations. In: ICMT (2009)","DOI":"10.1007\/978-3-642-02408-5_15"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0170-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0170-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0170-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,2]],"date-time":"2021-11-02T15:40:41Z","timestamp":1635867641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0170-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,31]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0170-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,31]]}}}