On the formal specification of business contracts and regulatory compliance
A. El Gammal, Oktay Türetken, W.J.A.M. van den Heuvel, M. Papazoglou · 2010
Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable their automatic verification.