Specifying Component Behavior with Port State Machines
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F04%3A00003298" target="_blank" >RIV/00216208:11320/04:00003298 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Specifying Component Behavior with Port State Machines
Original language description
In this paper, we propose the Port State Machine to model the communication on a Port of a UML 2.0 component, to capture the interleaving and nesting of operation calls on provided and required interfaces of the Port.
Czech name
Specifikování chování komponent s Port State Machines
Czech description
Tento článek navrhuje Port State Machines, jako nástroj pro modelování komunikace na Portu UML 2.0 komponenty, aby bylo možné zachytit proložení a vnoření volání operací na poskytovaných (provided) a požadovaných (required) rozhraních Portu.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F03%2F0672" target="_blank" >GA102/03/0672: Research of methods and tools for verification of embedded computer system fault tolerance</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Electronic Notes in Theoretical Computer Science
ISSN
—
e-ISSN
—
Volume of the periodical
101C
Issue of the periodical within the volume
1
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
25
Pages from-to
129-153
UT code for WoS article
—
EID of the result in the Scopus database
—