Specifikace chování komponent pomocí "Port State Machines"

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A_____%2F04%3A%230000082" target="_blank" >RIV/00216208:_____/04:#0000082 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Specifying Component Behavior with Port State Machines
Popis výsledku v původním jazyce
We propose the Port State Machine (PoSM) to model the communication on a Port. Building on our experience with behavior protocols, we model an operation call as two atomic events request and response, permitting PoSM to capture the interleaving and nesting of operation calls on provided and required interfaces of the Port.
Název v anglickém jazyce
Specifying Component Behavior with Port State Machines
Popis výsledku anglicky
We propose the Port State Machine (PoSM) to model the communication on a Port. Building on our experience with behavior protocols, we model an operation call as two atomic events request and response, permitting PoSM to capture the interleaving and nesting of operation calls on provided and required interfaces of the Port.

Projekt
<a href="/cs/project/OE125" target="_blank" >OE125: OSMOSE</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2004
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
Proceedings of the Workshop on the Compositional Verification of UML Models
ISBN
1571-0661
ISSN
—
e-ISSN
—
Počet stran výsledku
5
Strana od-do
129-153
Název nakladatele
Elsevier Science
Místo vydání
neuvedeno
Místo konání akce
San Francisco, California, USA
Datum konání akce
1. 1. 2003
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)