Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠČUGLÍK, F.
Originální název
Relation Between UML2 Activity Diagrams and CSP algebra
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
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 formal specification which can then be verified.
Klíčová slova
UML, CSP, Formal Specification, Verification, Automated translation
Autoři
Rok RIV
2005
Vydáno
25. 8. 2005
Nakladatel
World Scientific and Engineering Academy
Místo
Kerkyra
ISBN
960-8457-32-7
Kniha
Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization
Strany od
1234
Strany do
1239
Strany počet
6
BibTex
@inproceedings{BUT21521, author="František {Ščuglík}", title="Relation Between UML2 Activity Diagrams and CSP algebra", booktitle="Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization", year="2005", pages="6", publisher="World Scientific and Engineering Academy", address="Kerkyra", isbn="960-8457-32-7" }