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

Peer-reviewed article not indexed in WoS or 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

CSP, Model, Formal Specification, UML, Translator, Grammar

Key words in English

CSP, Model, Formal Specification, UML, Translator, Grammar

Authors

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

RIV year

2011

Released

16.12.2003

Book

Journal of Universal Computer Science

ISBN

0948-6968

Periodical

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Volume

9

Number

11

State

Republic of Austria

Pages from

1277

Pages to

1295

Pages count

19

BibTex

@article{BUT42298,
  author="František {Ščuglík} and Miroslav {Švéda}",
  title="Automatically Generated CSP Specifications",
  journal="JOURNAL OF UNIVERSAL COMPUTER SCIENCE",
  year="2003",
  volume="9",
  number="11",
  pages="1277--1295",
  issn="0948-695X"
}