Conference paper

HOLÍK Lukáš, ISBERNER Malte and JONSSON Bengt. Mediator Synthesis in a Component Algebra with Data. In: Correct System Design. Berlin: Springer Verlag, 2015, pp. 238-259. ISBN 978-3-319-23505-9.
Publication language:english
Original title:Mediator Synthesis in a Component Algebra with Data
Title (cs):Syntéza mediátorů s daty
Pages:238-259
Proceedings:Correct System Design
Conference:Correct System Design
Series:Lecture Notes in Computer Science
Place:Berlin, DE
Year:2015
ISBN:978-3-319-23505-9
DOI:10.1007/978-3-319-23506-6_16
Publisher:Springer Verlag
Keywords
component algebra
automatic synthesis
mediators
asynchronous components
mediator
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.
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=11058}
}

Your IPv4 address: 18.206.241.26
Switch to https