Relation between UML2 activity diagrams and CSP algebra

Authors:
Frantisek Scuglik
Affiliations:
Department of Information Systems, Brno University of Technology, Brno, Czech Republic
Venue:
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
Year:
2005

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
Tool Support for Visualizing CSP in UML

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Experiments in Theorem Proving and Model Checking for Protocol Verification

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Activity Graphs and Processes

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.