Result Details

Automatically Generated CSP Specifications

ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003. p. 41-47. ISBN: 1-85769-189X.

Type

conference paper

Language

English

Authors

Ščuglík František, Ing., Ph.D., FIT (FIT)
Švéda Miroslav, prof. Ing., CSc.

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

Published

2003

Pages

41–47

Proceedings

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

Conference

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

ISBN

1-85769-189X

Publisher

University of Stirling

Place

Huntsville, AL

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

Projects

Embedded Control Systems and their Inter-Communication, GACR, Standardní projekty, GA102/02/1032, start: 2002-01-01, end: 2004-12-31, completed

Departments

Department of Information Systems (DIFS)
Faculty of Information Technology (FIT)