Skip to main content
SpringerLink
Log in

On Enabling Compliance of Cross-Organizational Business Processes

  • Conference paper
Business Process Management

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8094))

Abstract

Process compliance deals with the ability of a company to ensure that its business processes comply with domain-specific regulations and rules. So far, compliance issues have been mainly addressed for intra-organizational business processes, whereas there exists only little work dealing with compliance in the context of cross-organizational processes that involve multiple business partners. As opposed to intra-organizational processes, for a cross-organizational process, compliance must be addressed at different modeling levels, ranging from interaction models to public process models to private processes of the partners. Accordingly, there exist different levels for modeling compliance rules. In particular, we distinguish between local compliance rules of a particular partner and global compliance rules to be obeyed by all partners involved in the cross-organizational process. This paper focuses on checking the compliance of interaction models. For this purpose, we introduce the notion of compliability, which shall guarantee that an interaction model is not conflicting with a set of imposed global compliance rules.

This work was done within the research project C3Pro funded by the German Research Foundation (DFG) under project number RE 1402/2-1, and the Austrian Science Fund (FWF) under project number I743.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. Ly, L.T., et al.: On enabling integrated process compliance with semantic constraints in process management systems. Inf. Sys. Frontiers 14(2), 195–219 (2012)

    Article  Google Scholar 

  4. Knuplesch, D., Reichert, M.: Ensuring business process compliance along the process life cycle. Technical Report 2011-06, University of Ulm (2011)

    Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Berry, A., Milosevic, Z.: Extending choreography with business contract constraints. Int. J. Coop. Inf. Sys. 14(2-3), 131–179 (2005)

    Article  Google Scholar 

  8. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221–232 (2006)

    Google Scholar 

  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: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 649–661. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  10. Leitner, M., Mangler, J., Rinderle-Ma, S.: Definition and enactment of instance-spanning process constraints. In: Wang, X.S., Cruz, I., Delis, A., Huang, G. (eds.) WISE 2012. LNCS, vol. 7651, pp. 652–658. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Sys. 35(8) (2010)

    Google Scholar 

  12. 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), 81–97 (2009)

    Article  Google Scholar 

  13. El Kharbili, M., et al.: Business process compliance checking: Current state and future challenges. In: MobIS 2008, pp. 107–113 (2008)

    Google Scholar 

  14. Ghose, A.K., 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)

    Google Scholar 

  15. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP 1998 (1998)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Ly, L.T., et al.: Seaflows toolset–compliance verification made easy for process-aware information systems. Inf. Syst. Evolution, 76–91 (2011)

    Google Scholar 

  18. 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)

    Chapter  Google Scholar 

  19. 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)

    Google Scholar 

  20. Fdhila, W., Rouached, M., Godart, C.: Communications semantics for WS-BPEL processes. In: ICWS 2008 (2008)

    Google Scholar 

  21. Lohmann, N., Wolf, K.: Realizability is controllability. Web Services and Formal Methods, 110–127 (2010)

    Google Scholar 

  22. Knuplesch, D., Pryss, R., Reichert, M.: Data-aware interaction in distributed and collaborative workflows: modeling, semantics, correctness. In: CollaborateCom 2012, pp. 223–232. IEEE Comp. Press (2012)

    Google Scholar 

  23. Fdhila, W., Rinderle-Ma, S., Reichert, M.: Change propagation in collaborative processes scenarios. In: CollaborateCom 2012, pp. 452–461. IEEE Comp. Press (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Databases and Information Systems, Ulm University, Germany

    David Knuplesch & Manfred Reichert

  2. Faculty of Computer Science, University of Vienna, Austria

    Walid Fdhila & Stefanie Rinderle-Ma

Authors
  1. David Knuplesch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manfred Reichert
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Walid Fdhila
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Stefanie Rinderle-Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Engineering and Computer Science, University of Trento, 38123, Povo, TN, Italy

    Florian Daniel

  2. Institute of Information System and Engineering of School Software, Tsinghua University, 100084, Beijing, China

    Jianmin Wang

  3. Business Process Management Research Cluster, University of Innsbruck, 6020, Innsbruck, Austria

    Barbara Weber

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Knuplesch, D., Reichert, M., Fdhila, W., Rinderle-Ma, S. (2013). On Enabling Compliance of Cross-Organizational Business Processes. In: Daniel, F., Wang, J., Weber, B. (eds) Business Process Management. Lecture Notes in Computer Science, vol 8094. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40176-3_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40176-3_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40175-6

  • Online ISBN: 978-3-642-40176-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation