Publication result detail

Automatically Generated CSP Specifications

ŠČUGLÍK, F.; ŠVÉDA, M.

Original Title

Automatically Generated CSP Specifications

English Title

Automatically Generated CSP Specifications

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.

English abstract

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.

Keywords

Formal specifications, CSP, reuse, reverse engineering

Key words in English

Formal specifications, CSP, reuse, reverse engineering

Authors

ŠČUGLÍK, F.; ŠVÉDA, M.

Released

15.04.2003

Publisher

University of Stirling

Location

Huntsville, AL

ISBN

1-85769-189X

Book

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003

Pages from

41

Pages to

47

Pages count

7

BibTex

@inproceedings{BUT13957,
  author="František {Ščuglík} and Miroslav {Švéda}",
  title="Automatically Generated CSP Specifications",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
  year="2003",
  pages="41--47",
  publisher="University of Stirling",
  address="Huntsville, AL",
  isbn="1-85769-189X"
}