Visualization of compliance violation in business process models

Lecture Notes in Business Information Processing

Volumn 43 LNBIP, Issue , 2010, Pages 182-193

  Awad, Ahmed ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; CRIME; ENTERPRISE RESOURCE MANAGEMENT; VISUALIZATION;

ANTI-PATTERNS; BUSINESS ACTIVITIES; BUSINESS PROCESS MODEL; COMPLIANCE CHECKING; COMPLIANCE RULES; FORMAL APPROACH; MODEL-CHECKING TECHNOLOGY; PROCESS MODEL;

MODEL CHECKING;

EID: 77953985972     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-12186-9_17     Document Type: Conference Paper

References (21)

1. Sarbanes-Oxley Act of 2002. Public Law 107-204 (116 Statute 745), United States Senate and House of Representatives in Congress (2002)
2. Awad, A.: BPMN-Q: A Language to Query Business Processes. In: EMISA. LNI, vol. P-119, pp. 115-128. GI (2007)
3. Awad, A., Decker, G.,Weske, M.: Efficient compliance checking using bpmn-q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326-341. Springer, Heidelberg (2008)
4. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281-1294 (2008)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411-420. ACM, New York (1999)
6. Flender, C., Freytag, T.: Visualizing the soundness of workflow nets. In: AWPN 2006, Department Informatics Report 267, University of Hamburg, Germany (2006)
7. Ghose, A., Koliadis, G.: Auditing business process compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
8. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes from Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPMWorkshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
9. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221-232. IEEE Computer Society, Los Alamitos (2006)
10. Han, J., Jin, Y., Li, Z., Phan, T., Yu, J.: Guiding the service composition process with temporal business rules. In: ICWS, pp. 735-742. IEEE Computer Society, Los Alamitos (2007)
11. Hartman, T.E.: The Cost of Being Public in the Era of Sarbanes-Oxley. Foley & Lardner, Chicago (2006)
12. Küster, J.M., Ryndina, K., Gall, H.: Generation of Business Process Models for Object Life Cycle Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 165-181. Springer, Heidelberg (2007)
13. Lu, R., Sadiq, S., Governatori, G.: Compliance aware business process design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 120-131. Springer, Heidelberg (2008)
14. Lu, R., Sadiq, S., Governatori, G.: Measurement of Compliance Distance in Business Processes. Inf. Sys. Manag. 25(4), 344-355 (2008)
15. Lui, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2), 335-362 (2007)
16. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Institute of Information Systems and New Media Vienna University of Economics and Business Administration (WU Wien) Austria (May 2007)
17. Milosevic, Z., Sadiq, S.W., Orlowska, M.E.: Translating business contract into compliant business processes. In: EDOC, pp. 211-220. IEEE Computer Society, Los Alamitos (2006)
18. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: Full Support for Loosely-Structured Processes. In: EDOC, pp. 287-300. IEEE Computer Society, Los Alamitos (2007)
19. Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149-164. Springer, Heidelberg (2007)
20. Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y.,Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156-168. Springer, Heidelberg (2006)
21. Zuck, L.: Past Temporal Logic. PhDthesis,Weizmann Institute,Rehovot, Israel (August 1986)