{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T13:22:08Z","timestamp":1773840128221,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,18]],"date-time":"2013-08-18T00:00:00Z","timestamp":1376784000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,18]]},"DOI":"10.1145\/2491411.2491414","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"444-454","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Synthesis of component and connector models from crosscutting structural views"],"prefix":"10.1145","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[{"name":"Tel Aviv University, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Oliver","family":"Ringert","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"AutoFocus3 website. http:\/\/autofocus.informatik.tu-muenchen.de\/. Accessed 2\/2013.  AutoFocus3 website. http:\/\/autofocus.informatik.tu-muenchen.de\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_2_1","unstructured":"MontiArc website. http:\/\/www.monticore.de\/languages\/montiarc\/.  MontiArc website. http:\/\/www.monticore.de\/languages\/montiarc\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Supporting materials on C&C views synthesis. http:\/\/www.se-rwth.de\/materials\/cncviews\/.  Supporting materials on C&C views synthesis. http:\/\/www.se-rwth.de\/materials\/cncviews\/."},{"key":"e_1_3_2_1_4_1","unstructured":"AADL website. http:\/\/www.aadl.info\/. Accessed 2\/2013.  AADL website. http:\/\/www.aadl.info\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_5_1","unstructured":"The ACME Studio Homepage. http:\/\/www.cs.cmu.edu\/~acme\/AcmeStudio\/. Accessed 2\/2013.  The ACME Studio Homepage. http:\/\/www.cs.cmu.edu\/~acme\/AcmeStudio\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"390","volume-title":"MoDELS (2)","author":"Bagheri H.","unstructured":"H. Bagheri and K. J. Sullivan . Monarch: Model-based development of software architectures . In MoDELS (2) , volume 6395 of LNCS , pages 376\u2013 390 . Springer, 2010. H. Bagheri and K. J. Sullivan. Monarch: Model-based development of software architectures. In MoDELS (2), volume 6395 of LNCS, pages 376\u2013390. Springer, 2010."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.06.011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","volume-title":"The architecture analysis & design language (AADL): An introduction. Technical report","author":"Feiler P. H.","year":"2006","unstructured":"P. H. Feiler , D. P. Gluch , and J. J. Hudak . The architecture analysis & design language (AADL): An introduction. Technical report , Software Engineering Institute, Carnegie Mellon University , 2006 . P. H. Feiler, D. P. Gluch, and J. J. Hudak. The architecture analysis & design language (AADL): An introduction. Technical report, Software Engineering Institute, Carnegie Mellon University, 2006."},{"key":"e_1_3_2_1_10_1","unstructured":"FreeMarker website. http:\/\/freemarker.sourceforge.net\/. Accessed 2\/2013.  FreeMarker website. http:\/\/freemarker.sourceforge.net\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11966104_7"},{"key":"e_1_3_2_1_12_1","first-page":"68","volume-title":"Foundations of Component-Based Systems","author":"Garlan D.","unstructured":"D. Garlan , R. T. Monroe , and D. Wile . Acme: Architectural description of component-based systems . In Foundations of Component-Based Systems , pages 47\u2013 68 . Cambridge University Press, 2000. D. Garlan, R. T. Monroe, and D. Wile. Acme: Architectural description of component-based systems. In Foundations of Component-Based Systems, pages 47\u201368. Cambridge University Press, 2000."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0103-4"},{"key":"e_1_3_2_1_14_1","volume-title":"ERTS","author":"Gr\u00f6nniger H.","year":"2008","unstructured":"H. Gr\u00f6nniger , J. Hartmann , H. Krahn , S. Kriebel , L. Rothhardt , and B. Rumpe . Modelling automotive function nets with views for features, variants, and modes . In ERTS , 2008 . H. Gr\u00f6nniger, J. Hartmann, H. Krahn, S. Kriebel, L. Rothhardt, and B. Rumpe. Modelling automotive function nets with views for features, variants, and modes. In ERTS, 2008."},{"key":"e_1_3_2_1_15_1","series-title":"Informatik-Bericht","first-page":"12","volume-title":"MBEES","author":"Gr\u00f6nniger H.","unstructured":"H. Gr\u00f6nniger , J. Hartmann , H. Krahn , S. Kriebel , L. Rothhardt , and B. Rumpe . View-centric modeling of automotive logical architectures . In MBEES , volume 2008- 2 of Informatik-Bericht , pages 3\u2013 12 . TU Braunschweig, Institut f\u00fcr Software Systems Engineering, 2008. H. Gr\u00f6nniger, J. Hartmann, H. Krahn, S. Kriebel, L. Rothhardt, and B. Rumpe. View-centric modeling of automotive logical architectures. In MBEES, volume 2008-2 of Informatik-Bericht, pages 3\u201312. TU Braunschweig, Institut f\u00fcr Software Systems Engineering, 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.008"},{"key":"e_1_3_2_1_18_1","series-title":"LNCS","first-page":"322","volume-title":"Model-Based Engineering of Embedded Real-Time Systems","author":"H\u00f6lzl F.","unstructured":"F. H\u00f6lzl and M. Feilkas . Autofocus 3 - a scientific tool prototype for model-based development of component-based, reactive, distributed systems . In Model-Based Engineering of Embedded Real-Time Systems , volume 6100 of LNCS , pages 317\u2013 322 . Springer, 2007. F. H\u00f6lzl and M. Feilkas. Autofocus 3 - a scientific tool prototype for model-based development of component-based, reactive, distributed systems. In Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of LNCS, pages 317\u2013322. Springer, 2007."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/508448.508474"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.01.049"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948409"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0142-1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_22"},{"key":"e_1_3_2_1_25_1","first-page":"251","volume-title":"ICSE","author":"Maoz S.","unstructured":"S. Maoz and Y. Sa\u2019ar . Counter play-out: executing unrealizable scenario-based specifications . In ICSE , pages 242\u2013 251 . IEEE \/ ACM, 2013. S. Maoz and Y. Sa\u2019ar. Counter play-out: executing unrealizable scenario-based specifications. In ICSE, pages 242\u2013251. IEEE \/ ACM, 2013."},{"key":"e_1_3_2_1_26_1","unstructured":"MathWorks Simulink website. http:\/\/www.mathworks.com\/products\/simulink\/. Accessed 2\/2013.  MathWorks Simulink website. http:\/\/www.mathworks.com\/products\/simulink\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_27_1","unstructured":"MiniSat website. http:\/\/minisat.se\/. Accessed 2\/2013.  MiniSat website. http:\/\/minisat.se\/. Accessed 2\/2013."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"e_1_3_2_1_29_1","volume-title":"Software architecture - perspectives on an emerging discipline","author":"Shaw M.","year":"1996","unstructured":"M. Shaw and D. Garlan . Software architecture - perspectives on an emerging discipline . Prentice Hall , 1996 . M. Shaw and D. Garlan. Software architecture - perspectives on an emerging discipline. Prentice Hall, 1996."},{"key":"e_1_3_2_1_30_1","volume-title":"Software Architecture: Foundations, Theory, and Practice","author":"Taylor R. N.","year":"2009","unstructured":"R. N. Taylor , N. Medvidovic , and E. Dashofy . Software Architecture: Foundations, Theory, and Practice . Wiley , 2009 . R. N. Taylor, N. Medvidovic, and E. Dashofy. Software Architecture: Foundations, Theory, and Practice. Wiley, 2009."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.21"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"}],"event":{"name":"ESEC\/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Saint Petersburg Russia","acronym":"ESEC\/FSE'13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491414","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491411.2491414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:41Z","timestamp":1750231721000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,18]]},"references-count":31,"alternative-id":["10.1145\/2491411.2491414","10.1145\/2491411"],"URL":"https:\/\/doi.org\/10.1145\/2491411.2491414","relation":{},"subject":[],"published":{"date-parts":[[2013,8,18]]},"assertion":[{"value":"2013-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}