European Conference on Software Architecture

ECSA 2010: Software Architecture pp 8-23

An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection

  • Guoxin Su
  • Mingsheng Ying
  • Chengqi Zhang
Conference paper

DOI: 10.1007/978-3-642-15114-9_4

Volume 6285 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Su G., Ying M., Zhang C. (2010) An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. In: Babar M.A., Gorton I. (eds) Software Architecture. ECSA 2010. Lecture Notes in Computer Science, vol 6285. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Guoxin Su
    • 1
  • Mingsheng Ying
    • 1
    • 2
  • Chengqi Zhang
    • 1
  1. 1.Centre for Quantum Computation and Intelligent Systems, Faculty of Engineering and Information TechnologyUniversity of TechnologySydneyAustralia
  2. 2.State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and TechnologyTsinghua UniversityBeijingChina