Detail publikačního výsledku

Relation between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F.

Originální název

Relation between UML2 Activity Diagrams and CSP algebra

Anglický název

Relation between UML2 Activity Diagrams and CSP algebra

Druh

Článek recenzovaný mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

UML, CSP, Formal Specification, Verification, Automated translation

Autoři

ŠČUGLÍK, F.

Vydáno

25.08.2005

ISSN

1109-2750

Periodikum

WSEAS Transactions on Computers

Svazek

4

Číslo

10

Stát

Řecká republika

Strany od

1234

Strany do

1240

Strany počet

7

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"
}