Ensuring compliance of distributed and collaborative workflows

Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, COLLABORATECOM 2013

Volumn , Issue , 2013, Pages 133-142

  Knuplesch, David ^a   Reichert, Manfred ^a   Pryss, Rüdiger ^a   Fdhila, Walid ^b   Rinderle Ma, Stefanie ^b  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF VIENNA   (Austria)

Author keywords

business process compliance; collaborative and distributed workflows; privacy

Indexed keywords

BUSINESS PROCESS COMPLIANCES; COLLABORATIVE WORKFLOWS; COMPLIANCE CHECKING; COMPLIANCE RULES; DISTRIBUTED WORKFLOW; LIMITED INFORMATION; PRIVACY CONSTRAINTS; WORK-FLOWS;

COMPUTER PROGRAMMING; COMPUTER SCIENCE; DATA PRIVACY;

COMPLIANCE CONTROL;

EID: 84893597029     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/icst.collaboratecom.2013.254095     Document Type: Conference Paper

References (56)

1. Sadiq, S., Governatori, G., Naimiri, K.: Modeling control objectives for business process compliance. In: BPM'07. (2007) 149-164
2. Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: BPM'08. (2008) 326-341
3. Ly, L.T., Rinderle-Ma, S., Göser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems. Information Systems Frontiers 14(2) (2012) 195-219
4. Knuplesch, D., Reichert, M.: Ensuring business process compliance along the process life cycle. Technical Report 2011-06, University of Ulm (2011)
5. Maggi, F., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: BPM'11. (2011) 132-147
6. Ramezani, E., Fahland, D., Werf, J.M., Mattheis, P.: Separating compliance management and business process management. In: BPM'11 Workshops, Springer (2012) 459-464
7. Berry, A., Milosevic, Z.: Extending choreography with business contract constraints. Int J Coop Inf Sys 14(2-3) (2005) 131-179 (Pubitemid 40878416)
8. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC'06. (2006) 221-232
9. Knuplesch, D., Reichert, M., Mangler, J., Rinderle-Ma, S., Fdhila, W.: Towards compliance of cross-organizational processes and their changes - research challenges and state of research. In: BPM'12 Workshops. Volume 132 of LNBIP. (2013) 649-661
10. Leitner, M., Mangler, J., Rinderle-Ma, S.: Definition and enactment of instance-spanning process constraints. In: WISE'2012. (2012) 652-658
11. Müller, D., Herbst, J., Hammori, M., Reichert, M.: It support for release management processes in the automotive industry. In: BPM'06. (2006) 368-377
12. Knuplesch, D., Reichert, M., Fdhila, W., Rinderle-Ma, S.: On enabling compliance of cross-organizational business processes. In: BPM'13. Volume 8094 of LNCS. (2013) 146-154
13. Cabanillas, C., Resinas, M., Ruiz-Cortés, A.: Hints on how to face business process compliance. In: JISBD'10. (2010)
14. Ly, L.T., Maggi, F.M., Montali, M., StefanieRinderle-Ma, van der Aalst, W.M.: A framework for the systematic comparison and evaluation of compliance monitoring approaches. In: EDOC'13. IEEE (2013)
15. Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: ER'2010. Volume 6412 of LNCS. (2010) 332-346
16. Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: ICSOC'07. (2007) 169-180
17. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP'98. (1998)
18. Ramezani, E., Fahland, D., van der Aalst, W.M.: Where did i misbehave? Diagnostic information in compliance checking. In: BPM'12, Springer (2012)
19. Turetken, O., Elgammal, A., van den Heuvel, W.J., Papazoglou, M.: Capturing compliance requirements: A pattern-based approach. IEEE Software (2012) 29-36
20. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal 46(2) (2007) 335-261
21. Ly, L.T., et al.: Design and verification of instantiable compliance rule graphs in process-aware information systems. In: CAiSE'10. (2010) 9-23
22. Feja, S., Speck, A., Witt, S., Schulz, M.: Checkable graphical business process representation. In: ADBIS'11, Springer (2011) 176-189
23. Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: ICSOC'09. (2009) 500-515
24. Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and exp-laining their violations for business processes. Vis Lang Comp 22(1) (2011) 30-55
25. Knuplesch, D., Reichert, M., Ly, L.T., Kumar, A., Rinderle-Ma, S.: Visual modeling of business process compliance rules with the support of multiple perspectives. In: ER'13 (accepted for publication). (2013)
26. Ly, L.T., et al.: Integration and verification of semantic constraints in adaptive process management systems. Data & Knowl Eng 64(1) (2008) 3-23 (Pubitemid 350087284)
27. Weber, B., Reichert, M., Wild, W., Rinderle-Ma, S.: Providing integrated life cycle support in process-aware information systems. Int J Coop Inf Sys 18(1) (2009) 115-165
28. Kokash, N., Krause, C., de Vink, E.: Time and data aware analysis of graphical service models. In: SEFM'10. (2010)
29. Höhn, S.: Model-based reasoning on the achievement of business goals. In: SAC '09, New York, NY, USA, ACM (2009) 1589-1593
30. Accorsi, R., Lowis, L., Sato, Y.: Automated certification for compliant cloud-based business processes. Business & Inf Sys Engineering 3(3) (2011) 145-154
31. Kumar, A., Yao, W., Chu, C.: Flexible process compliance with semantic constraints using mixed-integer programming. INFORMS J on Comp (2012)
32. Alles, M., Kogan, A., Vasarhelyi, M.: Putting continuous auditing theory into practice: Lessons from two pilot implementations. Inf Sys 22(2) (2008) 195-214
33. Namiri, K., Stojanovic, N.: Pattern-Based design and validation of business process compliance. In: CoopIS'07. (2007) 59-76
34. Giblin, C., et al.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report RZ-3662, IBM (2006)
35. Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: CoopIS'11. (2011) 82-99
36. van der Aalst, W.M.P., Beer, H.D., van Dongen, B.: Process mining and verification of properties: An approach based on temporal logic. In: CoopIS'05. (2005) 130-147
37. Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC'07. (2007) 287-300
38. Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: BPM'06 Workshops. (2006) 5-14
39. Alberti, M., et al.: Expressing and verifying business contracts with abductive logic programming. In: NorMAS'07. Dagstuhl Seminar Proceedings (2007)
40. Zaha, J., Barros, A., Dumas, M., ter Hofstede, A.: Let's dance: A language for service behavior modeling. In: CoopIS'06. (2006) 145-162
41. Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf Sys 35(8) (2010)
42. Barros, A., Dumas, M., ter Hofstede, A.: Service interaction patterns. In: BPM'05. (2005) 302-318
43. Liu, D.R., Shen, M.: Business-to-business workflow interoperation based on process-views. Decision Support Sys 38(3) (2004) 399-419
44. Maamar, Z., Benslimane, D., Ghedira, C., Mrissa, M.: Views in composite web services. IEEE Internet Comp 9(4) (2005) 52-57
45. Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: CAiSE'07. (2007) 81-95
46. van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable Business-to-Business E-Commerce. Elec Com Research 2(3) (2002) 195-231
47. Fdhila, W., Rouached, M., Godart, C.: Communications semantics for wsbpel processes. In: ICWS'08. (2008)
48. Rouached, M., Fdhila, W., Godart, C.: Web services compositions modelling and choreographies analysis. IJWSR 7(2) (2010) 78-110
49. Lohmann, N., Wolf, K.: Realizability is controllability. Web Services and Formal Methods (2010) 110-127
50. Knuplesch, D., Pryss, R., Reichert, M.: Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness. In: IEEE CollaborateCom'12. (2012) 223-232
51. Lohmann, N., Wolf, K.: Decidability results for choreography realization. In: ICSOC'11. (2011) 92-107
52. van der Aalst, W.: Verification of workflow nets. Application and Theory of Petri Nets 1997 (1997) 407-426
53. Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies. Springer (2012)
54. Fdhila, W., Rinderle-Ma, S., Reichert, M.: Change propagation in collaborative processes scenarios. In: IEEE CollaborateCom'12. (2012) 452-461
55. Ly, L.T., Knuplesch, D., Rinderle-Ma, S., Göser, K., Pfeifer, H., Reichert, M., Dadam, P.: Seaflows toolset-compliance verification made easy for process-aware information systems. Inf Syst Evolution (2011) 76-91
56. Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Computer Science-Research and Development 23(2) (2009) 81-97