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

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

23 Citations (Scopus)

1 Downloads (Pure)

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. © 2011 Springer-Verlag.

Original language	English
Title of host publication	Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA
Editors	E Michael Maximilien, G Rossi, S-T Yuan, H. Ludwig, M. Fantinato
Place of Publication	Berlin
Publisher	Springer
Pages	27-38
ISBN (Print)	978-3-642-19393-4
DOIs	https://doi.org/10.1007/978-3-642-19394-1_4
Publication status	Published - 2011
Externally published	Yes
Event	8th International Conference on Service Oriented Computing (ICSOC 2010) - San Francisco, CA, United States Duration: 7 Dec 2010 → 10 Dec 2010 Conference number: 8

Publication series

Name	Lecture Notes in Computer Science
Volume	6568
ISSN (Print)	0302-9743

Conference

Conference	8th International Conference on Service Oriented Computing (ICSOC 2010)
Abbreviated title	ICSOC 2010
Country/Territory	United States
City	San Francisco, CA
Period	7/12/10 → 10/12/10
Other	Conference on Service Oriented Computing (ICSOC 2010)

Access to Document

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

Cite this

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 (Eds.), Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA (pp. 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. editor / E Michael Maximilien ; G Rossi ; S-T Yuan ; H. Ludwig ; M. Fantinato. Berlin : Springer, 2011. pp. 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 (eds), 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, pp. 27-38, 8th International Conference on Service Oriented Computing (ICSOC 2010), San Francisco, CA, United States, 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. ed. / E Michael Maximilien; G Rossi; S-T Yuan; H. Ludwig; M. Fantinato. Berlin: Springer, 2011. p. 27-38 (Lecture Notes in Computer Science; Vol. 6568).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 ST, Ludwig H, Fantinato M, editors, Proceedings of the 8th International Conference on Service Oriented Computing, ICSOC 2010, 7 - 10 December 2010, San Francisco, CA. Berlin: Springer. 2011. p. 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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this