<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alejandro Sanchez</style></author><author><style face="normal" font="default" size="100%">A. Aguiar</style></author><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">Daniel Riesco</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Jonathan Bowen</style></author><author><style face="normal" font="default" size="100%">Huibiao Zhu</style></author><author><style face="normal" font="default" size="100%">Mike Hinchey</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Analysing tactics in architectural patterns</style></title><secondary-title><style face="normal" font="default" size="100%">35th Annual IEEE Software Engineering Workshop - SEW </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year><pub-dates><date><style  face="normal" font="default" size="100%">October</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/sabr12-sew.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">IEEE Computer Society</style></publisher><pub-location><style face="normal" font="default" size="100%">Crete, Greece</style></pub-location><pages><style face="normal" font="default" size="100%">32-41</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper presents an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach using 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 ensures that the original design principles, expressed themselves as constraints, still hold in the resulting architectural pattern. The paper focuses on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. The application of tactics represented as model transformations is then discussed and illustrated using two case studies.&lt;/p&gt;
</style></abstract></record></records></xml>