uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
INRIA Rocquencourt.
University of Oxford.
Technical University of Dortmund.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2013 (English)In: SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods / [ed] Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti, Springer, 2013, 274-288 p.Conference paper (Refereed)
Abstract [en]

Software systems are increasingly composed of independentlydeveloped heterogeneous components. To ensure interoperability, medi-ators are needed that coordinate actions and translate exchanged mes-sages between the components. We present a technique for automatedsynthesis of mediators, by means of a quotient operator, that is based onbehavioural models of the components and an ontological model of thedata domain. By not requiring a specification of the composed system,the method supports both off-line and run-time synthesis. The obtainedmediator is the most general component that ensures freedom of bothcommunication mismatches and deadlock in the composition. Validationof the approach is given by implementation of a prototype tool, while ap-plicability is illustrated on heterogeneous holiday booking components.

Place, publisher, year, edition, pages
Springer, 2013. 274-288 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8137
Keyword [en]
mediator synthesis, quotient, ontology, deadlock-freeness
National Category
Computer Systems
Research subject
Computer Science
URN: urn:nbn:se:uu:diva-213423DOI: 10.1007/978-3-642-40561-7_19ISBN: 978-3-642-40560-0OAI: oai:DiVA.org:uu-213423DiVA: diva2:682048
11th Int. Conf. on Software Engineering and Formal Methods, Madrid, Spain, September 25-27, 2013
Available from: 2013-12-21 Created: 2013-12-21 Last updated: 2013-12-21

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://link.springer.com/chapter/10.1007/978-3-642-40561-7_19

Search in DiVA

By author/editor
Jonsson, Bengt
By organisation
Computer Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 202 hits
ReferencesLink to record
Permanent link

Direct link