Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6826
Title: Reasoning about software reconfigurations: The behavioural and structural perspectives
Authors: Oliveira,N
Luís Soares Barbosa
Issue Date: 2015
Abstract: Software connectors encapsulate interaction patterns between services in complex, distributed service-oriented applications. Such patterns encode the interconnection between the architectural elements in a system, which is not necessarily fixed, but often evolves dynamically. This may happen in response to faults, degrading levels of QoS, new enforced requirements or the re-assessment of contextual conditions. To be able to characterise and reason about such changes became a major issue in the project of trustworthy software. This paper discusses what reconfiguration means within coordination-based models of software design. In these models computation and interaction are kept separate: components and services interact anonymously through specific connectors encoding the coordination protocols. In such a setting, of which Reo is a paradigmatic illustration, the paper introduces a model for connector reconfigurations, from both a structural and a behavioural perspective.
URI: http://repositorio.inesctec.pt/handle/123456789/6826
http://dx.doi.org/10.1016/j.scico.2015.05.013
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00G-FZ5.pdf1.03 MBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.