Layered Connectors: Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

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

Amel Bennaceur
Valérie Issarny
  • Function : Author
  • PersonId : 833417

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.
Fichier principal
Vignette du fichier
paper77_ecsa14_cameraReady.pdf (623.98 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01015897 , version 1 (27-06-2014)

Identifiers

  • HAL Id : hal-01015897 , version 1

Cite

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⟩

Collections

INRIA INRIA2
109 View
110 Download

Share

Gmail Mastodon Facebook X LinkedIn More