Translating business contract into compliant business processes

This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with contract. This is a progressive refinement using logic-based formalism to capture contract semantics and to serve as an intermediate step for transformation. Particular value of this approach is for those organisations that consider moving towards new approaches to enterprise contract management and applying them to their future contracts

[1]  Andrew Berry,et al.  Describing and Supporting Complex Interactions in Distributed Systems , 2002 .

[2]  Guido Governatori,et al.  Dealing with contract violations: formalism and domain specific language , 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05).

[3]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[4]  Marek Sergot,et al.  A computational theory of normative positions , 2001, ACM Trans. Comput. Log..

[5]  Andrew Berry,et al.  Extending choreography with business contract constraints , 2005, Int. J. Cooperative Inf. Syst..

[6]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[7]  Marek J. Sergot,et al.  Using the event calculus for tracking the normative state of contracts , 2005, Int. J. Cooperative Inf. Syst..

[8]  Maria E. Orlowska,et al.  Towards a Methodology for Deriving Contract-Compliant Business Processes , 2006, Business Process Management.

[9]  John Derrick,et al.  Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification , 2001, POLICY.

[10]  D. Luckham.  The Power of Events , 2002 .

[11]  Maria E. Orlowska,et al.  Specification and validation of process constraints for flexible workflows , 2005, Inf. Syst..

[12]  Ronald M. Lee,et al.  A logic model for electronic contracting , 1988, Decis. Support Syst..

[13]  Shazia Wasim Sadiq,et al.  Compliance checking between business processes and business contracts , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[14]  Guido Governatori,et al.  Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations , 2006 .

[15]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[16]  Zoran Milosevic,et al.  On expressing and monitoring behaviour in contracts , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[17]  Roger Tagg,et al.  Supporting Contract Execution through Recommended Workflows , 2004, DEXA.

[18]  James B. Cole,et al.  A unified behavioural model and a contract language for extended enterprise , 2004, Data & Knowledge Engineering.

[19]  Hans Weigand,et al.  Cross-organizational workflow integration using contracts , 2002, Decis. Support Syst..

[20]  Maria E. Orlowska,et al.  FORMAL CONSIDERATIONS OF RULE-BASED MESSAGING FOR BUSINESS PROCESS INTEGRATION , 2006, Cybern. Syst..