Dissertation > Excellent graduate degree dissertation topics show

Research on Workflow Modeling and Verification Based on Workflow Truth Table

Author: WuBaiTong
Tutor: TangDa
School: Dalian University of Technology
Course: Applied Computer Technology
Keywords: Workflow modeling UML Workflow truth table Verification
CLC: TP311.52
Type: Master's thesis
Year: 2008
Downloads: 62
Quote: 4
Read: Download Dissertation

Abstract


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.

Related Dissertations

  1. The Research and Design of Middle-Small Enterprises Purchase-Sales-Inventory Management System,TP311.52
  2. Research on the Workflow Technique for the Complex Simulation Systems VV&A,TP391.9
  3. Design and Simulation of Flight Management Computer System CDU Unit in Flight Simulation,TP391.9
  4. Technology for Localization Attack Detection in Wireless Sensor Networks,TP212.9
  5. A Feasibility Study of IMRT Dosimetric Verification Using Radiochromic Film,R815
  6. Research and Implementation of the Conflict Resolution in Process Modeling of Magic Platform,TP311.5
  7. Method of mapping UML models to XMI,TP311.5
  8. The Application and Research on Web Testing Method Based on Model,TP311.53
  9. Funcational Verification of Multifunction Vehicle Bus Controllor,TP273
  10. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  11. The Research on Transformation from PIM to PSM for Seam,TP311.52
  12. Analyze、Design and Realize the Stadium Management System Based on UML,TP311.52
  13. Sdesign and Implementation of Course Scheduling Management System,TP311.52
  14. The oscillator Road Science and Technology Human Resource Management System,TP311.52
  15. The Research and Development of Project Management System for Financial Equipment Industry Based on PDM,TP311.52
  16. Design and Implementation of family planning management system in Yongkang,TP311.52
  17. Design and Implementation of Education Bureau Office Automation System,TP311.52
  18. Educational Administration and Implementation of the System,TP311.52
  19. Research on the Low-cost RFID Systems Security Protocol,TP391.44
  20. The Design and Implementation of a Proposal Management System,TP311.52
  21. The Design and Implementation of the Management System for Engineering Project,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile