Publication result detail

Mediator Synthesis in a Component Algebra with Data

HOLÍK, L.; ISBERNER, M.; JONSSON, B.

Original Title

Mediator Synthesis in a Component Algebra with Data

English Title

Mediator Synthesis in a Component Algebra with Data

Type

Paper in proceedings (conference paper)

Original Abstract

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.

English abstract

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.

Keywords

component algebra
automatic synthesis
mediators
asynchronous components
mediator

Key words in English

component algebra
automatic synthesis
mediators
asynchronous components
mediator

Authors

HOLÍK, L.; ISBERNER, M.; JONSSON, B.

RIV year

2016

Released

08.09.2015

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-319-23505-9

Book

Correct System Design

Edition

Lecture Notes in Computer Science

Pages from

238

Pages to

259

Pages count

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