Towards verification of processes in object-oriented model of project management

Czech title

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

Type

conference paper

Language

english

Authors

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

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

Conference

ASIS2004 - 26th International Autumn Colloquium - Advanced Simulation of Systems, Sv. Hostýn, CZ

ISBN

80-86840-03-4

Place

Ostrava, CZ

BibTeX

@INPROCEEDINGS{FITPUB7649,
   author = "David Bedn\'{a}\v{r} and Jitka Kresl\'{i}kov\'{a}",
   title = "Towards verification of processes in object-oriented model of project management",
   pages = "251--256",
   booktitle = "Proceedings of ASIS 2004",
   series = "ACTA MOSIS No. 98",
   year = 2004,
   location = "Ostrava, CZ",
   ISBN = "80-86840-03-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7649"
}