Detecting runtime business process compliance with artifact lifecycles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7759 LNCS, Issue , 2013, Pages 426-432

  He, Qi ^a,b  

^a FUDAN UNIVERSITY   (China)

^b SHANGHAI OCEAN UNIVERSITY   (China)

Author keywords

Artifact; BPM; Compliance; Decidability

Indexed keywords

ARTIFACT; ARTIFACT-CENTRIC; BPM; BUSINESS CONSTRAINTS; BUSINESS PROCESS; BUSINESS PROCESS COMPLIANCES; COMPLIANCE; COMPLIANCE CHECKING;

COMPUTABILITY AND DECIDABILITY;

COMPLIANCE CONTROL;

EID: 84892933109     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-37804-1_45     Document Type: Conference Paper

References (8)

1. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003)
2. Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards Formal Analysis of Artifact-Centric Business Process Models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007)
3. Gerede, C.E., Su, J.: Specification and Verification of Artifact Behaviors in Business Process Models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181-192. Springer, Heidelberg (2007)
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)
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)
6. Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance Checking of Interacting Processes with Overlapping Instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 345-361. Springer, Heidelberg (2011)
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)
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)