|
Published Articles >> Table of Contents >> Abstract
IEEE International Conference on e-Business Engineering (ICEBE'06)
pp. 195-202
Guided Reasoning of Complex E-Business Process with Business Bug Patterns
Ke Xu, Xi’An Jiao Tong University, China
Ying Liu, IBM China Research Laboratory, Beijing, China
Cheng Wu, Tsinghua University, Beijing, China
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICEBE.2006.54
Send link to a friend
| 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 ebusiness
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.
|
 Additional Information
|
Citation:
Ke Xu, Ying Liu, Cheng Wu,
"Guided Reasoning of Complex E-Business Process with Business Bug Patterns,"
icebe,
pp. 195-202,
IEEE International Conference on e-Business Engineering (ICEBE'06),
2006
|
|
