Diagnostic information for compliance checking of temporal compliance requirements

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

Volumn 7908 LNCS, Issue , 2013, Pages 304-320

  Ramezani Taghiabadi, Elham ^a   Fahland, Dirk ^a   Van Dongen, Boudewijn F ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

compliance checking; data aware conformance checking; Petri nets; process mining

Indexed keywords

BUSINESS PROCESS MANAGEMENT; COMPLIANCE CHECKING; CONFORMANCE CHECKING; MULTI-PERSPECTIVE; OPERATIONAL PROCESS; PROCESS EXECUTION; PROCESS MINING; SERVICE LEVEL AGREEMENTS;

ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS; PETRI NETS; SYSTEMS ENGINEERING;

COMPLIANCE CONTROL;

EID: 84879872775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38709-8_20     Document Type: Conference Paper

References (24)

1. van der Aalst,W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis.Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery 2(2), 182-192 (2012)
2. Abid, N., Dal Zilio, S., Le Botlan, D.: Real-time specification patterns and tools. In: Stoelinga, M., Pinger, R. (eds.) FMICS 2012. LNCS, vol. 7437, pp. 1-15. Springer, Heidelberg (2012)
3. Adriansyah, A., van Dongen, B., van der Aalst, W.M.: Conformance Checking Using Cost- Based Fitness Analysis. In: EDOC 2011, pp. 55-64 (2011)
4. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411-420 (1999)
5. Eder, J., Panagos, E., Rabinovich, M.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286-300. Springer, Heidelberg (1999)
6. Ge, N., Pantel, M., Crégut, X.: Formal specification and verification of task time constraints for real-time systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 143-157. Springer, Heidelberg (2012)
7. Giblin, C., Liu, A.Y., Müller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: Frontiers in Artificial Intelligence and Applications, JURIX 2005, vol. 134, pp. 37-48. IOS Press (2005)
8. Kharbili, M.: Business process regulatory compliance management solution frameworks: A comparative evaluation. In: APCCM 2012. CRPIT, vol. 130, pp. 23-32. ACS (2012)
9. Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems 2(4), 255-299 (1990)
10. Lanz, A., Weber, B., Reichert, M.: Time patterns in process-aware information system - a pattern based analysis - revised version. Tech. Rep. UIB-2009, University of Ulm, Germany (2009)
11. Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS 2010 and EMMSAD 2010. LNBIP, vol. 50, pp. 94-107. Springer, Heidelberg (2010)
12. de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning Event Logs and Declarative Process Models for Conformance Checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82-97. Springer, Heidelberg (2012)
13. Leoni, M., Aalst, W.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. Tech. Rep. BPMCenter Report BPM-13-05, BPMcenter.org (2013)
14. Li, H., Yang, Y.: Verification of temporal constraints for concurrent workflows. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds.) APWeb 2004. LNCS, vol. 3007, pp. 804-813. Springer, Heidelberg (2004)
15. Li, H., Yang, Y.: Dynamic checking of temporal constraints for concurrent workflows. Electronic Commerce Research and Applications 4(2), 124-142 (2005)
16. Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82-99. Springer, Heidelberg (2011)
17. Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol. 56. Springer, Heidelberg (2010)
18. Niculae, C.C.: Time patterns in workflow management systems. Tech. Rep. BPM-11-04, BPM Center Report, BPMcenter.org (2011)
19. Pitzmann, B., Powers, C., Waidner, M.: Ibm's unified governance framework (ugf). Tech. rep., IBM Research Division, Zurich (2007)
20. Pozewaunig, H., Eder, J., Liebhart, W.: epert: Extending pert for workflow management system. In: ADBIS, pp. 217-224. Nevsky Dialect (1997)
21. Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did I misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 262-278. Springer, Heidelberg (2012)
22. Ramezani, E., Fahland, D., van Dongen, B., van der Aalst, W.: Diagnostic information in temporal compliance checking. Tech. rep. BPM Center Report BPM-12-17, BPMcenter.org (2012)
23. Ramezani, E., Fahland, D., van der Werf, J.M., Mattheis, P.: Separating Compliance Management and Business Process Management. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 459-464. Springer, Heidelberg (2012)
24. Westergaard, M., Maggi, F.M.: Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In: CoopIS 2012. Springer (2012)