Journal article

ŠČUGLÍK František. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers. Athens: World Scientific and Engineering Academy, 2005, vol. 4, no. 10, pp. 1234-1240. ISSN 1109-2750.
Publication language:english
Original title:Relation between UML2 Activity Diagrams and CSP algebra
Title (cs):Relace mezi Diagramy aktivit z UML2 a CSP algebrou
Pages:1234-1240
Year:2005
Journal:WSEAS Transactions on Computers, Vol. 4, No. 10, Athens, GR
ISSN:1109-2750
Keywords
UML, CSP, Formal Specification, Verification, Automated translation
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k},
   title = {Relation between UML2 Activity Diagrams and CSP
	algebra},
   pages = {1234--1240},
   journal = {WSEAS Transactions on Computers},
   volume = {4},
   number = {10},
   year = {2005},
   ISSN = {1109-2750},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7827}
}

Your IPv4 address: 3.90.56.90
Switch to https