Mediator Synthesis in a Component Algebra with Data

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU117077" target="_blank" >RIV/00216305:26230/15:PU117077 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-23506-6_16" target="_blank" >http://dx.doi.org/10.1007/978-3-319-23506-6_16</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-23506-6_16" target="_blank" >10.1007/978-3-319-23506-6_16</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Mediator Synthesis in a Component Algebra with Data

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Mediator Synthesis in a Component Algebra with Data

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GP13-37876P" target="_blank" >GP13-37876P: Verifikace nekonečně stavových systémů založená na konečných automatech</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Correct System Design

ISBN

978-3-319-23505-9

ISSN

—

e-ISSN

—

Počet stran výsledku

22

Strana od-do

238-259

Název nakladatele

Springer Verlag

Místo vydání

Berlin

Místo konání akce

Oldenburg

Datum konání akce

8. 9. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000365884000013