Result Details

Relation Between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F. Relation Between UML2 Activity Diagrams and CSP algebra. Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1234-1239. ISBN: 960-8457-32-7.
Type
conference paper
Language
English
Authors
Ščuglík František, Ing., Ph.D., DIFS (FIT)
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.

Keywords

UML, CSP, Formal Specification, Verification, Automated translation

Published
2005
Pages
1234–1239
Proceedings
Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization
Conference
WSEAS Internat. Conference on Simulation, Modeling and Optimisation
ISBN
960-8457-32-7
Publisher
World Scientific and Engineering Academy
Place
Kerkyra
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="1234--1239",
  publisher="World Scientific and Engineering Academy",
  address="Kerkyra",
  isbn="960-8457-32-7"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top