Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning

Amel Bennaceur 1 Chris Chilton 2 Malte Isberner 3 Bengt Jonsson 4
1 ARLES - Software architectures and distributed systems
Inria Paris-Rocquencourt
2 OUCL - Computing Laboratory
3 Faculty of Computer Science [Dortmund]
4 Uppsala University
Abstract : 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.
Keywords : deadlock-freeness mediator synthesis quotient ontology deadlock-freeness.
Type de document :
Communication dans un congrès
SEFM - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. 2013
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00838788
Contributeur : Amel Bennaceur <>
Soumis le : mercredi 26 juin 2013 - 15:38:43
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : mercredi 5 avril 2017 - 04:29:30

Fichier

quotient_cameraReady.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00838788, version 1

Collections

INRIA | CONNECT | INRIA-ROCQ

Citation

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. 2013. 〈hal-00838788〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

226

Contact


archive-ouverte@inria.fr