Detail publikace

Mediator Synthesis in a Component Algebra with Data

HOLÍK, L.; ISBERNER, M.; JONSSON, B. Mediator Synthesis in a Component Algebra with Data. In Correct System Design. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2015. p. 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
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Isberner Malte (FIT)
Jonsson Bengt
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
ISBN
978-3-319-23505-9
Vydavatel
Springer Verlag
Místo
Berlin
DOI
10.1007/978-3-319-23506-6_16
UT WoS
000365884000013
EID Scopus
2-s2.0-84983792432
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"
}
Nahoru