Compliance checking between business processes and business contracts

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2006, Pages 221-230

  Governatori, Guido ^a   Milosevic, Zoran ^a,b   Sadiq, Shazia ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b Deontik ^*  (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL MANAGEMENT; SEMANTICS;

BUSINESS CONTRACTS; BUSINESS PROCESSES; COMPLIANCE CHECKING; SEMANTICS OF CONTRACT;

CONTRACTS;

EID: 38749096258     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2006.22     Document Type: Conference Paper

References (15)

1. J.F. Allen. Towards a general theory of action and time. Artif. Intell., 23(2): 123-154, 1984.
2. J.F. Allen and G. Ferguson. Actions and events in interval temporal logic. J. Log. Comput., 4(5):531-579, 1994.
3. Business process execution language for web services, version 1.1, 5 May 2003.
4. J. Broersen, F. Dignum, V. Dignum, and J.-J.Ch. Meyer. Designing a deontic logic of deadlines. In DEON 2004, LNCS 3065, pp. 43-56. Springer, 2004.
5. G. Governatori. Representing business contracts in RuleML. Int. J. of Cooperative Inf. Sys., 14(2-3):181-216, 2005.
6. G. Governatori and D. R Hoang. A semantic web based architecture for e-contracts in defeasible logic. In RuleML, LNCS 3791, pp. 145-159. Springer, 2005.
7. G. Governatori and Z, Milosevic. Dealing with contract violations: formalism and domain specific language. In EDOC 2005, pp. 46-57. IEEE Press, 2005.
8. G. Governatori and A. Rotolo. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4:193-215, 2006.
9. G. Governatori, A. Rotolo, and G. Sartor. Temporalised normative positions in defeasible logic. In ICAIL05, pp. 25-34. ACM Press, 2005.
10. A.J.I. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427-443, 1996.
11. S. Kanger. Law and logic. Theoria, 38:105-32, 1972.
12. R. Lu, S. Sadiq, V. Padmanabhan, and G. Governatori. Using a temporal constraint network for business process execution. In ADC2006, CRPIT 49, pp. 157-166, ACS, 2006.
13. Object Management Group. Business process modeling notation specification, 3 February 2006.
14. R. Tagg, Z. Milosevic, S. Kulkarni, and S. Gibson. Supporting contract execution through recommended workflows. In DEXA 2004, LNCS 3180, pp. 1-12. Springer, 2004.
15. A.Z. Wyner. A functional program for agents, actions, and deontic specifications. In Proceedings of DALT 2006, 2006.