Detail publikace

Visualizing formal specifications using diagrams

Originální název

Visualizing formal specifications using diagrams

Anglický název

Visualizing formal specifications using diagrams

Jazyk

en

Originální 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.

Anglický 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.

BibTex


@inproceedings{BUT10901,
  author="František {Ščuglík}",
  title="Visualizing formal specifications using diagrams",
  annote="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.",
  address="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  booktitle="11. International Conference on Software, Telecommunications & Computer Networks",
  chapter="10901",
  institution="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  year="2003",
  month="october",
  pages="165",
  publisher="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  type="conference paper"
}