Faculty of Information Technology, BUT

Publication Details

Mediator Synthesis in a Component Algebra with Data

HOLÍK Lukáš, ISBERNER Malte and JONSSON Bengt. Mediator Synthesis in a Component Algebra with Data. In: Correct System Design. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2015, pp. 238-259. ISBN 978-3-319-23505-9.
Czech title
Syntéza mediátorů s daty
Type
conference paper
Language
english
Authors
Holík Lukáš, Mgr., Ph.D. (DITS FIT BUT)
Isberner Malte (TUDO)
Jonsson Bengt (Uppsala)
Keywords
component algebra
automatic synthesis
mediators
asynchronous components
mediator
Abstract
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.
Annotation
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.
Published
2015
Pages
238-259
Proceedings
Correct System Design
Series
Lecture Notes in Computer Science
Conference
Correct System Design, Oldenburg, CZ
ISBN
978-3-319-23505-9
Publisher
Springer Verlag
Place
Berlin, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB11058,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Malte Isberner and Bengt Jonsson",
   title = "Mediator Synthesis in a Component Algebra with Data",
   pages = "238--259",
   booktitle = "Correct System Design",
   series = "Lecture Notes in Computer Science",
   year = 2015,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-23505-9",
   doi = "10.1007/978-3-319-23506-6\_16",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11058"
}
Back to top