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/CongresprocedureConferentiebijdrageAcademicpeer review

19 Citaten (Scopus)
1 Downloads (Pure)


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-2Engels
TitelProceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA
RedacteurenE Michael Maximilien, G Rossi, S-T Yuan, H. Ludwig, M. Fantinato
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-19393-4
StatusGepubliceerd - 2011
Extern gepubliceerdJa
Evenement8th International Conference on Service Oriented Computing (ICSOC 2010) - San Francisco, CA, Verenigde Staten van Amerika
Duur: 7 dec. 201010 dec. 2010
Congresnummer: 8

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Congres8th International Conference on Service Oriented Computing (ICSOC 2010)
Verkorte titelICSOC 2010
Land/RegioVerenigde Staten van Amerika
StadSan Francisco, CA
AnderICSOC 2010 : 8th international conference on service oriented computing


Duik in de onderzoeksthema's van 'On the formal specification of regulatory compliance : a comparative analysis'. Samen vormen ze een unieke vingerafdruk.

Citeer dit