Detail výsledku

Automatically Generated CSP Specifications

ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, vol. 9, no. 11, p. 1277-1295. ISSN: 0948-6968.
Typ
článek v časopise
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D.
Švéda Miroslav, prof. Ing., CSc.
Abstrakt

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.

Klíčová slova

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

Rok
2003
Strany
1277–1295
Časopis
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, roč. 9, č. 11, ISSN 0948-6968
Kniha
Journal of Universal Computer Science
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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina informačních a databázových systémů (VZ IS)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru