Visually specifying compliance rules and explaining their violations for business processes

Journal of Visual Languages and Computing

Volumn 22, Issue 1, 2011, Pages 30-55

  Awad, Ahmed ^a   Weidlich, Matthias ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Anti patterns; Business process modeling; Compliance checking; Visual modeling

Indexed keywords

EID: 79651475709     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2010.11.002     Document Type: Article

References (43)

1. Sarbanes-Oxley Act of 2002, Public Law 107-204 (116 Statute 745), United States Senate and House of Representatives in Congress, 2002.
2. Basel Committee on Banking Supervision, Basel II Accord, 2004.
3. van der Aalst W., Weijters A. Process-aware information systems: bridging people and software through process technology. Process Mining 2005, 235-255. Wiley & Sons.
4. Aalst W.v.d. Verification of workflow nets. Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science 1997, vol. 1248:407-426. Springer Verlag, Berlin.
5. Dehnert J., Rittgen P. Relaxed soundness of business processes. CAiSE, Lecture Notes in Computer Science 2001, vol. 2068:157-170. Springer.
6. Puhlmann F., Weske M. Investigations on soundness regarding lazy activities. BPM 2006, Lecture Notes in Computer Science 2006, vol. 4102:145-160. Springer.
7. Clarke E.M., Grumberg O., Peled D.A. Model Checking 1999, MIT Press.
8. A. Awad, BPMN-Q: a language to query business processes, in: EMISA, Lecture Notes in Informatics, vol. P-119, GI, 2007, pp. 115-128.
9. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software 1995, Addison-Wesley Professional.
10. M.B. Dwyer, G.S. Avrunin, J.C. Corbett, Patterns in property specifications for finite-state verification, in: ICSE, 1999, pp. 411-420.
11. Awad A., Decker G., Weske M. Efficient compliance checking using BPMN-Q and temporal logic. BPM, Lecture Notes in Computer Science 2008, vol. 5240:326-341. Springer.
12. A. Awad, M. Weidlich, M. Weske, Specification, verification and explanation of violation for data aware compliance rules, in: L. Baresi, C.-H. Chi, J. Suzuki (Eds.), ICSOC/ServiceWave, Lecture Notes in Computer Science, vol. 5900, 2009, pp. 500-515.
13. Awad A., Weske M. Visualization of compliance violation in business process models. Business Process Management Workshops, Lecture Notes in Business Information Processing 2009, vol. 43:182-193. Springer.
14. F.S. Commission, Guidelines On Anti-Money Laundering & Counter-financing of Terrorism, 2007.
15. Business process modeling notation 1.2 (BPMN 1.2) specification, Final adopted specification, Technical Report, OMG, 2009.
16. G. Keller, M. Nüttgens, A. Scheer, Semantische Prozessmodellierung auf der Grundlage "Ereignisgesteuerter Prozessketten (EPK)", Technical Report 89, Institut für Wirtschaftsinformatik, Saarbrücken, 1992.
17. OMG, UML 2.0 superstructure specification, Technical Report, 2004.
18. Reisig W. Petri Nets, EATCS Monographs on Theoretical Computer Science Edition 1985, Springer.
19. Dijkman R.M., Dumas M., Ouyang C. Semantics and analysis of business process models in BPMN. Inf. Software Technol. 2008, 50(12):1281-1294. doi:http://dx.doi.org/10.1016/j.infsof.2008.02.006.
20. van der Aalst W.M.P. Workflow verification: finding control-flow errors using petri-net-based techniques. Business Process Management, Lecture Notes in Computer Science 2000, vol. 1806:161-183. Springer.
21. Lohmann N., Verbeek E., Dijkman R.M. Petri net transformations for business processes-a survey. Trans. Petri Nets Other Models Concurrency 2009, 2:46-63.
22. Awad A., Decker G., Lohmann N. Diagnosing and repairing data anomalies in process models. BPM 2009 Workshops, Lecture Notes in Business Information Processing 2009, vol. 43:5-16. Springer-Verlag.
23. Emerson E.A., Halpern J.Y. Decision procedures and expressiveness in the temporal logic of branching time. J. Comput. Syst. Sci. 1985, 30(1):1-24.
24. Cortadella J., Kishinevsky M., Kondratyev A., Lavagno L., Yakovlev A., England N.R. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. 1997, 80:315-325.
25. J. Mendling, Detection and prediction of errors in epc business process models, Ph.D. Thesis, Institute of Information Systems and New Media Vienna University of Economics and Business Administration (WU Wien) Austria, May 2007.
26. Chan W. Temporal-logic queries. CAV, Lecture Notes in Computer Science 2000, vol. 1855:450-463. Springer.
27. Chechik M., Gurfinkel A. TLQSolver: a temporal logic query checker. CAV, Lecture Notes in Computer Science 2003, vol. 2725:210-214. Springer.
28. Sakr S., Awad A. A framework for querying graph-based business process models. WWW 2010, 1297-1300. ACM. M. Rappa, P. Jones, J. Freire, S. Chakrabarti (Eds.).
29. Bruns G., Godefroid P. Temporal logic query checking. LICS'01: Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science 2001, 409. IEEE Computer Society, Washington, DC, USA.
30. Förster A., Engels G., Schattkowsky T. Activity diagram patterns for modeling quality constraints in business processes. MoDELS, Lecture Notes in Computer Science 2005, vol. 3713:2-16. Springer.
31. Förster A., Engels G., Schattkowsky T., Straeten R.V.D. Verification of business process quality constraints based on visual process patterns. TASE 2007, 197-208. IEEE Computer Society.
32. Xu K., Liu Y., Wu C. BPSL modeler-visual notation language for intuitive business property reasoning. Electron. Notes Theor. Comput. Sci. 2008, 211:211-220. doi:http://dx.doi.org/10.1016/j.entcs.2008.04.043.
33. Liu Y., Müller S., Xu K. A static compliance-checking framework for business process models. IBM Syst. J. 2007, 46(2):335-361.
34. S. Feja, D. Fötsch, S. Stein, Grafische validierungsregeln am beispiel von epks, in: W. Maalej, B. Brügge (Eds.), Software Engineering (Workshops), Lecture Notes in Informatics, vol. 122, GI, 2008, pp. 198-204.
35. van der Aalst W.M.P., Pesic M. DecSerFlow: towards a truly declarative service flow language. WS-FM, Lecture Notes in Computer Science 2006, vol. 4184:1-23. Springer.
36. Pesić M., van der Aalst W.M.P. A declarative approach for flexible business processes management. Business Process Management Workshops, Lecture Notes in Computer Science 2006, vol. 4103:169-180. Springer.
37. Pesić M., Schonenberg H., van der Aalst W.M.P. DECLARE: full support for loosely-structured processes. EDOC 2007, 287-300. IEEE Computer Society.
38. M. Pesić, Constraint-based workflow management system: shifting control to users, Ph.D. Thesis, Technische Universiteit Eindhoven, 2008.
39. I. Weber, G. Governatori, J. Hoffmann, Approximate compliance checking for annotated process models, in: Proceedings of the First International Workshop of Governance, Risk and Compliance in Information Systems GRCIS, CEUR-Workshop, vol. 339, 2008, pp. 46-60.
40. J. Hoffmann, I. Weber, G. Governatori, On compliance checking for clausal constraints in annotated process models, Inf. Syst. Frontiers (Special Issue on Governance, Risk, and Compliance), Available online. http://www.springerlink.com/content/u340646302-q7hm7w/.
41. C. Flender, T. Freytag, Visualizing the soundness of workflow nets, in: 13th Workshop Algorithms and Tools for Petri Nets, AWPN 2006, 2006, pp. 47-52.
42. Awad A., Puhlmann F. Structural detection of deadlocks in business process models. BIS, Lecture Notes in Business Information Processing 2008, vol. 7:239-250. Springer.
43. R. Laue, A. Awad, Visualization of business process modeling anti patterns, in: P. Bottoni, E. Guerra, J. de Lara, T. Margaria, J. Padberg, G. Taentzer (Eds.), Proceedings of the First International Workshop on Visual Formalisms for Patterns (VFfP 2009), Corvallis, OR, USA, 2009, http://journal.ub.tu-berlin.de/index.php/eceasst/article/viewFile/344/331.