Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56432" target="_blank" >RIV/00216305:26230/05:PU56432 - 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
Relation Between UML2 Activity Diagrams and CSP algebra
Popis výsledku v původním jazyce
The computer systems grows from year to year and they impact our everyday live. Therefore, their failure is unacceptable. One of the techniques, how to increase reliability of a system, is the utilization of formal methods and verification. Unfortunately, most formal methods are mathematically based and system developers refuse to learn such new techniques. This paper aims to present a possibility how to automatically transform a UML activity diagram well known by most system developers into a CSP formaal specification which can then be verified.
Název v anglickém jazyce
Relation Between UML2 Activity Diagrams and CSP algebra
Popis výsledku anglicky
The computer systems grows from year to year and they impact our everyday live. Therefore, their failure is unacceptable. One of the techniques, how to increase reliability of a system, is the utilization of formal methods and verification. Unfortunately, most formal methods are mathematically based and system developers refuse to learn such new techniques. This paper aims to present a possibility how to automatically transform a UML activity diagram well known by most system developers into a CSP formaal specification which can then be verified.
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/GA102%2F05%2F0723" target="_blank" >GA102/05/0723: Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2005
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 5th Int. Conf. on Simulation, Modeling and Optimization
ISBN
960-8457-32-7
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
1234-1239
Název nakladatele
World Scientific and Engineering Academy
Místo vydání
Kerkyra
Místo konání akce
Korfu
Datum konání akce
17. 8. 2005
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—