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.
|Title of host publication||Proceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10)|
|Place of Publication||Pisa, Italy|
|Publication status||Published - 2010|