Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Plug-and-Play Architectural Design and Verification
 

Summary: Plug-and-Play Architectural Design and
Verification
Shangzhu Wang, George S. Avrunin, and Lori A. Clarke
Department of Computer Science
University of Massachusetts Amherst, MA 01003, USA
{shangzhu,avrunin,clarke}@cs.umass.edu
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