Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification

Bing Li, Junichi Iijima

Abstract

Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previous research and informal models used in the industry prevents these approaches from large-scale industrial applications. This paper proposes a hybrid approach to bridge the gap between XPDL and Situation Calculus. XPDL defines a business process informally while Situation Calculus provides a formal specification to enable the function of BPV. The gap between them will be bridged by a devised language – XSSL, based on which the process model will be logically verified.

References

  1. Havey, M.: Essential Business Process Modeling. O'Reilly, 1st edition (2005)
  2. Marinescu, D.C.: Internet-Based Workflow Management: Towards a Semantic Web. Wiley-Interscience, New York (2002)
  3. Van Der Aalst, W.M.P., Ter Hofsede, A.H.M.: Verification Of Workflow Task Structures: A Petri-Net-Based Approach. Information System, Vol. 25, No. 1, 43-69 (2000)
  4. Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Weske, M.: Business Process Management: A Survey. BPM 2003, LNCS 2678. Springer (2003) 1-12
  5. Schumann, J. M.: Automated theorem proving in software engineering. Springer (2001)
  6. Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. LNCS 2617, Springer (2003)
  7. Janssens, G.K., Verelst, J. and Weyn, B.: Techniques for Modelling Workflows and Their Support of Reuse. Business Process Management, LNCS1806, Springer (2000) 1-15
  8. Mukherjee, S., Davulcu, H., Kifer, M., Senkul, P. and Yang, G.: Logic Based Approaches to Workflow Modelling and Verification. Logics for Emerging Applications of Databases, Springer (2003)
  9. Koubarakisa, M., Plexousakis, D.: A formal framework for business process modelling and design. Information Systems 27 (2002) 299-319
  10. Iijima, J.: Formal Approach for Business Process Modeling. Proceedings of National Conference of Japan Society for Management Information (1999) 151-154
  11. WfMC: Process Definition Interface - XML Process Definition Language. WFMC-TC1025, Version 2.0 (2005)
  12. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press (2001)
  13. Li, B., Iijima, J.: Formal Verification of XPDL-based Business Process Definition. Submitted to the International Journal of Business Process Integration and Management (2007)
Download


Paper Citation


in Harvard Style

Li B. and Iijima J. (2007). Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 151-156. DOI: 10.5220/0002416501510156


in Bibtex Style

@conference{msvveis07,
author={Bing Li and Junichi Iijima},
title={Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={151-156},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002416501510156},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification
SN - 978-972-8865-95-5
AU - Li B.
AU - Iijima J.
PY - 2007
SP - 151
EP - 156
DO - 10.5220/0002416501510156