Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning

Amel Bennaceur
Chris Chilton
  • Fonction : Auteur
  • PersonId : 875212
Bengt Jonsson
  • Fonction : Auteur
  • PersonId : 861063

Résumé

Software systems are increasingly composed of independently developed heterogeneous components. To ensure interoperability, mediators are needed that coordinate actions and translate exchanged messages between the components. We present a technique for automated synthesis of mediators, by means of a quotient operator, that is based on behavioural models of the components and an ontological model of the data domain. By not requiring a specification of the composed system, the method supports both off-line and run-time synthesis. The obtained mediator is the most general component that ensures freedom of both communication mismatches and deadlock in the composition. Validation of the approach is given by implementation of a prototype tool, while applicability is illustrated on heterogeneous holiday booking components.
Fichier principal
Vignette du fichier
quotient_cameraReady.pdf (449.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00838788 , version 1 (26-06-2013)

Identifiants

  • HAL Id : hal-00838788 , version 1

Citer

Amel Bennaceur, Chris Chilton, Malte Isberner, Bengt Jonsson. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. SEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. ⟨hal-00838788⟩
182 Consultations
236 Téléchargements

Partager

Gmail Facebook X LinkedIn More