Towards compliance of cross-organizational processes and their changes research challenges and state of research

Lecture Notes in Business Information Processing

Volumn 132 LNBIP, Issue , 2013, Pages 649-661

  Knuplesch, David ^a   Reichert, Manfred ^a   Mangler, Jürgen ^b   Rinderle Ma, Stefanie ^b   Fdhila, Walid ^b  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT;

BUSINESS PROCESS; COMPLIANCE RULES; CROSS-ORGANIZATIONAL; CROSS-ORGANIZATIONAL BUSINESS PROCESS; ENVIRONMENTAL CHANGE; RESEARCH CHALLENGES; SECURITY CONSTRAINT; STATE OF RESEARCH;

REGULATORY COMPLIANCE;

EID: 84873117210     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-36285-9_65     Document Type: Conference Paper

References (58)

1. Mutschler, B., Reichert, M., Bumiller, J.: Unleashing the effectiveness of process-oriented information systems: Problem analysis, critical success factors, and implications. IEEE Trans on Sys. Man and Cybernetics, Part C 38(3), 280-291 (2008)
2. Weske, M.: Workflow management systems: Formal foundation, conceptual design, implementation aspects. Springer (2007)
3. Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems. Springer (2012)
4. Alonso, G., et al.: Web Services. Springer (2004)
5. Dustdar, S.: Caramba-a process-aware collaboration system supporting ad hoc and collaborative processes in virtual teams. Dist. & Parall Datab. 15(1), 45-66 (2004)
6. Ghose, A.K., Koliadis, G.: Auditing Business Process Compliance. In: Kr̈amer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169-180. Springer, Heidelberg (2007)
7. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2), 261-335 (2007)
8. 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)
9. Kokash, N., Krause, C., de Vink, E.: Time and data aware analysis of graphical service models. In: SEFM 2010 (2010)
10. Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let's Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
11. Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Sys. 35(8) (2010)
12. Barros, A., Dumas, M., ter Hofstede, A.: Service Interaction Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302-318. Springer, Heidelberg (2005)
13. Liu, D.R., Shen, M.: Business-to-business workflow interoperation based on process-views. Decision Support Sys. 38(3), 399-419 (2004)
14. Maamar, Z., Benslimane, D., Ghedira, C., Mrissa, M.: Views in composite web services. IEEE Internet Comp. 9(4), 52-57 (2005)
15. van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable Business-to-Business E-Commerce. Elec. Com. Research 2(3), 195-231 (2002)
16. Martens, A.: Consistency between executable and abstract processes. In: EEE 2005, pp. 60-67 (2005)
17. Decker, G., Weske, M.: Behavioral Consistency for B2B Process Integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 81-95. Springer, Heidelberg (2007)
18. van der Aalst, W.M.P., et al.: Multiparty contracts: Agreeing and implementing interorganizational processes. The Comp. Journal 53(1), 90-106 (2010)
19. Tata, S., et al.: CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE Trans. on Serv. Comp. 1(4), 214-228 (2008)
20. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221-232 (2006)
21. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems-a survey. Data & Knowl. Eng. 50(1), 9-34 (2004)
22. Weber, B., Sadiq, S., Reichert, M.: Beyond rigidity-dynamic process lifecycle support. Comp. Science-Research and Dev. 23(2), 47-65 (2009)
23. Reichert, M., Dadam, P.: ADEPTflex-supporting dynamic changes of workflows without losing control. Intelligent Inf. Sys. 10(2), 93-129 (1998)
24. Sadiq, S., Sadiq, W., Orlowska, M.: A framework for constraint specification and validation in flexible workflows. Inf. Sys. 30(5), 349-378 (2005)
25. Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291-308. Springer, Heidelberg (2006)
26. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC 2007, pp. 287-300 (2007)
27. Reichert, M., Dadam, P., Bauer, T.: Dealing with forward and backward jumps in workflow management systems. Software and Systems Modeling 2(1), 37-58 (2003)
28. Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features-Enhancing flexibility in process-aware information systems. Data & Knowl. Eng. 66(3), 438-466 (2008)
29. Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with ADEPT2. In: ICDE 2005, pp. 1113-1114 (2005)
30. Weber, B., et al.: Providing integrated life cycle support in process-aware information systems. Int. J. Coop. Inf. Sys. 18(1), 115-165 (2009)
31. Weber, B., Reichert, M., Wild, W., Rinderle, S.: Balancing Flexibility and Security in Adaptive Process Management Systems. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 59-76. Springer, Heidelberg (2005)
32. Casati, F., et al.: Workflow evolution. Data & Knowl. Eng. 24(3), 211-238 (1998)
33. Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Dist. & Parall. Datab. 16(1), 91-116 (2004)
34. Li, C., et al.: The MinAdept clustering approach for discovering reference process models out of process variants. Coop. Inf. Sys. 19(3) (2010)
35. Günther, C.W., Rinderle, S., Reichert, M., van der Aalst, W.: Change Mining in Adaptive Process Management Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 309-326. Springer, Heidelberg (2006)
36. Reichert, M., Bauer, T.: Supporting Ad-Hoc Changes in Distributed Workflow Management Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 150-168. Springer, Heidelberg (2007)
37. Papazoglou, M.: The Challenges of Service Evolution. In: Bellahs̀ene, Z., Ĺeonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 1-15. Springer, Heidelberg (2008)
38. Liske, N., Lohmann, N., Stahl, C., Wolf, K.: Another approach to service instance migration. Service Oriented Computing, 607-621 (2009)
39. Mooij, A., et al.: Constructing replaceable services using operating guidelines and maximal controllers. In: Web Services and Formal Methods, pp. 116-130 (2011)
40. Sadiq, 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)
41. El Kharbili, M., et al.: Business process compliance checking: Current state and future challenges. In: MobIS 2008, pp. 107-113 (2008)
42. Alberti, M., et al.: Expressing and verifying business contracts with abductive logic programming. In: NorMAS 2007, Dagstuhl Seminar Proceedings (2007)
43. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5-14. Springer, Heidelberg (2006)
44. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP 1998 (1998)
45. Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 9-23. Springer, Heidelberg (2010)
46. Ly, L.T., et al.: Integration and verification of semantic constraints in adaptive process management systems. Data & Knowl. Eng. 64(1), 3-23 (2008)
47. Ly, L.T., Rinderle-Ma, S., G̈oser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems-requirements, challenges, solutions. Inf. Sys. Frontiers (2009)
48. Knuplesch, D., Reichert, M.: Ensuring business process compliance along the process life cycle. Technical Report 2011-06, University of Ulm (2011)
49. Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On Enabling Data-Aware Compliance Checking of Business Process Models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332-346. Springer, Heidelberg (2010)
50. Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 500-515. Springer, Heidelberg (2009)
51. Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: SBPM 2008 (2008)
52. Alles, M., Kogan, A., Vasarhelyi, M.: Putting continuous auditing theory into practice: Lessons from two pilot implementations. Inf. Sys. 22(2), 195-214 (2008)
53. Namiri, K., Stojanovic, N.: Pattern-Based Design and Validation of Business Process Compliance. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 59-76. Springer, Heidelberg (2007)
54. Giblin, C., et al.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report RZ-3662, IBM (2006)
55. Berry, A., Milosevic, Z.: Extending choreography with business contract constraints. Coop. Inf. Sys. 14(2-3), 131-179 (2005)
56. Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: CoopIS 2011, pp. 82-99 (2011)
57. 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)
58. van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005. LNCS, vol. 3760, pp. 130-147. Springer, Heidelberg (2005)