Definition and Enactment of Instance-Spanning Process Constraints

  • Maria Leitner
  • Juergen Mangler
  • Stefanie Rinderle-Ma
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7651)


Currently, many approaches address the enforcement and monitoring of constraints over business processes. However, main focus has been put on constraint verification for intra-instance process constraints so far, i.e., constraints that affect single instances. Existing approaches addressing instance-spanning constraints only consider certain scenarios. In other words, a holistic approach considering intra-instance, inter-instance, and inter-process constraints is still missing. This paper aims at closing this gap. First of all, we show how the Identification and Unification of Process Constraints (IUPC) compliance framework enables the definition of instance-spanning process constraints in a flexible and generic way. Their enactment and enforcement is demonstrated within a prototypical implementation based on a service-oriented architecture.


Instance-spanning Process Constraints Process-based Compliance Management Process Engine Web-based Business Processes 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur. 2(1), 65–104 (1999)CrossRefGoogle Scholar
  3. 3.
    Heinlein, C.: Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols. In: Meersman, R., Tari, Z. (eds.) CoopIS/DOA/ODBASE 2002. LNCS, vol. 2519, pp. 54–71. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring Business Process Compliance Using Compliance Rule Graphs. In: Meersman, R., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82–99. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  5. 5.
    Mangler, J., Rinderle-Ma, S.: Rule-Based synchronization of process activities. In: 13th Conf. on Commerce and Enterprise Computing, pp. 121–128. IEEE (2011)Google Scholar
  6. 6.
    Mangler, J., Stuermer, G., Schikuta, E.: Cloud process execution Engine-Evaluation of the core concepts. Arxiv preprint arXiv:1003.3330 (2010)Google Scholar
  7. 7.
    Rinderle-Ma, S., Mangler, J.: Integration of process constraints from heterogeneous sources in Process-Aware information systems. In: Int’l Workshop Enterprise Modelling and Information Systems Architectures, EMISA 2011. LNI, GI (2011)Google Scholar
  8. 8.
    Sadiq, S., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst. 30(5), 349–378 (2005)CrossRefGoogle Scholar
  9. 9.
    Specification, W.M.C.: Workflow management coalition terminology & glossary (Document no. WFMC-TC-1011. document Status-Issue 3.0). Tech. rep., Workflow Management Coalition Specification (February 1999)Google Scholar
  10. 10.
    Stuermer, G., Mangler, J., Schikuta, E.: Building a modular service oriented workflow engine. In: IEEE Int’l Conf on Service-Oriented Computing and Applications, pp. 1–4. IEEE (January 2009)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  13. 13.
    Wainer, J., Barthelmess, P., Kumar, A.: W-RBAC - a workflow security model incorporating controlled overriding of constraints. International Journal of Collaborative Information Systems 12(4), 455–485 (2003)CrossRefGoogle Scholar
  14. 14.
    Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: Proc. of the 11th ACM Symposium on Access Control Models and Technologies, pp. 190–199. ACM (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Maria Leitner
    • 1
  • Juergen Mangler
    • 1
  • Stefanie Rinderle-Ma
    • 1
  1. 1.Faculty of Computer Science, Research Group Workflow Systems and TechnologyUniversity of ViennaAustria

Personalised recommendations