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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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.
Series
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
Identifiers
URN: urn:nbn:se:uu:diva-213423DOI: 10.1007/978-3-642-40561-7_19ISBN: 978-3-642-40560-0 (print)OAI: oai:DiVA.org:uu-213423DiVA: diva2:682048
Conference
11th Int. Conf. on Software Engineering and Formal Methods, Madrid, Spain, September 25-27, 2013
Projects
ConnectUPMARC
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

Authority records BETA

Jonsson, Bengt

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 412 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf