Reasoning about software reconfigurations The behavioural and structural perspectives》.pdf

Science of Computer Programming 110 (2015) 78–103 Contents lists available at ScienceDirect Science of Computer Programming /locate/scico Reasoning about software reconfigurations: The behavioural and structural perspectives Nuno Oliveira, Luís S. Barbosa HASLab, INESC TEC, Universidade do Minho, Braga, Portugal a r t i c l e i n f o a b s t r a c t Article history: Software connectors encapsulate interaction patterns between services in complex, distrib- Received 8 July 2013 uted service-oriented applications. Such patterns encode the interconnection between the Received in revised form 24 May 2015 architectural elements in a system, which is not necessarily fixed, but often evolves Accepted 29 May 2015 dynamically. This may happen in response to faults, degrading levels of QoS, new enforced Available online 26 June 2015 requirements or the re-assessment of contextual conditions. To be able to characterise and Keywords: reason about such changes became a major issue in the project of trustworthy software. Software reconfiguration This paper discusses what reconfiguration means within coordination-based models Software architecture of software design. In these models computation and interaction are kept separate: Coordination components and services interact a