Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
HOLÍK, L. ISBERNER, M. JONSSON, B.
Originální název
Mediator Synthesis in a Component Algebra with Data
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
component algebra automatic synthesis mediators asynchronous components mediator
Autoři
HOLÍK, L.; ISBERNER, M.; JONSSON, B.
Rok RIV
2015
Vydáno
8. 9. 2015
Nakladatel
Springer Verlag
Místo
Berlin
ISBN
978-3-319-23505-9
Kniha
Correct System Design
Edice
Lecture Notes in Computer Science
Strany od
238
Strany do
259
Strany počet
22
BibTex
@inproceedings{BUT119934, author="Lukáš {Holík} and Malte {Isberner} and Bengt {Jonsson}", title="Mediator Synthesis in a Component Algebra with Data", booktitle="Correct System Design", year="2015", series="Lecture Notes in Computer Science", pages="238--259", publisher="Springer Verlag", address="Berlin", doi="10.1007/978-3-319-23506-6\{_}16", isbn="978-3-319-23505-9" }