On the formal specification of business contracts and regulatory compliance

Research output: Contribution to conferencePaper

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 languageEnglish
Number of pages4
Publication statusPublished - Sep 2010
Externally publishedYes
Event4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10) - Pisa, Italy
Duration: 1 Sep 2010 → …

Workshop

Workshop4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS10)
Country/TerritoryItaly
CityPisa
Period1/09/10 → …

Fingerprint

Dive into the research topics of 'On the formal specification of business contracts and regulatory compliance'. Together they form a unique fingerprint.

Cite this