DocumentCode
539347
Title
A solution to deadlock in implementing synchronizing merges of workflow
Author
Fan, Chuyi ; Xu, Min
Author_Institution
Coll. of Inf. Sci. & Tech, NUAA, Nanjing, China
fYear
2010
fDate
Nov. 30 2010-Dec. 2 2010
Firstpage
498
Lastpage
502
Abstract
The paper proposes a new solution to deadlock in implementing synchronizing merges of workflow models. A kind of process algebra CCS is introduced in the paper to describe the definition of workflow models and the runtime information of activity instances in a workflow process model is described with modal and temporal logic. The solution provided in this paper can be applied to acyclic, cyclic and other complex models to resolve the deadlock. Finally, an algorithm is put forward.
Keywords
concurrency control; process algebra; temporal logic; workflow management software; CCS; deadlock; process algebra; runtime information; synchronizing merges implementation; temporal logic; workflow model; Algebra; Artificial intelligence; Business; Fires; Runtime; Semantics; System recovery;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Information Management and Service (IMS), 2010 6th International Conference on
Conference_Location
Seoul
Print_ISBN
978-1-4244-8599-4
Electronic_ISBN
978-89-88678-32-9
Type
conf
Filename
5713501
Link To Document