Research of Workflow Modeling Based on Concurrent Transaction Logic

Workflow modeling technology has seen an explosion of interest and advances in recent years. Numerous technical challenges have been addressed to provide concurrent workflow management systems which are required by dynamic application domains. Concurrent transaction logic (CTR) has become one of the most exciting methods for concurrent business process modeling. This paper presents a novel modeling method for flexible workflow specification. The method extends sequential transaction logic with logical connectives for concurrent execution of processes. It presents the semantic specification for workflow structures which are based on the proposed extended semantic logic. An experimental case is put forward to show that the proposed method is appropriate for modeling concurrent workflow systems under dynamic environments