Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Process Management

BPM 2006: Business Process Management Workshops pp 5–14Cite as

Designing Compliant Business Processes with Obligations and Permissions

  • Conference paper

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

Abstract

The sequence and timing constraints on the activities in business processes are an important aspect of business process compliance. To date, these constraints are most often implicitly transcribed into control-flow-based process models. This implicit representation of constraints, however, complicates the verification, validation and reuse in business process design. In this paper, we investigate the use of temporal deontic assignments on activities as a means to declaratively capture the control-flow semantics that reside in business regulations and business policies. In particular, we introduce PENELOPE, a language to express temporal rules about the obligations and permissions in a business interaction, and an algorithm to generate compliant sequence-flow-based process models that can be used in business process design.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Goedertier, S., Vanthienen, J.: Compliant and Flexible Business Processes with Business Rules. In: Proceedings, CAiSE 2006, Workshop BPMDS 2006 (forthcoming 2006)

    Google Scholar 

  2. Reijers, H.A., Rigter, J.H.M., van der Aalst, W.M.P.: The case handling case. Int. J. Cooperative Inf. Syst. 12(3), 365–391 (2003)

    Article  Google Scholar 

  3. Bons, R.W.H., Lee, R.M., Wagenaar, R.W., Wrigley, C.D.: Modelling inter-organizational trade using documentary petri nets. HICSS (3), 189–198 (1995)

    Google Scholar 

  4. Bussler, C.: The role of B2B protocols in inter-enterprise process execution. In: Casati, F., Georgakopoulos, D., Shan, M.-C. (eds.) TES 2001. LNCS, vol. 2193, pp. 16–29. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Marín, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL 1999: Proceedings of the 7th international conference on Artificial intelligence and law, pp. 90–99. ACM Press, New York (1999)

    Chapter  Google Scholar 

  6. Yolum, P., Singh, M.P.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence 42(1-3), 227–253 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  7. Knottenbelt, J., Clark, K.: An architecture for contract-based communicating agents. In: Proceedings of the 2nd Europ. Workshop on Multi-Agent Sys. (2004)

    Google Scholar 

  8. Governatori, G.: Representing business contracts in uleml. Int. J. Cooperative Inf. Syst. 14(2-3), 181–216 (2005)

    Article  Google Scholar 

  9. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 47(2), 237–267 (2003)

    Article  Google Scholar 

  10. Føllesdal, D., Hilpinen, R.: Deontic logic: An introduction. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 1–35. D. Reidel Publishing Company, Dordrecht (1971)

    Google Scholar 

  11. Clarke, E.M., Grumberg, O., Long, D.E.: Verification tools for finite-state concurrent systems. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 124–175. Springer, Heidelberg (1994)

    Google Scholar 

  12. Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43–56. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Shanahan, M.: Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge (1997)

    Google Scholar 

  14. Goedertier, S., Vanthienen, J.: Business Rules for Compliant Business Process Models. In: Proceeding of the 9th International Conference on Business Information Systems (BIS 2006). LNI., GI, vol. P-85 (2006)

    Google Scholar 

  15. Yolum, P.: Towards design tools for protocol development. In: AAMAS 2005, pp. 99–105. ACM Press, New York (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Decision Sciences & Information Management, Katholieke Universiteit Leuven, Belgium

    Stijn Goedertier & Jan Vanthienen

Authors
  1. Stijn Goedertier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Vanthienen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Knowledge and Business Engineering, University of Vienna, Rathausstrasse 19/9, A-1010, Vienna, Austria

    Johann Eder

  2. Distributed Systems Group, Information Systems Institute, Vienna University of Technology, Austria

    Schahram Dustdar

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Goedertier, S., Vanthienen, J. (2006). Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds) Business Process Management Workshops. BPM 2006. Lecture Notes in Computer Science, vol 4103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11837862_2

Download citation

  • DOI: https://doi.org/10.1007/11837862_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38444-1

  • Online ISBN: 978-3-540-38445-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation