Towards a Connector Algebra - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Towards a Connector Algebra

Marco Autili
  • Fonction : Auteur
  • PersonId : 854161
Chris Chilton
  • Fonction : Auteur
  • PersonId : 875212
Paola Inverardi
  • Fonction : Auteur
  • PersonId : 861034
Marta Kwiatkowska
  • Fonction : Auteur
  • PersonId : 861066
Massimo Tivoli
  • Fonction : Auteur
  • PersonId : 861036

Résumé

Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect Integrated Project attempts to develop a novel network infrastructure to allow heterogeneous networked systems to freely communicate with one another by synthesising the required connectors on-the- y. A key objective of Connect is to build a comprehensive theory of composable connectors, by devising an algebra for rigorously characterising complex interaction protocols in order to support automated reasoning. With this aim in mind, we formalise a high-level algebra for reasoning about protocol mismatches. Basic mismatches can be solved by suitably dened primitives, while complex mismatches can be settled by composition operators that build connectors out of simpler ones. The semantics of the algebra is given in terms of Interface Automata, and an example in the domain of instant messaging is used to illustrate how the algebra can characterise the interaction behaviour of a connector for mediating protocols.
Fichier principal
Vignette du fichier
main.pdf (439.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00512431 , version 1 (18-11-2010)

Identifiants

  • HAL Id : inria-00512431 , version 1

Citer

Marco Autili, Chris Chilton, Paola Inverardi, Marta Kwiatkowska, Massimo Tivoli. Towards a Connector Algebra. In Proceedings of the 4th International Symposium on Leveraging Applications (ISoLA 2010) of Formal Methods, Verification and Validation, 2010, Crete, Greece. ⟨inria-00512431⟩

Collections

CONNECT
66 Consultations
83 Téléchargements

Partager

Gmail Facebook X LinkedIn More