Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language)...
详细信息
ISBN:
(纸本)9783642330681;9783642330674
Business process verification is an important topic in business process management (BPM). The verification of standard UML Activity Diagram is not easy due to lack of mature tools. YAWL (yet another workflow language) has a formal semantics based on Petri net;verification of YAWL model seems easier than other modeling languages such as UML-AD. A series of mature verification tools has been released (Woflan, WofYAWL, ProM) based on YAWL to find structural errors, such as deadlocks in the model. These tools can be used for verifying UML-AD models if they can be transformed to YAWL models. The most challenging problem is that some control-flow patterns in UML-AD can't be transformed via an element-to-element mapping. To solve this problem we provide a control-flow pattern based method for transforming a UML-AD model to YAWL. We regard these patterns that need to be transformed as whole model segments, pick them out from the UML-AD model and transform the left part using an element-to-element mapping as well as an object flow transforming method. We subsequently transform the picked-out patterns via patterns-based transformation and combine all the transformed YAWL segments to a new YAWL net.
Nowadays business processes are main concern in enterprises systems. The growing systems affect business process changes. Business processes always grow in order to fulfill the business activities. In this paper, we u...
详细信息
ISBN:
(纸本)9781479983865
Nowadays business processes are main concern in enterprises systems. The growing systems affect business process changes. Business processes always grow in order to fulfill the business activities. In this paper, we use a graph model called Petri Nets to analyze complex business processes. A Petri Net is the most usable model which often represents a process system in business concerns or others. Business processes are modeled using Petri Nets;then, the Petri Nets are separated into simpler fragments in order to make the analysis easier. In this context, we propose a method for developing an effective and efficient workflow repository system by using minimal functional subnet concept for generating common workflow in Petri Nets models. Thus process could lead to compose a new workflow. The results show that a complex business process can be decomposed into functional subnets which are smaller as well as simpler fragments of a complex business process. Then, the functional subnets are classified based on control-flow patterns in order to identify subnet roles in work-flow management. Later, we extract common fragments of functional subnets and use them for composing a new models of Petri Nets workflow required by user.
暂无评论