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
ICEBE 2006
Conference paper
Guided reasoning of complex E-business process with business bug patterns
Abstract
With the growing complexity of e-business applications and the urgent need for ensuring its reliability, much effort has been made to advocate the application of model checking in probing hidden flaws in these applications. This work devotes itself to the performance enhancement in reasoning e-business processes with model checking. Our major contribution lies in: (1) A set of business bug patterns are extracted from workflow patterns to exploit existing business knowledge in probing undesired violations in e-business processes; (2) The semantics of business bug patterns are formally captured with the IEEE standard of PSL; (3) Guided verification algorithms are development based on the above findings to accelerate the reasoning of complex e-business applications. Their efficiencies are testified with three concrete business cases in banking and manufacturing domains with our business process verification toolkit of OPAL. © 2006 IEEE.