Achieving Interoperability through Semantics-based Technologies: The Instant Messaging Case

Abstract : he success of pervasive computing depends on the ability to compose a multitude of networked applications dynamically in order to achieve user goals. However, applications from different providers are not able to interoperate due to incompatible interaction protocols or disparate data models. Instant messaging is a representative example of the current situation, where various competing applications keep emerging. To enforce interoperability at runtime and in a non-intrusive manner, mediators are used to perform the necessary translations and coordination between the heterogeneous applications. Nevertheless, the design of mediators requires considerable knowledge about each application as well as a substantial development effort. In this paper we present an approach based on ontology reasoning and model checking in order to generate correct-by-construction mediators automatically. We demonstrate the feasibility of our approach through a prototype tool and show that it synthesises mediators that achieve efficient interoperation of instant messaging applications.
Type de document :
Communication dans un congrès
ISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States. 2012
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00721280
Contributeur : Amel Bennaceur <>
Soumis le : vendredi 27 juillet 2012 - 10:18:50
Dernière modification le : dimanche 21 octobre 2018 - 18:58:01
Document(s) archivé(s) le : vendredi 31 mars 2017 - 11:26:16

Fichier

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

Identifiants

  • HAL Id : hal-00721280, version 1

Collections

Citation

Amel Bennaceur, Valérie Issarny, Romina Spalazzese, Shashank Tyagi. Achieving Interoperability through Semantics-based Technologies: The Instant Messaging Case. ISWC 2012 - 11th International Semantic Web Conference, Nov 2012, Boston, United States. 2012. 〈hal-00721280〉

Partager

Métriques

Consultations de la notice

340

Téléchargements de fichiers

247