Analyzing Workflows 课件.ppt

Analyzing Workflows Outline ANALYSIS TECHNIQUES REACHABILITY ANALYSIS STRUCTURAL ANALYSIS Soundness Method with computer support Method without computer support PERFORMANCE ANALYSIS CAPACITY PLANNING Method to calculate capacity requirements Some basic queuing theory to take variability into account ANALYSIS TECHNIQUES The process should contains no grave errors and be designed that the completion times of and capacity required for cases are kept as small as possible. By parallelizing tasks, completion times can usually be reduced. ANALYSIS TECHNIQUES It is useful to analyze it thoroughly prior to its enactment. In doing so, we differentiate between the analysis of The qualitative aspects and mainly concern the logical correctness of the defined process. The quantitative aspects of workflows. mainly concern the performance of the defined process. ANALYSIS TECHNIQUES Begin with a simple technique designed to illustrate all the states attainable in a case. The errors which can be made when drawing up the definition of a process. Based upon the structure of the underlying Petri net, we can decide whether a process definition is correct. ANALYSIS TECHNIQUES Concentrate upon the analysis of quantitative aspects. Using a number of examples to show how to improve the performance of existing processes. Study the subject of capacity planning. REACHABILITY ANALYSIS As learned in Chapter 2, a process can be defined in terms of a Petri net. REACHABILITY ANALYSIS (Cont.) One way to illustrate the behavior is to draw up a reachability graph. REACHABILITY ANALYSIS (Cont.) Reachability graph can embody the behavior of the process being modeled. We can compile a reachability graph, shows that Petri nets are an unambiguous and precise means of description. We used the network shown in Fig 4.4 to model the traffic lights at the junction of two one-way streets. REACHABILITY ANALYSIS (Cont.) the traffic lights operate safely: in every possible state at least