Publication Details

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.
Czech title
Type
conference paper
Language
English
Authors
Ščuglík František, Ing., Ph.D. (CM-SFE)
Keywords

Formal specification, UML, Digram, Process, behavior

Abstract

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.

Published
2003
Pages
165–169
Proceedings
11. International Conference on Software, Telecommunications & Computer Networks
ISBN
953-6114-64-X
Publisher
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Place
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"
}
Back to top