Towards a Methodology for Deriving Contract-Compliant Business Processes

This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.

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

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

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

[4]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[5]  A.D.H. Farrell,et al.  Performance monitoring of service-level agreements for utility computing using the event calculus , 2004, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004..

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

[7]  Peter F. Linington,et al.  Automating support for e-business contracts , 2005, Int. J. Cooperative Inf. Syst..

[8]  Guido Governatori,et al.  Normative autonomy and normative co-ordination: Declarative power, representation, and mandate , 2004, Artificial Intelligence and Law.

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

[10]  Guido Governatori,et al.  A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study , 2002 .

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

[12]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[13]  Peter F. Linington,et al.  Using policies in the checking of business to business contracts , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[14]  J. Cole,et al.  On design and implementation of a contract monitoring facility , 2004, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004..

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

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