About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
SITIS 2013
Conference paper
Pattern-based model checking for dynamic analysis of workflow processes with temporal constraints
Abstract
The current fast-changing business environment requires workflow management systems to provide the ability of dynamic analysis when processes are edited or updated at both design time and execution time. In this paper, based on model checking we present a new approach of dynamic analysis on temporal properties after changes at design time and execution time. Our approach firstly records and analyzes the patterns by edit operations of processes. Secondly, the processes are automatically maintained by corresponding rules in UPPAAL. Finally, temporal constraints are checked by UPPAAL in background mode, and the results are reported to designers immediately. We apply the approach in a real business scenario to illustrate its advantages: practicable, flexible and efficient. © 2013 IEEE.