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

Type

conference paper

Language

English

Authors

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

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.

Keywords

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

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

ISBN

80-86840-03-4

Publisher

Marq software s.r.o.

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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-86840-03-4"
}

Research groups

Information and Database Systems Research Group (RG IS)

Departments

Department of Information Systems (DIFS)