Verification support for plug-and-play architectural design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Verification support for plug-and-play architectural design

Full text

Pdf (112 KB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis table of contents

Portland, Maine

Pages: 49 - 50

Year of Publication: 2006

ISBN:1-59593-459-6

Authors

Shangzhu Wang	University of Massachusetts Amherst, Amherst, MA
George S. Avrunin	University of Massachusetts Amherst, Amherst, MA
Lori A. Clarke	University of Massachusetts Amherst, Amherst, MA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 16, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1147249.1147255 What is a DOI?

ABSTRACT

In software architecture, connectors are intended to represent the specific semantics of how components interact with each other, capturing some of the most important yet subtle aspects of a system. In practice, choosing the appropriate interaction semantics for the connectors in a system tends to be very difficult. The typical design process often involves not only a choice from commonly used interaction mechanisms, such as remote procedure call, message passing, and publish/subscribe, but also decisions about such details as the particular type and size of a message buffer or whether a communication should be synchronous or asynchronous. Given such a large design space, it is important that designers be able to get feedback about the appropriateness of their design decisions on interaction semantics, based on the correctness of the overall system behavior. In particular, one would like to be able to propose a design, and then use design-time verification to determine whether important properties of the system are satisfied. This practice may repeat until a desired design of the system is achieved.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

S. Wang, G. S. Avrunin, and L. A. Clarke. Architectural building blocks for plug-and-play system design. In Proc. 9th Intl. SIGSOFT Symp. on Component-Based Software Engineering, Västerås, Sweden, June 2006. To appear.

INDEX TERMS

Primary Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.11 Software Architectures
Subjects: Domain-specific architectures