Verifying workflow processes: a transformation-based approach |
| |
Authors: | Haiping Zha Wil M P van der Aalst Jianmin Wang Lijie Wen Jiaguang Sun |
| |
Affiliation: | 1. Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China 3. School of Software, Tsinghua University, Beijing, 100084, China 4. Institute of Specifications and Standards, Shanghai, 200235, China 2. Eindhoven University of Technology, P.O. Box 513, 5600?MB, Eindhoven, The Netherlands
|
| |
Abstract: | Workflow modeling is a challenging activity and designers are likely to introduce errors, especially in complex industrial
processes. Effective process verification is essential at design time because the cost of fixing errors during runtime is
substantially higher. However, most user-oriented workflow modeling languages lack formal semantics that hinders such verification.
In this paper, we propose a generic approach based on the model transformation to verify workflow processes. The model transformation
includes two steps: first, it formalizes the desirable semantics of each modeling element; secondly, it translates a workflow
process with clear semantics to an equivalent Petri net. Thus, we can verify the original workflow process using existing
Petri net theory and analysis tools. As a comprehensive case study, verifying workflow processes in an industrial modeling
language (TiPLM) is presented. Experimental evaluations on verifying real-world business processes validate our approach. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|