@inproceedings{df18f5c189d74cd790655c015e31957c,
title = "Root-cause analysis of design-time compliance violations on the basis of property patterns",
abstract = "Today's business environment demands a high degree of compliance of business processes with business rules, policies, regulations and laws. Compliance regulations, such Sarbanes-Oxley force enterprises to continuously review their business processes and service-enabled applications and ensure that they satisfy the set of relevant compliance constraints. Compliance management should be considered from the very early stages of the business process design. In this paper, a taxonomy of compliance constraints for business processes is introduced based on property specification patterns, where patterns can be used to facilitate the formal specification of compliance constraints. This taxonomy serves as the backbone of the root-cause analysis, which is conducted to reason about and eventually resolve design-time compliance violations. Based on the root-cause analysis, appropriate guidelines and instructions can be provided as remedies to alleviate design-time compliance deviations in service-enabled business processes. {\textcopyright} 2010 Springer-Verlag.",
author = "A. Elgammal and O. T{\"u}retken and {van den Heuvel}, W. and M. Papazoglou",
year = "2010",
doi = "10.1007/978-3-642-17358-5_2",
language = "English",
isbn = "978-3-642-17357-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "17--31",
booktitle = "Proceedings of the 8th International Conference on Service Oriented Computing, (ICSOC 2010), 7 - 10 December 2010, San Francisco, CA",
address = "Germany",
}