Dissertation > Excellent graduate degree dissertation topics show

Research on the Modeling Method of Workflow and Its Model Verification Mdthoe

Author: WangJinPeng
Tutor: DengChengYu
School: Yanshan University
Course: Computer Software and Theory
Keywords: Workflow Workflow model Workflow model validation Pi-Calculus E-government
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 140
Quote: 2
Read: Download Dissertation

Abstract


Workflow technology has become a necessary technology to achieve business process automation and restructuring . Workflow modeling tool is the starting point of the workflow management system , workflow model , workflow modeling tools to design and realize the basis the workflow verification of the correctness of the model is the prerequisite and guarantee for the workflow model can effectively describe the business processes and . Therefore , the workflow model and its validation method is of great significance to the development of workflow technology . First , description of business processes in order to improve the workflow model , the existing workflow model analysis and comparison of the original be extended to the diagram workflow model , the introduction of new modeling elements proposed based extended condition to the workflow model . Extended description of the formal definition and graphic symbols to map workflow model conditions , and a research example Describe the process of modeling to Figure workflow model using the extended condition . Secondly, in order to verify the correctness of the structure of the workflow model , the Pi-Calculus is introduced into the model verification process , are given how to use the description of the Pi-Calculus established workflow model . Pi-Calculus - based workflow model reduction rules , given the reduction rule based on Pi-Calculus workflow model validation algorithms and authentication methods based on an accurate description of the model using the Pi-Calculus , given verification the algorithm's time complexity analysis and verify the correctness of the analysis of the method . Finally, to extend the conditions to Figure workflow model and reduction rules the Pi-Calulus - based workflow verification method based on the design and development of a workflow modeling tool ( YsuSoftWF ) and gives a workflow modeling tool function the demand and YsuSoftWF design system framework , given how to use YsuSoftWF visual modeling and related properties set , and the given tools YsuSoftWF specific applications in the field of e-government , shows how YsuSoftWF application to actual the process of the development and implementation of the project , reflects the value of YsuSoftWF specific projects at the same time confirmed the expansion conditions Figure workflow models and workflow rules the Pi-Calulus - based reduction model validation method to meet the actual needs of 's .

Related Dissertations

  1. Research on the Workflow Technique for the Complex Simulation Systems VV&A,TP391.9
  2. Study on Chinese Local Service-oriented Government Building,D625
  3. The Research on Interaction in the Public Crisis of Government and the News Media in China,D630
  4. The improvement of environmental responsibility of our government,D922.68
  5. Philosophy Thinking on the Corruption Combating and Clean Government Building in the New Period,D262.6
  6. A Discussion on the Local Government’s Ethical Decision-Making,D625
  7. "Social Agent": between Active and Inactive,D625
  8. Study on Current Situation and Constructive Suggestions of Establishment of Our Service-Oriented Government,D630
  9. A Study of Zhu Xi’s Thoughts on Politics and Administration,B244.7
  10. Researcg of Local Government Credit Construction,D630.1
  11. The Rural Masses Event and Grassroots Government’s Countermeasures Study,D631.4
  12. Open government environmental information Legal Issues,D922.68
  13. A Comparative Study about Public Relations Mode on Network of Local Government,D035.5
  14. An Exploration of the Decision-making Mechanism for a Service-oriented Government,D035
  15. The Research on Regulation Reform for Chinese Administrative Monopoly,D035
  16. The Study of China’s Government Failure in the Process of Land Acquisition,D630
  17. Building the Government Image in Public Emergency,D630
  18. The Government’s Liabilities of Public Management,D630
  19. Research on the Problem of Building the Service-Oriented Government of Handan City,D630
  20. The Research on Innovation of BDA’s Public Service System for Enterprises,D630
  21. Research on the Role of Our Government in the Development of Private Higher Learning Institutions,G648.7

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