Algorithms for Basic Compliance Problems (bibtex)
by S. Colombo Tosatto, M. El Kharbili, G. Governatori, P. Kelsen, Q. Ma, L. van der Torre
Abstract:
The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two classes of obligations in processes. Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem. We finally show that both algorithms proposed in the paper belong to the complexity class P.
Reference:
Algorithms for Basic Compliance Problems (S. Colombo Tosatto, M. El Kharbili, G. Governatori, P. Kelsen, Q. Ma, L. van der Torre), 2013.
Bibtex Entry:
@Other{10993/12968,
  Title                    = {Algorithms for Basic Compliance Problems},
  Abstract                 = {The present paper focuses on the problems of verifying compliance for global achievement and maintenance obligations. We first introduce the elements needed to identify and study compliance to these two classes of obligations in processes. Additionally, we define procedures and algorithms to efficiently deal with the identified compliance problem. We finally show that both algorithms proposed in the paper belong to the complexity class P.},
  Author                   = {Colombo Tosatto, S. and El Kharbili, M. and Governatori, G. and Kelsen, P. and Ma, Q. and van der Torre, L.},
  Timestamp                = {2015.01.26},
  Year                     = {2013}
}
Powered by bibtexbrowser