Abstract
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.
| Original language | English |
|---|---|
| Number of pages | 4 |
| Publication status | Published - Sept 2010 |
| Externally published | Yes |
| Event | 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10) - Pisa, Italy Duration: 1 Sept 2010 → … |
Workshop
| Workshop | 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10) |
|---|---|
| Country/Territory | Italy |
| City | Pisa |
| Period | 1/09/10 → … |