Reference : Algorithms for Basic Compliance Problems

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/12968

Title :	Algorithms for Basic Compliance Problems
Language :	English
Author, co-author :	Colombo Tosatto, Silvano [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	El Kharbili, Marwane [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Governatori, Guido [NICTA]
	Kelsen, Pierre [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Ma, Qin [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	Mar-2013
Main document title :	2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013.
Pages :	2-7
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-4799-1324-4
Event name :	2nd International Workshop on Engineering Safety and Security Systems, ESSS 2013.
Event date :	March 18, 2013
Keywords :	[en] Business Process Models ; Compliance Management ; Logic
Abstract :	[en] 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.
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/12968
DOI :	10.1109/ICSTW.2013.6
Other URL :	http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6571599

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access ESSS2013_CameraReady4Coauthors.pdf Publisher postprint 573.09 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map