Towards verification of processes in object-orineted model of project managmente

Czech title

Směrem k verifikaci procesů v objektově-orientovaném modelu projektového řízení

Type

conference paper

Language

English

Authors

Bednář David, Ing.
Kreslíková Jitka, doc. RNDr., CSc. (DIFS)

Keywords

Project management, object-oriented model, communication sequential processes, formal specification, verification, FDR2

Abstract

Text is focused on the object-oriented model of project management and description of its behavior by the algebra of communication sequential processes (CSP). The simple process of project management is presented by the activity diagram and formally defined. The tool Failure-divergence Refinement (FDR2) is used for analyze of presented process.

Annotation

Text is focused on the object-oriented model of project management and description of its behavior by the algebra of communication sequential processes (CSP). The simple process of project management is presented by the activity diagram and formally defined. The tool Failure-divergence Refinement (FDR2) is used for analyze of presented process.

Published

2004

Pages

251–256

Proceedings

Proceedings of ASIS 2004

Series

ACTA MOSIS No. 98

ISBN

80-86840-03-4

Place

Ostrava

BibTeX

@inproceedings{BUT17587,
  author="David {Bednář} and Jitka {Kreslíková}",
  title="Towards verification of processes in object-orineted model of project managmente",
  booktitle="Proceedings of ASIS 2004",
  year="2004",
  series="ACTA MOSIS No. 98",
  pages="251--256",
  address="Ostrava",
  isbn="80-86840-03-4"
}