Specifying Component Behavior with Port State Machines

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Specifying Component Behavior with Port State Machines
Original language description
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.
Czech name
Specifikace chování komponent pomocí "Port State Machines"
Czech description
Navrhujeme "Port State Machines" (PoSM) jako model pro komunikaci na portu. Zakládající na našich zkušenostech s protokoly chování, modelujeme volání operací, jako dvě atomické události požadavku a odpovědi, dovolující PoSM zachytávat překrytí, zapouzdření volání na poskytovaných a požadovaných portech.

Project
<a href="/en/project/OE125" target="_blank" >OE125: ITEA OSMOSE</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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

Article name in the collection
Proceedings of the Workshop on the Compositional Verification of UML Models
ISBN
1571-0661
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
129-153
Publisher name
Elsevier Science
Place of publication
neuvedeno
Event location
San Francisco, California, USA
Event date
Jan 1, 2003
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)