Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26527
Título: | Analysing tactics in architectural patterns |
Autor(es): | Sanchez, Alejandro Aguiar, Ademar Barbosa, L. S. Riesco, Daniel |
Palavras-chave: | Software architecture |
Data: | 2012 |
Editora: | IEEE |
Revista: | IEEE Annual Ieee Software Engineering Workshop |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/26527 |
ISBN: | 9781467355742 |
DOI: | 10.1109/SEW.2012.10 |
ISSN: | 1550-6215 |
Versão da editora: | http://doi.ieeecomputersociety.org/10.1109/SEW.2012.10 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
SABR12-sew.pdf | pdf (preprint) | 251,16 kB | Adobe PDF | Ver/Abrir |