@inproceedings{30bf11e2ea2a4a77b3518a5abd33a0f8,
title = "Static compliance checking beyond separation of duty constraints",
abstract = "In many application domains, processes often have to comply with business level rules and policies, called compliance constraint. Separation of duty requirement is one of such constraint, and enhancement measures are taken to make sure the business process is compliance with the constraints. Separation of duty Algebra is a high level policy designed to specify Separation of duty constraints, which can describe both quantification requirements and qualification requirements. In this article, we improve the high level description SoDA by involving task information. The improved specification expresses relations between user and task, describes bind of duty constraint beyond separation of duty. In order to make the high level policy act on concrete process, we proceed by constructing mapping rules to translate high level policies to low level constraints, which is representing by Description Logic. Then, we propose a framework for business process compliance checking. At last we give a case study to show the suitably of the method.",
keywords = "business process compliance, description logic, framework, high level policy, low level constriant",
author = "Yang Bo and Chunhe Xia and Yang Luo and Qing Tang",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014 ; Conference date: 08-11-2014 Through 10-11-2014",
year = "2014",
month = jan,
day = "27",
doi = "10.1109/3PGCIC.2014.53",
language = "英语",
series = "Proceedings - 2014 9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "171--178",
editor = "Leonard Barolli and Jin Li and Ogiela, \{Marek R.\} and Fatos Xhafa and Tomoki Yoshihisa",
booktitle = "Proceedings - 2014 9th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC 2014",
address = "美国",
}