{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:49Z","timestamp":1750306129554,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,11]],"date-time":"2017-09-11T00:00:00Z","timestamp":1505088000000},"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":[[2017,9,11]]},"DOI":"10.1145\/3129790.3129813","type":"proceedings-article","created":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T13:22:27Z","timestamp":1504876947000},"page":"173-179","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a well-formed software architecture analysis"],"prefix":"10.1145","author":[{"given":"Najd","family":"Altoyan","sequence":"first","affiliation":[{"name":"The University of Texas at Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dewayne E.","family":"Perry","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2012. Alloy. (2012). http:\/\/alloy.mit.edu\/alloy\/  2012. Alloy. (2012). http:\/\/alloy.mit.edu\/alloy\/"},{"volume-title":"The B-book: assigning programs to meanings","author":"Abrial Jean-Raymond","key":"e_1_3_2_1_2_1","unstructured":"Jean-Raymond Abrial and Jean-Raymond Abrial . 2005. The B-book: assigning programs to meanings . Cambridge University Press . Jean-Raymond Abrial and Jean-Raymond Abrial. 2005. The B-book: assigning programs to meanings. Cambridge University Press."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(03)00080-3"},{"key":"e_1_3_2_1_5_1","volume-title":"Analysis and Evaluation. Working International Conference on Software Architecture (January","author":"Bhattacharya Sutirtha","year":"2007","unstructured":"Sutirtha Bhattacharya and Dewayne E Perry . 2007 . An Abstract Architectural Model for Composition , Analysis and Evaluation. Working International Conference on Software Architecture (January 2007). Sutirtha Bhattacharya and Dewayne E Perry. 2007. An Abstract Architectural Model for Composition, Analysis and Evaluation. Working International Conference on Software Architecture (January 2007)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Junhua Ding and Dongmei Zhang. 2015. Modeling and Analyzing Publish Subscribe Architcture using Petri Nets.. In SEKE. 589--594.  Junhua Ding and Dongmei Zhang. 2015. Modeling and Analyzing Publish Subscribe Architcture using Petri Nets.. In SEKE. 589--594.","DOI":"10.18293\/SEKE2015-232"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593882.2593886"},{"key":"e_1_3_2_1_9_1","volume-title":"Acme: Architectural description of component-based systems. Foundations of component-based systems 68","author":"Garlan David","year":"2000","unstructured":"David Garlan , Robert T Monroe , and David Wile . 2000 . Acme: Architectural description of component-based systems. Foundations of component-based systems 68 (2000), 47--68. David Garlan, Robert T Monroe, and David Wile. 2000. Acme: Architectural description of component-based systems. Foundations of component-based systems 68 (2000), 47--68."},{"key":"e_1_3_2_1_10_1","volume-title":"Perry","author":"Nico Habermann A.","year":"1980","unstructured":"A. Nico Habermann and Dewayne E . Perry . 1980 . Well Formed System Composition. techreport CMU-CS-80-117. Carnegie-Mellon University . A. Nico Habermann and Dewayne E. Perry. 1980. Well Formed System Composition. techreport CMU-CS-80-117. Carnegie-Mellon University."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.1.111"},{"key":"e_1_3_2_1_12_1","volume-title":"Software architecture for correct components assembly. Formal Methods for Software Architectures","author":"Inverardi Paola","year":"2003","unstructured":"Paola Inverardi and Massimo Tivoli . 2003. Software architecture for correct components assembly. Formal Methods for Software Architectures ( 2003 ), 92--121. Paola Inverardi and Massimo Tivoli. 2003. Software architecture for correct components assembly. Formal Methods for Software Architectures (2003), 92--121."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21455-4_7"},{"volume-title":"Software Abstractions: logic, language, and analysis","author":"Jackson Daniel","key":"e_1_3_2_1_14_1","unstructured":"Daniel Jackson . 2012. Software Abstractions: logic, language, and analysis . MIT press . Daniel Jackson. 2012. Software Abstractions: logic, language, and analysis. MIT press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257746"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147259"},{"volume-title":"Formal Methods for Software Architectures","author":"Kramer Jeff","key":"e_1_3_2_1_17_1","unstructured":"Jeff Kramer , Jeff Magee , and Sebastian Uchitel . 2003. Software architecture modeling & analysis: A rigorous approach . In Formal Methods for Software Architectures . Springer , 44--51. Jeff Kramer, Jeff Magee, and Sebastian Uchitel. 2003. Software architecture modeling & analysis: A rigorous approach. In Formal Methods for Software Architectures. Springer, 44--51."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of First BeNeLux conference on software architecture. 47--57","author":"Lassing Nico","year":"1999","unstructured":"Nico Lassing , Daan Rijsenbrij , and Hv Vliet . 1999 . The goal of software architecture analysis: Confidence building or risk assessment . In Proceedings of First BeNeLux conference on software architecture. 47--57 . Nico Lassing, Daan Rijsenbrij, and Hv Vliet. 1999. The goal of software architecture analysis: Confidence building or risk assessment. In Proceedings of First BeNeLux conference on software architecture. 47--57."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.385971"},{"volume-title":"Software Architecture","author":"Magee Jeff","key":"e_1_3_2_1_20_1","unstructured":"Jeff Magee , Jeff Kramer , and Dimitra Giannakopoulou . 1999. Behaviour analysis of software architectures . In Software Architecture . Springer , 35--49. Jeff Magee, Jeff Kramer, and Dimitra Giannakopoulou. 1999. Behaviour analysis of software architectures. In Software Architecture. Springer, 35--49."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.74"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the 9th ICSEA","author":"Mokni Abderrahman","year":"2014","unstructured":"Abderrahman Mokni , Marianne Huchard , Christelle Urtado , Sylvain Vauttier , and Huaxi Yulin Zhang . 2014 . Towards automating the coherence verification of multi-level architecture descriptions . Proc. of the 9th ICSEA , Nice, France (2014), 416--421. Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, and Huaxi Yulin Zhang. 2014. Towards automating the coherence verification of multi-level architecture descriptions. Proc. of the 9th ICSEA, Nice, France (2014), 416--421."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2013.34"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"volume-title":"Software architecture: foundations, theory, and practice","author":"Taylor Richard N","key":"e_1_3_2_1_25_1","unstructured":"Richard N Taylor , Nenad Medvidovic , and Eric M Dashofy . 2009. Software architecture: foundations, theory, and practice . Wiley Publishing . Richard N Taylor, Nenad Medvidovic, and Eric M Dashofy. 2009. Software architecture: foundations, theory, and practice. Wiley Publishing."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38706-7_10"}],"event":{"name":"ECSA '17: 11th European Conference on Software Architecture","acronym":"ECSA '17","location":"Canterbury United Kingdom"},"container-title":["Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3129790.3129813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:04Z","timestamp":1750217824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3129790.3129813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,11]]},"references-count":25,"alternative-id":["10.1145\/3129790.3129813","10.1145\/3129790"],"URL":"https:\/\/doi.org\/10.1145\/3129790.3129813","relation":{},"subject":[],"published":{"date-parts":[[2017,9,11]]},"assertion":[{"value":"2017-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}