Detail výsledku

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: Marq software s.r.o., 2004. p. 251-256. ISBN: 80-86840-03-4.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bednář David, Ing., FIT (FIT), UIFS (FIT)
Kreslíková Jitka, doc. RNDr., CSc., UIFS (FIT)
Abstrakt

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.

Klíčová slova

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

Anotace

Text je zaměřen na objektově-orientovaný model projektového řízení a popis jeho chování pomocí algebry komunikujících sekvenčních procesů (CSP). Jednoduchý proces projektového řízení je reprezentován diagramem aktivit a formálně definován. Nástroj FDR2 je použit pro analýzu prezentovaného procesu.

Rok
2004
Strany
251–256
Sborník
Proceedings of ASIS 2004
Řada
ACTA MOSIS No. 98
Konference
ASIS2004 - 26th International Autumn Colloquium - Advanced Simulation of Systems
ISBN
80-86840-03-4
Vydavatel
Marq software s.r.o.
Místo
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"
}
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