Detail publikace

Verification of Worklow Management Systems described by Object-Oriented Petri Nets

ČEŠKA, M., TURAKHODJAEVA, N. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. In Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava: 2005. p. 189-198. ISBN: 80-86840-16-6.
Název česky
Verifikace Systémů řizení toků aktivit popsaných Objektově-Orientovanými Petriho Sítěmi
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, prof. RNDr., CSc.
Turakhodjaeva Nasibakhon, Ing.
Klíčová slova

Workflow, Workflow Management Systems, Object-Oriented Petri Nets, PNtalk, analysis, verification.

Abstrakt

Prezentovaný článek představuje metody formální analýzý Systémů řizení toků aktivit (workflow) popsané Objektově-orientovanými Petriho sítěmi. Workflow koordinuje postup uživatelů, distribuuje pracovní úlohy a informace mezi uživateli a řídí zpracování jednotlivých úloh a aktivit obchodního (byznys) procesu s cílem dosažení definovaného cíle. Správnost, efektivnost, výkonnost byznys procesů podporavané Systémy řízení toků aktivit jsou důležité pro organizaaci. Cílem je verifikace použitelnosti Objektově-opientovaných Petriho sítí v Systémech řízení toků aktivit.

Rok
2005
Strany
189–198
Sborník
Proceedings of XXVIIth International Autumn Colloquium ASIS 2005
ISBN
80-86840-16-6
Místo
Ostrava
BibTeX 
@inproceedings{BUT18075,
  author="Milan {Češka} and Nasibakhon {Turakhodjaeva}",
  title="Verification of Worklow Management Systems described by Object-Oriented Petri Nets",
  booktitle="Proceedings of XXVIIth International Autumn Colloquium ASIS 2005",
  year="2005",
  pages="189--198",
  address="Ostrava",
  isbn="80-86840-16-6"
}
Nahoru