Publication Details

Visualizing formal specifications using diagrams

ŠČUGLÍK František. Visualizing formal specifications using diagrams. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, p. 5. ISBN 953-6114-64-X.
Czech title
Type
conference paper
Language
english
Authors
Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)
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
5
Proceedings
11. International Conference on Software, Telecommunications & Computer Networks
Conference
2003 International Conference on Software, Telecommunications and Computer Networks, Split, HR
ISBN
953-6114-64-X
Publisher
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Place
Split, HR
BibTeX 
@INPROCEEDINGS{FITPUB7314,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k",
   title = "Visualizing formal specifications using diagrams",
   pages = 5,
   booktitle = "11. International Conference on Software, Telecommunications \& Computer Networks",
   year = 2003,
   location = "Split, HR",
   publisher = "Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
   ISBN = "953-6114-64-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7314"
}
Back to top