Verification of Data Aware Business Process Models: A Methodological Survey of Research Results and Challenges
Business Process Management is a discipline that gives a systematic approach to the development of more efficient and effective organizations, enabling quick adaptation to the changes of the business environment. For this reason modeling languages such as BPMN  have a wide adoption in modern organizations. Such modeling languages are used for the design and reengineering of Business Processes and have the advantage of having a representation that is not only easy to understand by all the stakeholders but also machine processable.
However any executable model of a business process could contain potential problems (just like any computer software), so there are several research branches focused on formal verification of the models. The verification is not limited to check the correctness of the model but also to verify properties of the model, such as conformance to business rules.
This short paper presents a survey of recent approaches to verification of data-aware business process models and identifies a range of open research challenges.
Keywordsbusiness process re-engineering business process modeling formal verification static verification logic programming
Unable to display preview. Download preview PDF.
- 1.OMG: Business Process Model and Notation (BPMN), Version 2.0 (January 2011)Google Scholar
- 3.van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: Yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)Google Scholar
- 5.Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)Google Scholar
- 7.Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proceedings of the 12th International Conference on Database Theory, ICDT 2009, pp. 252–267. ACM, New York (2009)Google Scholar
- 8.Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3), 22 (2012)Google Scholar
- 12.Gelfond, M.: Answer sets. In: van Harmelen, F., van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier Science, San Diego (2007)Google Scholar
- 14.Proietti, M., Smith, F.: Reasoning on data-aware business processes with constraint logic. In: Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2014). CEUR-WS, vol. 1293 (2014)Google Scholar