Compliance checking between business processes and business contracts Export

@inproceedings{citeulike:1075630, abstract = {It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper are logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures.}, author = {Governatori, G. and Milosevic, Z. and Sadiq, S.}, citeulike-article-id = {1075630}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4031210}, journal = {Enterprise Distributed Object Computing Conference, 2006. EDOC '06. 10th IEEE International}, keywords = {choreography, conformance}, pages = {221--232}, posted-at = {2007-01-30 08:26:42}, priority = {2}, title = {Compliance checking between business processes and business contracts}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4031210}, year = {2006} }

TY - CONF ID - citeulike:1075630 L3 - citeulike-article-id:1075630 N2 - It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This paper provides a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of the paper are logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures. JF - Enterprise Distributed Object Computing Conference, 2006. EDOC '06. 10th IEEE International EP - 232 TI - Compliance checking between business processes and business contracts SP - 221 KW - choreography KW - conformance AU - Governatori, G AU - Milosevic, Z AU - Sadiq, S PY - 2006/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4031210 ER -