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
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Isberner Malte (TUDO)
Jonsson Bengt (Uppsala)
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"
}
Nahoru