The Open UniversitySkip to content
 

Automated mediator synthesis: combining behavioural and ontological reasoning

Bennaceur, Amel; Chilton, Chris; Isberner, Malte and Jonsson, Bengt (2013). Automated mediator synthesis: combining behavioural and ontological reasoning. In: Software Engineering and Formal Methods, Springer-Verlag, pp. 274–288.

Full text available as:
[img]
Preview
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (460kB) | Preview
DOI (Digital Object Identifier) Link: https://doi.org/10.1007/978-3-642-40561-7_19
Google Scholar: Look up in Google Scholar

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.

Item Type: Conference or Workshop Item
Copyright Holders: 2013 Springer
ISBN: 3-642-40560-6, 978-3-642-40560-0
ISSN: 0302-9743
Project Funding Details:
Funded Project NameProject IDFunding Body
Connect: Emergent Connectors for Eternal Software Intensive Networked Systems231167ICT
Extra Information: Lecture Notes in Computer Science Volume 8137, 2013
Keywords: mediator synthesis; quotient; ontology; deadlock-freeness
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Related URLs:
Item ID: 39431
Depositing User: Amel Bennaceur
Date Deposited: 05 Feb 2014 14:42
Last Modified: 07 Dec 2018 23:02
URI: http://oro.open.ac.uk/id/eprint/39431
Share this page:

Metrics

Altmetrics from Altmetric

Citations from Dimensions

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU