{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:24:34Z","timestamp":1791231874118,"version":"4.1.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T00:00:00Z","timestamp":1586995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T00:00:00Z","timestamp":1586995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IS16043P"],"award-info":[{"award-number":["01IS16043P"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10515-020-00268-5","type":"journal-article","created":{"date-parts":[[2020,4,16]],"date-time":"2020-04-16T04:10:30Z","timestamp":1587010230000},"page":"119-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated semantics-preserving parallel decomposition of finite component and connector architectures"],"prefix":"10.1007","volume":"27","author":[{"given":"Oliver","family":"Kautz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Wortmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,4,16]]},"reference":[{"key":"268_CR1","doi-asserted-by":"crossref","unstructured":"B\u00e9al, M., Carton, O.: Determinization of transducers over infinite words. In: ICALP, Springer, Lecture Notes in Computer Science, vol. 1853, pp. 561\u2013570 (2000)","DOI":"10.1007\/3-540-45022-X_47"},{"issue":"1","key":"268_CR2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(01)00271-7","volume":"289","author":"MP B\u00e9al","year":"2002","unstructured":"B\u00e9al, M.P., Carton, O.: Determinization of transducers over finite and infinite words. Theor. Comput. Sci. 289(1), 225\u2013251 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"268_CR3","doi-asserted-by":"crossref","first-page":"4-es","DOI":"10.1145\/1118537.1123063","volume":"31","author":"L Brim","year":"2006","unstructured":"Brim, L., \u010cern\u00e1, I., Va\u0159ekov\u00e1, P., Zimmerova, B.: Component-interaction automata as a verification-oriented component-based system specification. SIGSOFT Softw. Eng. Notes 31, 4-es (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"10","key":"268_CR4","doi-asserted-by":"crossref","first-page":"1758","DOI":"10.1093\/comjnl\/bxq005","volume":"53","author":"M Broy","year":"2010","unstructured":"Broy, M.: A logical basis for component-oriented software and systems engineering. Comput. J. 53(10), 1758\u20131782 (2010)","journal-title":"Comput. J."},{"key":"268_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement","author":"M Broy","year":"2001","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces and Refinement. Springer, Heidelberg (2001)"},{"key":"268_CR6","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: International Congress on Logic, Methodology and Philosophy of Science, pp. 1\u201311 (1962)"},{"key":"268_CR7","doi-asserted-by":"crossref","unstructured":"Butting, A., Haber, A., Hermerschmidt, L., Kautz, O., Rumpe, B., Wortmann, A.: Systematic language extension mechanisms for the MontiArc Architecture Description Language. In: Modelling Foundations and Applications (ECMFA\u201917), Held as Part of STAF 2017, Springer International Publishing, pp. 53\u201370 (2017)","DOI":"10.1007\/978-3-319-61482-3_4"},{"key":"268_CR8","doi-asserted-by":"crossref","unstructured":"Butting, A., Kautz, O., Rumpe, B., Wortmann, A.: Semantic differencing for message-driven component & connector architectures. In: International Conference on Software Architecture (ICSA\u201917), IEEE, pp. 145\u2013154 (2017)","DOI":"10.1109\/ICSA.2017.34"},{"key":"268_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/j.jss.2018.12.016","volume":"149","author":"A Butting","year":"2019","unstructured":"Butting, A., Kautz, O., Rumpe, B., Wortmann, A.: Continuously analyzing finite, message-driven, time-synchronous component & connector systems during architecture evolution. J. Syst. Softw. 149, 437\u2013461 (2019)","journal-title":"J. Syst. Softw."},{"key":"268_CR10","unstructured":"Campetelli, A., H\u00f6lzl, F., Neubeck, P.: User-friendly model checking integration in model-based development. In: International Conference on Computer Applications in Industry and Engineering (2011)"},{"key":"268_CR11","unstructured":"Carlsson, G., Yu, J.: A prime decomposition of probabilistic automata (2015). arXiv preprint arXiv:150301502"},{"key":"268_CR12","doi-asserted-by":"crossref","unstructured":"Cavalcante, E., Quilbeuf, J., Traonouez, L.M., Oquendo, F., Batista, T., Legay, A.: Statistical model checking of dynamic software architectures. In: European Conference on Software Architecture (2016)","DOI":"10.1007\/978-3-319-48992-6_14"},{"key":"268_CR13","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering Theories of Software Intensive Systems (2005)","DOI":"10.21236\/ADA461347"},{"key":"268_CR14","doi-asserted-by":"crossref","unstructured":"Debruyne, V., Simonot-Lion, F., Trinquet, Y.: EAST-ADL\u2014an architecture description language. In: Architecture Description Languages, pp. 181\u2013195. Springer (2005)","DOI":"10.1007\/0-387-24590-1_12"},{"key":"268_CR15","doi-asserted-by":"crossref","unstructured":"D\u00edaz, J., P\u00e9rez, J., Garbajosa, J., Yag\u00fce, A.: Change-impact driven agile architecting. In: 2013 46th Hawaii International Conference on System Sciences, pp. 4780\u20134789 (2013)","DOI":"10.1109\/HICSS.2013.127"},{"issue":"7","key":"268_CR16","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1016\/j.infsof.2014.01.014","volume":"56","author":"J D\u00edaz","year":"2014","unstructured":"D\u00edaz, J., P\u00e9rez, J., Garbajosa, J.: Agile product-line architecting in practice: a case study in smart grids. Inf. Softw. Technol. 56(7), 727\u2013748 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"268_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-36387-4_1","volume-title":"Automata Logics and Infinite Games: A Guide to Current Research","author":"B Farwer","year":"2002","unstructured":"Farwer, B.: \u03c9-Automata. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata Logics and Infinite Games: A Guide to Current Research, pp. 3\u201321. Springer, Berlin (2002)"},{"key":"268_CR18","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"PH Feiler","year":"2012","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Boston, MA (2012)"},{"key":"268_CR19","doi-asserted-by":"crossref","unstructured":"France, R., Rumpe, B.: Model-driven development of complex software: a research roadmap. In: Future of Software Engineering 2007 at ICSE (2007)","DOI":"10.1109\/FOSE.2007.14"},{"key":"268_CR20","volume-title":"A Practical Guide to SysML: The Systems Modeling Language. The MK\/OMG Press","author":"S Friedenthal","year":"2011","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. The MK\/OMG Press. Elsevier Science, Amsterdam (2011)"},{"issue":"5","key":"268_CR21","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1016\/S0019-9958(67)90787-5","volume":"11","author":"G Gerace","year":"1967","unstructured":"Gerace, G., Gestri, G.: Decomposition of synchronous sequential machines into synchronous and asynchronous submachines. Inf. Control 11(5), 568\u2013591 (1967)","journal-title":"Inf. Control"},{"key":"268_CR22","unstructured":"Grosu, R., Rumpe, B.: Concurrent timed port automata. Technical Report TUM-I9533, TU Munich (1995)"},{"issue":"8","key":"268_CR23","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"268_CR25","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"F H\u00f6lzl","year":"2010","unstructured":"H\u00f6lzl, F., Feilkas, M.: AutoFocus 3\u2014a scientific tool prototype for model-based development of component-based, reactive, distributed systems. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Sch\u00e4tz, B. (eds.) Model-Based Engineering of Embedded Real-Time Systems. Springer, Berlin (2010)"},{"key":"268_CR26","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/j.scico.2014.02.017","volume":"115","author":"SS Jongmans","year":"2016","unstructured":"Jongmans, S.S., Clarke, D., Proen\u00e7a, J.: A procedure for splitting data-aware processes and its application to coordination. Sci. Comput. Program. 115, 47\u201378 (2016)","journal-title":"Sci. Comput. Program."},{"key":"268_CR27","doi-asserted-by":"crossref","unstructured":"Koehler, C., Clarke, D.: Decomposing port automata. In: Proceedings of the 2009 ACM symposium on Applied Computing, pp. 1369\u20131373. ACM (2009)","DOI":"10.1145\/1529282.1529587"},{"key":"268_CR28","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de\u00a0Vink, E.P.: Data-aware design and verification of service compositions with Reo and mCRL2. In: Proceedings of the 2010 ACM Symposium on Applied Computing. ACM (2010)","DOI":"10.1145\/1774088.1774590"},{"issue":"3","key":"268_CR29","first-page":"219","volume":"2","author":"NA Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Q. 2(3), 219\u2013246 (1989)","journal-title":"CWI Q."},{"key":"268_CR30","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39, 869\u2013891 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"268_CR31","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":"268_CR32","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, New York, NY (1999)"},{"key":"268_CR33","unstructured":"Naur, P., Randell, B. (eds.): Software engineering: report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7\u201311 Oct 1968, Brussels, Scientific Affairs Division, NATO (1969)"},{"issue":"3","key":"268_CR34","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0019-9958(78)90320-0","volume":"36","author":"A Nozaki","year":"1978","unstructured":"Nozaki, A.: Practical decomposition of automata. Inf. Control 36(3), 275\u2013291 (1978)","journal-title":"Inf. Control"},{"key":"268_CR35","unstructured":"Plotkin, B., Plotkin, T.: Decompositions and complexity of linear automata (2015). arXiv preprint arXiv:150606017"},{"issue":"5","key":"268_CR36","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.2014.111","volume":"31","author":"ER Poort","year":"2014","unstructured":"Poort, E.R.: Driving agile architecting with cost and risk. IEEE Softw. 31(5), 20\u201323 (2014)","journal-title":"IEEE Softw."},{"key":"268_CR37","unstructured":"Razavi, N., Sirjani, M.: Using Reo for formal specification and verification of system designs. In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-design, 2006. MEMOCODE\u201906. Proceedings. IEEE Computer Society, pp. 113\u2013122 (2006)"},{"key":"268_CR38","volume-title":"Analysis and Synthesis of Interactive Component and Connector Systems. Aachener Informatik-Berichte, Software Engineering, Band 19","author":"JO Ringert","year":"2014","unstructured":"Ringert, J.O.: Analysis and Synthesis of Interactive Component and Connector Systems. Aachener Informatik-Berichte, Software Engineering, Band 19. Shaker Verlag, Herzogenrath (2014)"},{"issue":"1\u20132","key":"268_CR39","first-page":"29","volume":"5","author":"JO Ringert","year":"2011","unstructured":"Ringert, J.O., Rumpe, B.: A little synopsis on streams, stream processing functions, and state-based stream processing. Int. J. Softw. Inform. 5(1\u20132), 29\u201353 (2011)","journal-title":"Int. J. Softw. Inform."},{"key":"268_CR40","unstructured":"Ringert, J.O., Rumpe, B., Wortmann, A.: Model-based specification of component behavior with controlled underspecification. In: Modellbasierte Entwicklung eingebetteter Systeme (MBEES\u201916) (2016)"},{"key":"268_CR41","doi-asserted-by":"crossref","unstructured":"Safra, S.: On the complexity of \u03c3-automata. In: Proceedings of the 29th Annual Symposium on Foundations of Computer Science, pp. 319\u2013327. IEEE Computer Society (1988)","DOI":"10.1109\/SFCS.1988.21948"},{"key":"268_CR42","volume-title":"Introduction to Modern Robotics","author":"C Schlegel","year":"2011","unstructured":"Schlegel, C., Steck, A., Lotz, A.: Model-driven software development in robotics: communication patterns as key for a robotics component model. In: Chugo, D., Yokota, S. (eds.) Introduction to Modern Robotics. iConcept Press, Hong Kong (2011)"},{"key":"268_CR43","unstructured":"Strobl, F., Wisspeintner, A., Marz, A.: Specification of an elevator control system. Technical report, TU Munich (1999)"},{"key":"268_CR44","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1023\/A:1022407907596","volume":"12","author":"MH ter Beek","year":"2003","unstructured":"ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Comput. Support. Coop. Work (CSCW) 12, 21\u201369 (2003)","journal-title":"Comput. Support. Coop. Work (CSCW)"},{"key":"268_CR45","doi-asserted-by":"crossref","unstructured":"Uygur, G., Sattler, S.M.: Parallel decomposition for safety-critical systems. In: 2013 3rd International Electric Drives Production Conference (EDPC), pp. 1\u20138 (2013)","DOI":"10.1109\/EDPC.2013.6689764"},{"issue":"3","key":"268_CR46","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R Van Ommering","year":"2000","unstructured":"Van Ommering, R., Van Der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. Computer 33(3), 78\u201385 (2000)","journal-title":"Computer"},{"key":"268_CR47","volume-title":"Model-Driven Software Development: Technology, Engineering, Management. Wiley Software Patterns Series","author":"M V\u00f6lter","year":"2013","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. Wiley Software Patterns Series. Wiley, Hoboken (2013)"},{"issue":"1","key":"268_CR48","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1006\/jcss.1997.1517","volume":"56","author":"A Weber","year":"1998","unstructured":"Weber, A.: Transforming a single-valued transducer into a mealy machine. J. Comput. Syst. Sci. 56(1), 46\u201359 (1998)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"268_CR49","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1995.1071","volume":"118","author":"A Weber","year":"1995","unstructured":"Weber, A., Klemm, R.: Economy of description for single-valued transducers. Inf. Comput. 118(2), 327\u2013340 (1995)","journal-title":"Inf. Comput."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00268-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10515-020-00268-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-020-00268-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,16]],"date-time":"2021-04-16T00:09:30Z","timestamp":1618531770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10515-020-00268-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,16]]},"references-count":48,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["268"],"URL":"https:\/\/doi.org\/10.1007\/s10515-020-00268-5","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,16]]},"assertion":[{"value":"6 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 March 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}