Location of Repository

Designing compliant business processes with obligations and permissions. Business process management workshops.

By Stijn Goedertier and Jan Vanthienen


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.

OAI identifier:

Suggested articles



  1. (2003). A.J.M.M.: Workflow mining: A survey of issues and approaches.
  2. (2004). An architecture for contract-based communicating agents. In:
  3. (2006). Business Rules for Compliant Business Process Models. In:
  4. (1995). C.D.: Modelling interorganizational trade using documentary petri nets. In:
  5. (2006). Compliant and Flexible Business Processes with Business Rules. In:
  6. (1971). Deontic logic: An introduction.
  7. (2004). J.J.C.: Designing a deontic logic of deadlines.
  8. (2004). Reasoning about commitments in the event calculus: An approach for specifying and executing protocols.
  9. (2005). Representing business contracts in uleml.I n t .J .C o o p e r a t i v eI n f .
  10. (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia.
  11. (2001). The role of B2B protocols in inter-enterprise process execution. In:
  12. (1999). Time and norms: a formalisation in the event-calculus. In:
  13. (2005). Towards design tools for protocol development. In:
  14. (1993). Verification tools for finite-state concurrent systems.
  15. (2003). W.M.P.: The case handling case.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.