Layered Connectors: Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems

Abstract : The complex distributed systems of nowadays require the dynamic composition of multiple components, which are autonomous and so complex that they can be considered as systems in themselves. These components often use different application protocols and are implemented on top of heterogeneous middleware, which hamper their successful interaction. The explicit and rigorous description and analysis of components interaction is essential in order to enable the dynamic composition of these components. In this paper, we propose a formal approach to represent and reason about interactions between components using layered connectors. Layered connectors describe components interaction at both the application and middleware layers and make explicit the role of middleware in the realisation of this interaction. We provide formal semantics of layered connectors and present an approach for the synthesis of layered connectors in order to enable the dynamic composition of highly heterogeneous components. We validate our approach through a case study in the area of collaborative emergency management.
Document type :
Conference papers
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01015897
Contributor : Amel Bennaceur <>
Submitted on : Friday, June 27, 2014 - 2:02:43 PM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Long-term archiving on : Saturday, September 27, 2014 - 11:35:57 AM

File

paper77_ecsa14_cameraReady.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01015897, version 1

Collections

Citation

Amel Bennaceur, Valérie Issarny. Layered Connectors: Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems. ECSA'14 - The 8th European Conference on Software Architecture, Aug 2014, Vienna, Austria. ⟨hal-01015897⟩

Share

Metrics

Record views

220

Files downloads

172