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

    300 Downloads (Pure)

    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
    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
    PublisherEPTCS
    Pages33-36
    Publication statusPublished - 2010

    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