Designing Compliant Business Processes with Obligations and Permissions
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.
KeywordsBusiness Process Business Partner Deontic Logic Business Process Model Business Rule
Unable to display preview. Download preview PDF.
- 1.Goedertier, S., Vanthienen, J.: Compliant and Flexible Business Processes with Business Rules. In: Proceedings, CAiSE 2006, Workshop BPMDS 2006 (forthcoming 2006)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
- 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
- 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
- 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