Research On Workflow Modeling And Verification Based On Workflow Truth Table

Along with the non-stop changing business requirements, business process design and optimization become main measures for competitive enterprises. As the operating system of enterprises, workflow has already turned into an essential skill for the automation and optimization of business process. Workflow management system is a system software including modeling tool, engine, work list, monitor, etc. The start point of workflow management system is the modeling tool in which the verification of the workflow is the kernel function. Only when modeling and verification are solved, can workflow be used widely.This essay analyses the traditional workflow modeling method, shows the advantage and disadvantage of the traditional workflow modeling method, analyses the advantage of UML in workflow modeling and introduces the different model constructed with UML. We design and develop a workflow modeling tool called XWfdt which takes use of UML as well as saves the workflow model as XPDL. All of these helping the user easily model the business process, the workflow model can be shared on several different workflow platforms. XWfdt can also verify the workflow model about grammar, structure and semantic.Verification of workflow is to check the modeled workflow according to some accurate principles. We show four typical anomalies in structure, deadlock, multi-instance, activities without termination or without activation and infinite cycles. Propositional logic is involved to present the workflow truth table and the relationship between workflow truth table and those four anomalies. After that, we propose a verification approach based on workflow truth table. In this approach, workflow model is presented as a set of logical formulas and every activity is assigned a truth value. During this process, a workflow truth table is made to verify the workflow model in terms of some rules. The algorithm finishes within polynomial time, takes spaces in proportion to the number of XOR-Split node.Finally, an application of hotel reservation is introduced with its process definition and verification solution based on workflow truth table.