Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Publication no #4   Download bibtex file Type :   Html | Bib | Both
Add to my selection
Analyzing Architectural Styles with Alloy

Jung Soo Kim and David Garlan.


In Workshop on the Role of Software Architecture for Testing and Analysis 2006 (ROSATEA 2006), Portland, ME, USA, 17 July 2006.

Online links: PDF   Bibtex entry   Plain Text

Abstract
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, designing a sound and appropriate architectural style becomes an important and intellectually challenging activity. Unfortunately, although there are numerous tools to help in the analysis of individual architectures, relatively less work has been done on tools to help the style designer. In this paper we show how to map an architectural style, expressed formally in an architectural description language, into a relational model that can be automatically checked for properties such as whether a style is consistent, whether a style satisfies some predicate over the architectural structure, whether two styles are compatible for composition, and whether one style refines another.

Keywords: Acme, Formal Methods, Software Architecture.  
    Created: 2006-08-19 13:27:33     Modified: 2006-12-20 18:06:42
Feedback: ABLE Webmaster
Last modified: Fri July 25 2014 13:46:14
        BibAdmin