<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Luis Soares Barbosa</style></author><author><style face="normal" font="default" size="100%">Nuno Oliveira</style></author><author><style face="normal" font="default" size="100%">Flávio Rodrigues</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Towards an engine for coordination-based architectural reconfigurations</style></title><secondary-title><style face="normal" font="default" size="100%">Computer Science and Information Systems</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/lsb/files/1820-02141500019r.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">ComSYS</style></publisher><volume><style face="normal" font="default" size="100%">12</style></volume><pages><style face="normal" font="default" size="100%">607--634</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordination structures, typically used in service-oriented architectures (soa). The engine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record></records></xml>