University of Quebec in Outaouais
This paper addresses the problem of ensuring compliance of business processes, implemented within and across organizational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem the authors propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics.