On the formal specification of regulatory compliance : a comparative analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

17 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-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
UitgeverijSpringer
Pagina's27-38
ISBN van geprinte versie978-3-642-19393-4
DOI's
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
Volume6568
ISSN van geprinte versie0302-9743

Congres

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

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

  • 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