Reducing Component Systems' Behavior Specification
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F07%3A00005114" target="_blank" >RIV/00216208:11320/07:00005114 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Reducing Component Systems' Behavior Specification
Popis výsledku v původním jazyce
Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reductionbased on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.
Název v anglickém jazyce
Reducing Component Systems' Behavior Specification
Popis výsledku anglicky
Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reductionbased on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/1ET400300504" target="_blank" >1ET400300504: Realistická aplikace formálních metod v komponentových systémech</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2007
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the XXVI International Conference of the Chilean Computer Science Society
ISBN
978-0-7695-3017-8
ISSN
1522-4902
e-ISSN
—
Počet stran výsledku
10
Strana od-do
63-72
Název nakladatele
IEEE Computer Society
Místo vydání
Los Alamitos, USA
Místo konání akce
Iquique, Chile
Datum konání akce
8. 11. 2007
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000253261800007