Research Of Workflow Development Platform And Formal Modeling In Workflow Process

With the economic development in the whole world, the enterprise is facing more and more drastic competition. Most competitive enterprise regard administration of the business process as the key to success , workflow emerges as the times require. Both the missive potential market and broad application field of WFMS, which is a system software that defines creates and manages the execution of workflows has drawn more and more attention from institution for scientific research and software corporations all over the world .The more famous ones are FileNet,JetForm,IBM and Action. Our country also has begun to study and develop the production , such as CIMFlow of Tsinghua University is one of the most famous one. Because it is still confined to explore and theoretical research our country is lacking a formal production which is comed into use.Based on the actuality of research and develop in outside, this article provides a special workflow platform, which can be used among different platforms, operation system and can supposes model checking.The article discusses designing and realizing the platform.There are seven chapters in this article. Firstly we present the workflow technology, the developing of the workflow research and the main work .The second part is the overview of workflow product and the workflow management reference model, then provide a special workflow platform. The third part, we present the global structure of based on activity network tool and introduce the key technique and characteristic of the tool. In the forth chapter we present the global structure of workflow engineer server and introduce the design patterns and component of the system. We present the research about workflow model checking, and provide an idea of using Process Algebra in the fifth part. We give an example to display the workflow platform in the sixth part. In the seventh part, we sum up and introduce the next work.