Detail publikace
Mediator Synthesis in a Component Algebra with Data
HOLÍK Lukáš, ISBERNER Malte a JONSSON Bengt. Mediator Synthesis in a Component Algebra with Data. In: Correct System Design. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2015, s. 238-259. ISBN 978-3-319-23505-9.
Název česky
Syntéza mediátorů s daty
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Klíčová slova
automatická syntéza
komponentová algebra
zprostředkovatel
asynchronní komponenty
Abstrakt
Prezentujeme teorii pro specifikaci asynchronních komponent komunikujících data z nekonečné datové domény. Definujeme zjemnění, paralelní kompozici, a kvocient. Ukazujeme, že tyto operace mohou být použity k syntéze mediátorů zprostředkovávajících komunikaci síťových komponent.
Anotace
Prezentujeme teorii pro specifikaci asynchronních komponent komunikujících data z nekonečné datové domény. Definujeme zjemnění, paralelní kompozici, a kvocient. Ukazujeme, že tyto operace mohou být použity k syntéze mediátorů zprostředkovávajících komunikaci síťových komponent.
Rok
2015
Strany
238-259
Sborník
Correct System Design
Řada
Lecture Notes in Computer Science
Konference
Correct System Design, Oldenburg, CZ
ISBN
978-3-319-23505-9
Vydavatel
Springer Verlag
Místo
Berlin, DE
DOI
UT WoS
000365884000013
EID Scopus
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" }