A Distributed Workflow System Modeling Method:DWfS_UMLOPN

With the extensive application of distributed workflow system, system抯 complicated degree becomes more advanced. How to model distributed work眑ow system with oriented object method turns into the hotspots in workflow research field. This thesis, firstly reviews two kinds of workflow system modeling method and technology: Petri nets and UML. Petri nets can make strict analyze and imitate in system抯 dynamic action but there are more nodes in modeling realistic system, it also lack of effective requirement analyze and modeling method theory guide. Unified Modeling Language is a standard modeling language for visual construct software system model. It syncretizes many merits of Object-Oriented modeling method and language. It describes the user抯 requirement and the system抯 static character and dynamic action clearly. But at present, it also short of strict and valid versify method and analyzing simulated method in the describing system model with UML. These limit their application in the modeling distributed workflow system field.The thesis puts forward a distributed workflow system modeling method:DWIS_UMLOPN. This method use UML and object Petri nets technology and put their advantage together. It provides a full process supporting requirement analysis, model describe, model analysis and simulation, and model implementation. Based -w on UML, we use UML extend mechanism to process specific property develop about workflow: customize stereotype such as contract, port, collaborate, etc. And set up contract hierarchical system structure. For strict mathematical analysis and simulation, we also provide a convertible mechanism from UML model to Object Petri Nets and a Object Petri Nets?formal analysis method. Analyze the complicated dynamic relation among wofld7low (work item) in distributed workflow system by Object Petri Nets?strong analysis and simulation capability. With the result of analysis, the model can be improved validly. The finally determined model can realize the conversion to program code easily.Based on discuss, compare, analysis and research, this thesis complete the design and research of static and dynamic model of general platform of remote test process with DWtS_UMLOPN method. It give the main function module of system, complete the design of details, analysis the sequence, concurrent, conflict, synchronic, resource share and competition of system process action in detail.