{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:45Z","timestamp":1750308105003,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,17]],"date-time":"2005-05-17T00:00:00Z","timestamp":1116288000000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>Developing dependable software systems. requires enforcing conformance between architecture and implementation during software development and evolution. We address this problem with a multi-pronged approach: (a) automated refinement of a component-and-connector (C&amp;C) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C&amp;C view from an implementation, and (d) semi-automated incremental synchronization between the architectural and the implementation C&amp;C views.We use an Architecture Description Language (ADL), Acme, to describe the architecture, and ArchJava, an implementation language which embeds a C&amp;C architecture specification within Java implementation code. Although both Acme and ArchJava specify C&amp;C views, a number of structural differences may arise. Our approach can detect structural differences which correspond directly to implementation-level violations of the well thoughtout architectural intent. Furthermore, supplementing the C&amp;C view extracted from the implementation with architectural types and styles can uncover additional violations.<\/jats:p>","DOI":"10.1145\/1082983.1083218","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Improving system dependability by enforcing architectural intent"],"prefix":"10.1145","volume":"30","author":[{"given":"Marwan","family":"Abi-Antoun","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nagi","family":"Nahas","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tony","family":"Tseng","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,5,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581365"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645543.655700"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974062"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582133"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768179.1768189"},{"volume-title":"R. Explicit Representation of Exception Handling in the Development of Dependable Component-Based Systems. In Proc. Sixth IEEE International Symposium on High Assurance Systems Engineering","year":"2001","author":"Ferreira G. R. M.","key":"e_1_2_1_7_1"},{"volume-title":"Foundations of Component-Based Systems, Leavens","year":"2000","author":"Garlan D.","key":"e_1_2_1_8_1"},{"volume-title":"Comparison of Architecture-Based Software Reliability Models. In Proc. 12th IEEE International Symposium on Software Reliability Engineering","year":"2001","author":"Goseva-Popstojanova K.","key":"e_1_2_1_9_1"},{"volume-title":"Proc. Workshop on Architecting Dependable Systems","year":"2003","author":"Koopman P.","key":"e_1_2_1_11_1"},{"volume-title":"Hierarchical Reflexion Models. In Working Conf. on Reverse Engineering","year":"2003","author":"Koschke R.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.917525"},{"key":"e_1_2_1_17_1","unstructured":"Object Technology International Inc. Eclipse Platform Technical Overview 2003. http:\/\/www.eclipse.org\/whitepapers\/eclipse-overview.pdf  Object Technology International Inc. Eclipse Platform Technical Overview 2003. http:\/\/www.eclipse.org\/whitepapers\/eclipse-overview.pdf"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940102"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009382.1009807"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/998676.999526"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999479"},{"volume-title":"Pattern Matching Algorithms","year":"1997","author":"Shasha D.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768179.1768194"},{"volume-title":"Proc. 26th International Conference on Software Engineering","year":"2004","author":"Yan H.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(94)90062-0"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083218","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:06Z","timestamp":1750262886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,17]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083218"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083218","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083217.1083218","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2005,5,17]]},"assertion":[{"value":"2005-05-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}