Skip to main content
SpringerLink
Log in

Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM

A Repair Service Management Case

  • Conference paper
  • First Online:
Business Process Management Workshops (BPM 2016)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 256))

Included in the following conference series:

Abstract

Enabling flexibility in unpredictable situations with ad hoc actions decided at runtime by knowledge workers is the main focus of Adaptive Case Management (ACM) systems. However, ad hoc actions added during case execution and ACM templates prepared at design time need to be within the boundaries defined by business constraints, company regulations and legal systems. In this paper we report our experience in addressing this challenge by using model checking and runtime monitoring techniques for behavioral consistency checking that can handle both ACM aspects: support by means of predefined process templates and high flexibility by allowing ad hoc actions at runtime. Our study is conducted using a practical ACM system for repair service management handling different customer requirements under diverse compliance and law regulations.

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 EPUB and 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

References

  1. van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129–162 (2005)

    Article  Google Scholar 

  2. Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Heidelberg (2012)

    Book  MATH  Google Scholar 

  3. Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng. 64(1), 3–23 (2008)

    Article  Google Scholar 

  4. Fellmann, M., Zasada, A.: State-of-the-art of business process compliance approaches: a survey. In: 22nd European Conference on Information Systems. Tel Aviv, Israel (2014)

    Google Scholar 

  5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, New York (1999)

    Google Scholar 

  6. ISIS papyrus: adaptive case management. http://www.isis-papyrus.com/e15/pages/business-apps/acm.html

  7. Liu, Y., Müller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46(2), 335–361 (2007)

    Article  Google Scholar 

  8. Namiri, K., Stojanovic, N.: Pattern-based design and validation of business process compliance. In: Meersman, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, pp. 59–76. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. 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 

  10. 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., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, pp. 130–147. Springer, Berlin (2005)

    Chapter  Google Scholar 

  11. Birukou, A., D’Andrea, V., Leymann, F., Serafinski, J., Silveira, P., Strauch, S., Tluczek, M.: An integrated solution for runtime compliance governance in SOA. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 122–136. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Holmes, T., Mulo, E., Zdun, U., Dustdar, S.: Model-aware monitoring of SOAs for compliance. In: Dustdar, S., Li, F. (eds.) Service Engineering, pp. 117–136. Springer, Berlin (2011)

    Chapter  Google Scholar 

  13. Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: A framework for the systematic comparison and evaluation of compliance monitoring approaches. In: IEEE 17th International Enterprise Distributed Object Computing Conference (EDOC), pp. 7–16 (2013)

    Google Scholar 

  14. Swenson, K.: Case management: contrasting production vs. adaptive. In: Fischer, L. (ed.) How Knowledge Workers Get Things Done. Future Strategies Inc., Lighthouse Point (2012)

    Google Scholar 

  15. Tran, T.T.K., Pucher, M.J., Mendling, J., Ruhsam, C.: Setup and maintenance factors of ACM systems. In: Demey, Y.T., Panetto, H. (eds.) OTM 2013 Workshops 2013. LNCS, vol. 8186, pp. 172–177. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Espertech: complex event processing (CEP). http://www.espertech.com

  17. Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194–209. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  18. Sem, H.F., Carlsen, S., Coll, G.J.: Combining compliance with flexibility. In: Fischer, L. (ed.) Thriving on Adaptability: Best Practices for Knowledge Workers, pp. 59–71. Future Strategies Inc., Lighthouse Point (2015)

    Google Scholar 

  19. Tran, T.T.K., Ruhsam, C., Pucher, M.J., Kobler, M., Mendling, J.: Towards a pattern recognition approach for transferring knowledge in ACM. In: IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), pp. 134–138 (2014)

    Google Scholar 

  20. van der Aalst, W.M., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  21. United States environmental protection agency: lead renovation, repair and painting program rules. http://www2.epa.gov/lead/lead-renovation-repair-and-painting-program-rules

Download references

Acknowledgement

This work was supported by the FFG project CACAO, no. 843461 and the Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF), Grant No. ICT12-001.

Author information

Authors and Affiliations

  1. ISIS Papyrus Europe AG, Maria Enzersdorf, Austria

    Thanh Tran Thi Kim, Erhard Weiss & Christoph Ruhsam

  2. Research Group Software Architecture, University of Vienna, Vienna, Austria

    Christoph Czepa, Huy Tran & Uwe Zdun

Authors
  1. Thanh Tran Thi Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Erhard Weiss
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Christoph Ruhsam
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Christoph Czepa
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Huy Tran
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Uwe Zdun
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Thanh Tran Thi Kim .

Editor information

Editors and Affiliations

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

    Manfred Reichert

  2. Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands

    Hajo A. Reijers

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Tran Thi Kim, T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., Zdun, U. (2016). Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM. In: Reichert, M., Reijers, H. (eds) Business Process Management Workshops. BPM 2016. Lecture Notes in Business Information Processing, vol 256. Springer, Cham. https://doi.org/10.1007/978-3-319-42887-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42887-1_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42886-4

  • Online ISBN: 978-3-319-42887-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation