modeling workflow within distributed systems
DESCRIPTION
Modeling Workflow within Distributed Systems. Yuhong Yan Flydragon Computer consulting,NY,USA Alex Bejan ANCA Tech. RI,USA Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001. Outline. Introduction - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/1.jpg)
Modeling Workflow within Distributed Systems
Yuhong Yan Flydragon Computer consulting,NY,USA
Alex Bejan ANCA Tech. RI,USAComputer Supported Cooperative Work in Design, The Sixt
h International Conference on, 2001
![Page 2: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/2.jpg)
Outline Introduction Workflow Modeling Based on Petri Nets:
State of Art The Definition of Standard Workflow
Network Workflow Network Decomposition Conclusion
![Page 3: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/3.jpg)
Introduction The main purpose of a WFMS is the support
of the definition, execution, registration and control of processes
Modeling business process is the start point of the workflow management techniques
The fact is that many WFMS’s modeling tools are paid less effort than the workflow engine
![Page 4: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/4.jpg)
Introduction (cont.) Modeling tools drawbacks
No mathematical skills are used to analyze the properties of the processes
The current methods are not suitable in large scaled analysis
Consider the Petri Net as the modeling tools in this paper
We present the concept of Standard Workflow Structure and a set of standard workflow blocks
Also present the method of decomposing a large scaled workflow network into sub-networks
![Page 5: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/5.jpg)
Workflow Modeling Based on Petri Nets: State of Art
![Page 6: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/6.jpg)
Workflow Modeling Based on Petri Nets: State of Art
![Page 7: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/7.jpg)
Workflow Modeling Based on Petri Nets: State of Art
![Page 8: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/8.jpg)
The definition of Standard Workflow Networks Observe of the illness structures of a
workflow In Figure1 following the source place are 2
Or-branches. No matter what branch is executed, the token is blocked in p2 or p5 because transition a3 can never be triggered
![Page 9: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/9.jpg)
The definition of Standard Workflow Networks
![Page 10: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/10.jpg)
The definition of Standard Workflow Networks
![Page 11: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/11.jpg)
The definition of Standard Workflow Networks
![Page 12: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/12.jpg)
The definition of Standard Workflow Networks
![Page 13: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/13.jpg)
The definition of Standard Workflow Networks
![Page 14: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/14.jpg)
The definition of Standard Workflow Networks
A SWF-net has the following properties A SWF-net is bounded A SWF-net is live A SWF-net is sound
![Page 15: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/15.jpg)
Workflow Network Decomposition Figure 3 is the whole Petri Net model To decompose a network:
How to divide the whole network How to build the synchronous relation
between sub-networks The properties of the sub-networks
![Page 16: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/16.jpg)
Workflow Network Decomposition How to divide the network
Have to add new start and end places Adding start and end places under the
different sub-network situations How to synchronize different sub-
networks From figure, we can see the CA controls the
start of the SA at a1, while SA controls which branch of the 2 Or-connected branches in CA.
![Page 17: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/17.jpg)
Workflow Network Decomposition
![Page 18: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/18.jpg)
Workflow Network Decomposition
![Page 19: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/19.jpg)
Workflow Network Decomposition
![Page 20: Modeling Workflow within Distributed Systems](https://reader035.vdocuments.site/reader035/viewer/2022062322/56815128550346895dbf47f2/html5/thumbnails/20.jpg)
This paper presents a set of methods for modeling large-scaled workflow network
The soundness of single workflow net and the joint workflow net can be guaranteed
Not suitable in analyzing the undetermined relationships
Self-loop connection might be only one control relation between sub networks
Conclusion