Designing compliant business processes with obligations and permissions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4103 LNCS, Issue , 2006, Pages 5-14

  Goedertier, Stijn ^a   Vanthienen, Jan ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ALGORITHMS; MATHEMATICAL MODELS; PUBLIC POLICY; REGULATORY COMPLIANCE; SEMANTICS;

BUSINESS INTERACTION; BUSINESS REGULATIONS; CONTROL-FLOW SEMANTICS; CONTROL-FLOW-BASED PROCESS MODELS;

COMPETITIVE INTELLIGENCE;

EID: 33749642332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11837862_2     Document Type: Conference Paper

References (15)

1. Goedertier, S., Vanthienen, J.: Compliant and Flexible Business Processes with Business Rules. In: CAiSE'06 Workshop BPMDS'06, Proceedings. (2006) forth-coming.
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) (2003) 365-391
3. Bons, R.W.H., Lee, R.M., Wagenaar, R.W., Wrigley, C.D.: Modelling interorganizational trade using documentary petri nets. In: HICSS (3). (1995) 189-198
4. Bussler, C.: The role of B2B protocols in inter-enterprise process execution. In: TES '01: Proceedings of the Second International Workshop on Technologies for E-Services, London, UK, Springer-Verlag (2001) 16-29
5. Marin, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL '99: Proceedings of the 7th international conference on Artificial intelligence and law, New York, NY, USA, ACM Press (1999) 90-99
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) (2004) 227-253
7. Knottenbelt, J., Clark, K.: An architecture for contract-based communicating agents. In: Proceedings of the 2nd Europ. Workshop on Multi-Agent Sys. (2004)
8. Governatori, G.: Representing business contracts in uleml. Int. J. Cooperative Inf. Syst. 14(2-3) (2005) 181-216
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) (2003) 237-267
10. Føllesdal, D., Hilpinen, R.: Deontic logic: An introduction. In Hilpinen, R., ed.: Deontic Logic: Introductory and Systematic Readings. D. Reidel Publishing Company, Dordrecht (1971) 1-35
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 School/Symposium. Volume 803 of LNCS., Springer (1993) 124-175
12. Broersen, J., Dignum, F., Dignum, V., Meyer, J.J.C.: Designing a deontic logic of deadlines. In Lomuscio, A., Nute, D., eds.: DEON. Volume 3065 of LNCS., Springer (2004) 43-56
13. Shanahan, M.: Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge, MA, USA (1997)
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). Volume P-85 of LNI., GI (2006)
15. Yolum, P.: Towards design tools for protocol development. In: AAMAS '05, New York, NY, USA, ACM Press (2005) 99-105