Analysing tactics in architectural patterns

• Autor(es): Sanchez, Alejandro ; Aguiar, Ademar ; Barbosa, L. S. ; Riesco, Daniel
• Data: 2012
• Identificador Persistente: http://hdl.handle.net/1822/26527
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Software architecture
• Tipo de Documento: Documento de conferência
• Idioma: Inglês

Descrição

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.