Detail publikace

Mediator Synthesis in a Component Algebra with Data

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"
}