Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
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)
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
mediator synthesis, quotient, ontology, deadlock-freeness
Research subject Computer Science
IdentifiersURN: 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