Verification of Worklow Management Systems described by Object-Oriented Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU56511" target="_blank" >RIV/00216305:26230/05:PU56511 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Verification of Worklow Management Systems described by Object-Oriented Petri Nets
Original language description
Object-Oriented Petri Nets (OOPN) is suitable for modeling and analysis of concurrent systems. Workflow management system (WfMS) is a software package that can be used to support the definition, management and execution of workflow processes. The PNtalk,based on Object-Oriented Petri Nets can be used to analyze processes in the context of workflow management. This article presented the verification of workflow systems.
Czech name
Verifikace Systémů řizení toků aktivit popsaných Objektově-Orientovanými Petriho Sítěmi
Czech description
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.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F04%2F0780" target="_blank" >GA102/04/0780: Automated methods and tools supporting development of reliable concurrent and distributed systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of XXVIIth International Autumn Colloquium ASIS 2005
ISBN
80-86840-16-6
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
189-198
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Přerov
Event date
Sep 6, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—