On the formal specification of business contracts and regulatory compliance

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

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 proceeding › Conference contribution › Scientific › peer-review

348 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 language	English
Title of host publication	Proceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10)
Editors	A. Brogi
Place of Publication	Pisa, Italy
Publisher	EPTCS
Pages	33-36
Publication status	Published - 2010

Access to Document

FLACOS ShortPaper V02 210610

Cite this

@inproceedings{5a29dad6ad1d4c959bcaefb1dafa8f8c,

title = "On the formal specification of business contracts and regulatory compliance",

abstract = "Today{\textquoteright}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. ",

author = "{El Gammal}, A. and O. Turetken and {van den Heuvel}, W.J.A.M. and M. Papazoglou",

year = "2010",

language = "English",

pages = "33--36",

editor = "A. Brogi",

booktitle = "Proceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10)",

publisher = "EPTCS",

}

On the formal specification of business contracts and regulatory compliance. / El Gammal, A.; Turetken, O.; van den Heuvel, W.J.A.M. et al.
Proceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10). ed. / A. Brogi. Pisa, Italy: EPTCS, 2010. p. 33-36.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - On the formal specification of business contracts and regulatory compliance

AU - El Gammal, A.

AU - Turetken, O.

AU - van den Heuvel, W.J.A.M.

AU - Papazoglou, M.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 33

EP - 36

BT - Proceedings of the 4th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS '10)

A2 - Brogi, A.

PB - EPTCS

CY - Pisa, Italy

ER -

On the formal specification of business contracts and regulatory compliance

Abstract

Access to Document

Fingerprint

Cite this