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.
|Number of pages||4|
|Publication status||Published - Sep 2010|
|Event||4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10) - Pisa, Italy|
Duration: 1 Sep 2010 → …
|Workshop||4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)|
|Period||1/09/10 → …|