An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection
A rigorous paradigm coordinating components is important in the design stage of large-scale software engineering. In this paper we propose a new Architecture Description Language, called ACDL, to represent the centralized-mode architectural connection in which all components are linked by a single connector. Following one usual approach to architectural description, in which component types and components are distinguished, and connectors integrate behaviors of components by specifying their coordination protocols, ACDL describes connectors in such a way that connectors are insensitive to the numbers of attached same-type components. Based on ACDL, we develop analytic techniques to facilitate the system checking of temporal properties of an architecture. In particular, our method shows to what extent one can add, delete and replace components without making the whole system lose desired temporal properties, and improves the system checking in several ways, for example enhancing the use of previous checking results to deal with new checking problems.
KeywordsTemporal Property Software Architecture Object Constraint Language Component Type Label Transition System
Unable to display preview. Download preview PDF.
- 1.Garlan, D., Shaw, M.: An introduction to software architecture. Technical report, Pittsburgh, PA, USA (1994)Google Scholar
- 2.Sifakis, J.: A framework for component-based construction. In: Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods (2005)Google Scholar
- 11.Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Proceedings of the 5th European Software Engineering Conference, pp. 137–153 (1995)Google Scholar
- 14.Spitznagel, B., Garlan, D.: A compositional formalization of connector wrappers. In: Proceedings of the 25th International Conference on Software Engineering (2003)Google Scholar
- 15.Giesecke, S.: Taxonomy of architectural style usage. In: Proceedings of the 2006 Conference on Pattern Languages of Programs (2006)Google Scholar
- 17.Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, 2nd edn. Addison-Wesley Professional, Reading (2005)Google Scholar
- 18.Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Boston (2003)Google Scholar