Detecting Runtime Business Process Compliance with Artifact Lifecycles
Detecting business process compliance in runtime is the complementary to static compliance checking in the stage of process design, and allows checking whether an execution of a business process satisfies a given constraint. In this paper, runtime compliance checking is used for artifact-centric business process and artifact lifecycles are treated as business constraints. Previous methods for runtime compliance checking mainly put focus on activities in business process and lose the attention for data. In this work we concentrate on both the evolution of artifacts (data) and services (activities) to identify the frontier between decidability and undecidability of the runtime compliance problem. We also provide decidable results and the implement method under regular and context-free artifact lifecycles.
KeywordsBPM artifact compliance decidability
- 4.Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: International Conference on Database Theory (ICDT 2009), pp. 252–267. ACM Press (2009)Google Scholar
- 5.Rozinat, A., Jong, I., Gunther, C., Aalst, W.: Conformance Analysis of ASML’s Test Process. In: GRCIS 2009, vol. 459, pp. 1–15. CEUR-WS.org (2009)Google Scholar
- 7.Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132–147. Springer, Heidelberg (2011)CrossRefGoogle Scholar
- 8.Ying, W., Guohua, L., Zhen, H., et al.: The Research on Validity of Artifact in BPM. In: International Conference on Business Management and Electronic Information, pp. 15–18. IEEE, Piscataway (2011)Google Scholar