On the formal specification of regulatory compliance : a comparative analysis

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

18 Citations (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.
Original languageEnglish
Title of host publicationProceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA
EditorsE Michael Maximilien, G Rossi, S-T Yuan, H. Ludwig, M. Fantinato
Place of PublicationBerlin
ISBN (Print)978-3-642-19393-4
Publication statusPublished - 2011
Externally publishedYes
Event8th International Conference on Service Oriented Computing (ICSOC 2010) - San Francisco, CA, United States
Duration: 7 Dec 201010 Dec 2010
Conference number: 8

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conference8th International Conference on Service Oriented Computing (ICSOC 2010)
Abbreviated titleICSOC 2010
Country/TerritoryUnited States
CitySan Francisco, CA
OtherConference on Service Oriented Computing (ICSOC 2010)


Dive into the research topics of 'On the formal specification of regulatory compliance : a comparative analysis'. Together they form a unique fingerprint.

Cite this