Conference paperŠČUGLÍK František. Relation Between UML2 Activity Diagrams and CSP algebra. In: Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005, p. 6. ISBN 9608457327.  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:  6 

Proceedings:  Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization 

Conference:  WSEAS Internat. Conference on Simulation, Modeling and Optimisation 

Place:  Kerkyra, GR 

Year:  2005 

ISBN:  9608457327 

Publisher:  World Scientific and Engineering Academy 

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: 

@INPROCEEDINGS{
author = {Franti{\v{s}}ek {\v{S}}{\v{c}}ugl{\'{i}}k},
title = {Relation Between UML2 Activity Diagrams and CSP
algebra},
pages = 6,
booktitle = {Proceedings of the 5th Int. Conf. on Simulation, Modeling
and Optimization},
year = 2005,
location = {Kerkyra, GR},
publisher = {World Scientific and Engineering Academy},
ISBN = {9608457327},
language = {english},
url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7825}
} 
