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.

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