Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Plug-and-Play Architectural Design and Verification

Summary: Plug-and-Play Architectural Design and
Shangzhu Wang, George S. Avrunin, and Lori A. Clarke
Department of Computer Science
University of Massachusetts Amherst, MA 01003, USA
Abstract. In software architecture, components represent the computa-
tional units of a system and connectors represent the interactions among
those units. Making decisions about the semantics of these interactions
is a key part of the design process. It is often difficult, however, to choose
the appropriate interaction semantics due to the wide range of alterna-
tives and the complexity of the system behavior affected by those choices.
Techniques such as finite-state verification can be used to evaluate the
impact of these design choices on the overall system behavior.
This paper presents the Plug-and-Play approach that allows
designers to experiment with alternative design choices of component
interactions in a plug-and-play manner. With this approach, connectors
representing specific interaction semantics are composed from a library of
predefined, reusable building blocks. In addition, standard interfaces for
components are defined that reduce the impact of interaction changes on


Source: Avrunin, George S. - Department of Mathematics and Statistics, University of Massachusetts at Amherst


Collections: Mathematics