A formal basis for architectural connection Export

@article{citeulike:959896, abstract = {As software systems become more complex, the overall system structure\—or software architecture\—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages.}, address = {New York, NY, USA}, author = {Allen, Robert and Garlan, David}, citeulike-article-id = {959896}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=258078}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/258077.258078}, doi = {10.1145/258077.258078}, issn = {1049-331X}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {adl, software-architecture, software-engineering, verification}, month = {July}, number = {3}, pages = {213--249}, posted-at = {2009-08-11 11:24:48}, priority = {1}, publisher = {ACM}, title = {A formal basis for architectural connection}, url = {http://dx.doi.org/10.1145/258077.258078}, volume = {6}, year = {1997} }

TY - JOUR ID - citeulike:959896 L3 - citeulike-article-id:959896 N2 - As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages. IS - 3 JF - ACM Trans. Softw. Eng. Methodol. SN - 1049-331X AD - New York, NY, USA EP - 249 TI - A formal basis for architectural connection PB - ACM VL - 6 SP - 213 KW - adl KW - software-architecture KW - software-engineering KW - verification AU - Allen, Robert AU - Garlan, David PY - 1997/07// UR - http://dx.doi.org/10.1145/258077.258078 ER -