FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL

Wang Zhaoxia, Jianmin Wang, Lijie Wen, Guiming Luo

2011

Abstract

Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirements on business data processing perspective. The model checking method is adopted into our verification approach, which can explore some of the business contraventions of data perspectives in the workflow models. The effectiveness of our works has been validated with the CPN Tools.

References

  1. W. M. P. van der Aalst, K.M. van Hee, A. H. M. ter Hofstede, N.Sidorova, H. M. W. vwerbeek, M. Voorhoeve, and M. T. Wynn, “Soundness of Workflow Nets: Classification, Decidability, and Analysis,” BPM Center Report BPM-08-02, BPMcenter.org, 2008.
  2. G. Booch, J. Rumbaugh, I. Jacobson, The unified modeling language user guide, Addison-Wesley, 2005.
  3. A. Nigam, N.S. Caswell, “Business artifacts: An approach to operational specification,” IBM Systems Journal, 42(3), pp.428-445, 2003.
  4. K. Bhattacharya, R. Hull, and J. Su, “A data-centric design methodology for business processes,” in handbook of research on business process management, 2009.
  5. W. M. P. van der Aalst, “The Application of Petri Nets to Workflow Management,” The Journal of Circuits, Systems and Computers, 8(1), pp.21-66, 1998.
  6. K. Jensen, Colored Petri Nets: basic concepts, analysis methods and practical use. Basic Concepts, Vol. 1, Berlin: Springer Verlag, 1997.
  7. D. Liu, J. Wang, S.C.Chan, J. Sun, and L. Zhang, “Modeling workflow processes with Colored Petri nets,” Computers in Industry, 49(3), pp. 267-281, 2002.
  8. A. Cheng, S. Christensen, and K.H. Mortensen, “Model Checking Coloured Petri Nets Exploiting Strongly Connected Components,” In Proeedings of International Workshop on Discrete Event Systems, 1996, pages 169-177.
  9. R. Harper, Programming in Standard ML. Carnegie Mellon University, 2005.
  10. R. Liu, K. Bhattacharya, F.Y. Wu, “Modeling Business Contexture and Behavior Using Business Artifacts,” In Proceedings of CAiSE 2007, pp.324-339.
  11. K. Bhattacharya, C.E. Gerede, R. Hull, R. Liu, and J. Su, “Towards formal analysis of artifact-centric business process models,” In Proceedings of International Conference on Business Process Management 2007, LNCS, 2007, 288-304.
  12. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu, “Automatic verification of data-centric business processes,” In Proceedings of the 12th international Conference on Database Theory, ACM, New York , 2009, pp. 252- 267.
  13. S. Christensen and K. H. Mortensen. Design/CPN ASKCTL Manual (1996).[Online], Available: http://www.daimi.au.dk/ cpntools-help/_files/ manual.pdf.
  14. K. Jensen, S. Christensen and L. M. Kristensen. CPN Tools State Space Manual. (2006), [Online], Available: http://www.daimi.au.dk/cpntoolshelp/_files/manual.pdf.
  15. N. Trcka, W.M. P. van der Aalst, N. Sidorova, “Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows,” In Proceedings of CAiSE 2009, pp. 425- 439, 2009.
Download


Paper Citation


in Harvard Style

Zhaoxia W., Wang J., Wen L. and Luo G. (2011). FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL . In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-55-3, pages 139-144. DOI: 10.5220/0003408601390144


in Bibtex Style

@conference{iceis11,
author={Wang Zhaoxia and Jianmin Wang and Lijie Wen and Guiming Luo},
title={FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL },
booktitle={Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2011},
pages={139-144},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003408601390144},
isbn={978-989-8425-55-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - FORMALLY MODELING AND ANALYZING DATA-CENTRIC WORKFLOW USING WFCP-NET AND ASK-CTL
SN - 978-989-8425-55-3
AU - Zhaoxia W.
AU - Wang J.
AU - Wen L.
AU - Luo G.
PY - 2011
SP - 139
EP - 144
DO - 10.5220/0003408601390144