Improving system dependability by enforcing architectural intent Export

@inproceedings{citeulike:1074440, abstract = {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\&C;) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C\&C; view from an implementation, and (d) semi-automated incremental synchronization between the architectural and the implementation C\&C; views.We use an Architecture Description Language (ADL), Acme, to describe the architecture, and ArchJava, an implementation language which embeds a C\&C; architecture specification within Java implementation code. Although both Acme and ArchJava specify C\&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\&C; view extracted from the implementation with architectural types and styles can uncover additional violations.}, address = {New York, NY, USA}, author = {Antoun, Marwan A. and Aldrich, Jonathan and Garlan, David and Schmerl, Bradley and Nahas, Nagi and Tseng, Tony}, booktitle = {WADS '05: Proceedings of the 2005 workshop on Architecting dependable systems}, citeulike-article-id = {1074440}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1083218}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1083217.1083218}, doi = {10.1145/1083217.1083218}, isbn = {1-59593-124-4}, location = {St. Louis, Missouri}, pages = {1--7}, posted-at = {2007-04-13 14:11:51}, priority = {3}, publisher = {ACM}, title = {Improving system dependability by enforcing architectural intent}, url = {http://dx.doi.org/10.1145/1083217.1083218}, year = {2005} }

TY - CONF ID - citeulike:1074440 L3 - citeulike-article-id:1074440 N2 - 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&C;) architectural view into an initial implementation, (b) enforcement of architectural structure at the programming language level, (c) automated abstraction of a C&C; view from an implementation, and (d) semi-automated incremental synchronization between the architectural and the implementation C&C; views.We use an Architecture Description Language (ADL), Acme, to describe the architecture, and ArchJava, an implementation language which embeds a C&C; architecture specification within Java implementation code. Although both Acme and ArchJava specify C&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&C; view extracted from the implementation with architectural types and styles can uncover additional violations. CY - St. Louis, Missouri SN - 1-59593-124-4 AD - New York, NY, USA EP - 7 TI - Improving system dependability by enforcing architectural intent PB - ACM T2 - WADS '05: Proceedings of the 2005 workshop on Architecting dependable systems SP - 1 AU - Antoun, Marwan AU - Aldrich, Jonathan AU - Garlan, David AU - Schmerl, Bradley AU - Nahas, Nagi AU - Tseng, Tony PY - 2005/// UR - http://dx.doi.org/10.1145/1083217.1083218 ER -