On the formal specification of business contracts and regulatory compliance

A. El Gammal, O. Turetken, W.J.A.M. van den Heuvel, M. Papazoglou

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    348 Downloads (Pure)


    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
    Title of host publicationProceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10)
    EditorsA. Brogi
    Place of PublicationPisa, Italy
    Publication statusPublished - 2010


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

    Cite this