Detail výsledku

Relation between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, 2005, vol. 4, no. 10, p. 1234-1240. ISSN: 1109-2750.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D., UIFS (FIT)
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

Rok
2005
Strany
1234–1240
Časopis
WSEAS Transactions on Computers, roč. 4, č. 10, ISSN 1109-2750
BibTeX 
@article{BUT42908,
  author="František {Ščuglík}",
  title="Relation between UML2 Activity Diagrams and CSP algebra",
  journal="WSEAS Transactions on Computers",
  year="2005",
  volume="4",
  number="10",
  pages="1234--1240",
  issn="1109-2750"
}
Projekty
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru