Publication Details

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

BEDNÁŘ, D.; KRESLÍKOVÁ, J. Towards verification of processes in object-oriented model of project management. Proceedings of ASIS 2004. ACTA MOSIS No. 98. Ostrava: 2004. p. 251-256. ISBN: 80-86840-03-4.

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

Conference

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

ISBN

80-86840-03-4

Place

Ostrava

BibTeX

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