Publication result detail

Relation between UML2 Activity Diagrams and CSP algebra

ŠČUGLÍK, F.

Original Title

Relation between UML2 Activity Diagrams and CSP algebra

English Title

Relation between UML2 Activity Diagrams and CSP algebra

Type

Peer-reviewed article not indexed in WoS or Scopus

Original 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.

English 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

Key words in English

UML, CSP, Formal Specification, Verification, Automated translation

Authors

ŠČUGLÍK, F.

Released

25.08.2005

ISBN

1109-2750

Periodical

WSEAS Transactions on Computers

Volume

4

Number

10

State

Hellenic Republic

Pages from

1234

Pages to

1240

Pages count

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