Mediator synthesis in a component algebra with data
2015 (English)In: Correct System Design, Springer, 2015, 238-259 p.Conference paper (Refereed)Text
We formulate a compositional specification theory for components that interact by directed synchronous communication actions. The theory is an extension of interface automata which is also able to capture both absence of deadlock as well as constraints on data parameters in interactions. We define refinement, parallel composition, and quotient. The quotient is an adjoint of parallel composition, and produces the most general component that makes the components cooperate to satisfy a given system specification. We show how these operations can be used to synthesize mediators that allow components in networked systems to interoperate. This is illustrated by application to the synthesis of mediators in e-commerce applications.
Place, publisher, year, edition, pages
Springer, 2015. 238-259 p.
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9360
IdentifiersURN: urn:nbn:se:uu:diva-276112DOI: 10.1007/978-3-319-23506-6_16ISI: 000365884000013ISBN: 978-3-319-23505-9OAI: oai:DiVA.org:uu-276112DiVA: diva2:901891
Festschrift Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, September 8–9, 2015, Oldenburg, Germany