D 2012

Factorization for Component-Interaction Automata

BENEŠ, Nikola; Ivana ČERNÁ a Filip ŠTEFAŇÁK

Základní údaje

Originální název

Factorization for Component-Interaction Automata

Autoři

Vydání

Berlin Heidelberg, SOFSEM 2012: Theory and Practice of Computer Science, od s. 554-565, 12 s. 2012

Nakladatel

Springer Berlin Heidelberg

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00057931

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-27659-0

ISSN

DOI

UT WoS

Klíčová slova anglicky

factorization; component-interaction automata; synthesis; quotient

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 5. 5. 2013 09:49, prof. RNDr. Ivana Černá, CSc.

Anotace

V originále

Component-interaction automata is a verification oriented formalism devised to be general enough to capture important aspects of component interaction in various kinds of component systems. A factorization problem naturally arises in formalisms that are based on composition. In general, the factorization problem may be presented as finding a solution X to the equation M | X = S, where | is a composition and = a behavioural equivalence. In our framework, the equivalence is the weak bisimulation and composition is parametrized. We provide a solution for the factorization problem which is built on top of the approach of Qin and Lewis (CONCUR 1990).

Návaznosti

GAP202/11/0312, projekt VaV
Název: Vývoj a verifikace softwarových komponent v zapouzdřených systémech (Akronym: Components in Embedded Systems)
Investor: Grantová agentura ČR, Software Components in Embedded Systems: Development and Verification
GD102/09/H042, projekt VaV
Název: Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
Investor: Grantová agentura ČR, Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
MUNI/A/0914/2009, interní kód MU
Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV)
Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Přiložené soubory

SOFSEM12.pdf
Požádat o autorskou verzi souboru