Analysing tactics in architectural patterns

• Author(s): Sanchez, Alejandro ; Aguiar, Ademar ; Barbosa, L. S. ; Riesco, Daniel
• Date: 2012
• Persistent ID: http://hdl.handle.net/1822/26527
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Software architecture
• Document Type: Conference Object
• Language: English

Description

We present an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach by resorting to Archery, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on their satisfaction. The application of tactics preserving refinement preserves the original design principles expressed themselves as constraints for the architectural pattern. The paper’s focus on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. Model transformations to represent their application are discussed and illustrated through two case studies.