Detail publikace

Visualizing formal specifications using diagrams

ŠČUGLÍK, F. Visualizing formal specifications using diagrams. 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003. p. 165-169. ISBN: 953-6114-64-X.
Název česky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

Formal specification, UML, Digram, Process, behavior

Abstrakt

Although the verification process of formal models represent a long-time procedure, it is applied on more and more systems because finding and eliminating of consequent error stands for high costs. This contribution develops a front-end interface for system developers which provides automatically generation of system's formal models utilizing the algebra of Communicating Sequential Processes. The discussed tool stem from UML composite states diagrams and utilizes behavioral diagrams to specify the systems. The paper includes the used subset of CSP and the developed technique for automated model specification.

Anotace
Rok
2003
Strany
165–169
Sborník
11. International Conference on Software, Telecommunications & Computer Networks
ISBN
953-6114-64-X
Vydavatel
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Místo
Split
BibTeX 
@inproceedings{BUT10901,
  author="František {Ščuglík}",
  title="Visualizing formal specifications using diagrams",
  booktitle="11. International Conference on Software, Telecommunications & Computer Networks",
  year="2003",
  pages="165--169",
  publisher="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  address="Split",
  isbn="953-6114-64-X"
}
Nahoru