On the formal specification of regulatory compliance : a comparative analysis

A. Elgammal; O. Türetken; W. van den Heuvel; Michael Papazoglou

doi:10.1007/978-3-642-19394-1_4

On the formal specification of regulatory compliance : a comparative analysis

A. Elgammal, O. Türetken, W. van den Heuvel, Michael Papazoglou

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

19 Citaten (Scopus)

1 Downloads (Pure)

Samenvatting

Today's business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing compliance requirements based on a formal foundation of an expressive logical language enables the application of associated verification and analysis tools to ensure the compliance. In this paper, we have conducted a comparative analysis between three languages that can be used as the formal foundation of business process compliance requirements, focusing on design time phase. Two main families of languages have been identified, which are: the temporal and deontic families of logic. In particular, we have considered LTL, CTL and FCL. The comparative analysis is based on the capabilities and limitations of each language and a set of required identified features. © 2011 Springer-Verlag.

Originele taal-2	Engels
Titel	Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA
Redacteuren	E Michael Maximilien, G Rossi, S-T Yuan, H. Ludwig, M. Fantinato
Plaats van productie	Berlin
Uitgeverij	Springer
Pagina's	27-38
ISBN van geprinte versie	978-3-642-19393-4
DOI's	https://doi.org/10.1007/978-3-642-19394-1_4
Status	Gepubliceerd - 2011
Extern gepubliceerd	Ja
Evenement	8th International Conference on Service Oriented Computing (ICSOC 2010) - San Francisco, CA, Verenigde Staten van Amerika Duur: 7 dec. 2010 → 10 dec. 2010 Congresnummer: 8

Publicatie series

Naam	Lecture Notes in Computer Science
Volume	6568
ISSN van geprinte versie	0302-9743

Congres

Congres	8th International Conference on Service Oriented Computing (ICSOC 2010)
Verkorte titel	ICSOC 2010
Land/Regio	Verenigde Staten van Amerika
Stad	San Francisco, CA
Periode	7/12/10 → 10/12/10
Ander	ICSOC 2010 : 8th international conference on service oriented computing

Toegang tot document

10.1007/978-3-642-19394-1_4

Citeer dit

Elgammal, A., Türetken, O., van den Heuvel, W., & Papazoglou, M. (2011). On the formal specification of regulatory compliance : a comparative analysis. In E. Michael Maximilien, G. Rossi, S-T. Yuan, H. Ludwig, & M. Fantinato (editors), Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA (blz. 27-38). (Lecture Notes in Computer Science; Vol. 6568). Springer. https://doi.org/10.1007/978-3-642-19394-1_4

Elgammal, A. ; Türetken, O. ; van den Heuvel, W. et al. / On the formal specification of regulatory compliance : a comparative analysis. Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA. redacteur / E Michael Maximilien ; G Rossi ; S-T Yuan ; H. Ludwig ; M. Fantinato. Berlin : Springer, 2011. blz. 27-38 (Lecture Notes in Computer Science).

@inproceedings{0df99372812e4028a25a97b4a00d49fe,

title = "On the formal specification of regulatory compliance : a comparative analysis",

abstract = "Today's business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing compliance requirements based on a formal foundation of an expressive logical language enables the application of associated verification and analysis tools to ensure the compliance. In this paper, we have conducted a comparative analysis between three languages that can be used as the formal foundation of business process compliance requirements, focusing on design time phase. Two main families of languages have been identified, which are: the temporal and deontic families of logic. In particular, we have considered LTL, CTL and FCL. The comparative analysis is based on the capabilities and limitations of each language and a set of required identified features. {\textcopyright} 2011 Springer-Verlag.",

author = "A. Elgammal and O. T{\"u}retken and {van den Heuvel}, W. and Michael Papazoglou",

year = "2011",

doi = "10.1007/978-3-642-19394-1_4",

language = "English",

isbn = "978-3-642-19393-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "27--38",

editor = "{Michael Maximilien}, E and G Rossi and S-T Yuan and H. Ludwig and M. Fantinato",

booktitle = "Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA",

address = "Germany",

note = "8th International Conference on Service Oriented Computing (ICSOC 2010), ICSOC 2010 ; Conference date: 07-12-2010 Through 10-12-2010",

}

Elgammal, A, Türetken, O , van den Heuvel, W & Papazoglou, M 2011, On the formal specification of regulatory compliance : a comparative analysis. in E Michael Maximilien, G Rossi, S-T Yuan, H Ludwig & M Fantinato (redactie), Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA. Lecture Notes in Computer Science, vol. 6568, Springer, Berlin, blz. 27-38, 8th International Conference on Service Oriented Computing (ICSOC 2010), San Francisco, CA, Verenigde Staten van Amerika, 7/12/10. https://doi.org/10.1007/978-3-642-19394-1_4

On the formal specification of regulatory compliance : a comparative analysis. / Elgammal, A.; Türetken, O.; van den Heuvel, W. et al.
Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA. redactie / E Michael Maximilien; G Rossi; S-T Yuan; H. Ludwig; M. Fantinato. Berlin: Springer, 2011. blz. 27-38 (Lecture Notes in Computer Science; Vol. 6568).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - On the formal specification of regulatory compliance : a comparative analysis

AU - Elgammal, A.

AU - Türetken, O.

AU - van den Heuvel, W.

AU - Papazoglou, Michael

N1 - Conference code: 8

PY - 2011

Y1 - 2011

N2 - Today's business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing compliance requirements based on a formal foundation of an expressive logical language enables the application of associated verification and analysis tools to ensure the compliance. In this paper, we have conducted a comparative analysis between three languages that can be used as the formal foundation of business process compliance requirements, focusing on design time phase. Two main families of languages have been identified, which are: the temporal and deontic families of logic. In particular, we have considered LTL, CTL and FCL. The comparative analysis is based on the capabilities and limitations of each language and a set of required identified features. © 2011 Springer-Verlag.

AB - Today's business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing compliance requirements based on a formal foundation of an expressive logical language enables the application of associated verification and analysis tools to ensure the compliance. In this paper, we have conducted a comparative analysis between three languages that can be used as the formal foundation of business process compliance requirements, focusing on design time phase. Two main families of languages have been identified, which are: the temporal and deontic families of logic. In particular, we have considered LTL, CTL and FCL. The comparative analysis is based on the capabilities and limitations of each language and a set of required identified features. © 2011 Springer-Verlag.

U2 - 10.1007/978-3-642-19394-1_4

DO - 10.1007/978-3-642-19394-1_4

M3 - Conference contribution

SN - 978-3-642-19393-4

T3 - Lecture Notes in Computer Science

SP - 27

EP - 38

BT - Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA

A2 - Michael Maximilien, E

A2 - Rossi, G

A2 - Yuan, S-T

A2 - Ludwig, H.

A2 - Fantinato, M.

PB - Springer

CY - Berlin

T2 - 8th International Conference on Service Oriented Computing (ICSOC 2010)

Y2 - 7 December 2010 through 10 December 2010

ER -

Elgammal A, Türetken O , van den Heuvel W, Papazoglou M. On the formal specification of regulatory compliance : a comparative analysis. In Michael Maximilien E, Rossi G, Yuan S-T, Ludwig H, Fantinato M, redacteurs, Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA. Berlin: Springer. 2011. blz. 27-38. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-19394-1_4

On the formal specification of regulatory compliance : a comparative analysis

Samenvatting

Publicatie series

Congres

Toegang tot document

Vingerafdruk

Citeer dit