Designing for Compliance: Norms and Goals
View/ Open
File version
Accepted Manuscript (AM)
Author(s)
Governatori, G
Olivieri, F
Scannapieco, S
Cristani, M
Griffith University Author(s)
Year published
2011
Metadata
Show full item recordAbstract
We address the problem of define a modal defeasible theory able to capture intuitions as "being compliant" with a set of norms and a set of goals. We will treat norms and goals as modalised literals. From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory to obtain a new compliant one; (b) in case the theory is compliant how to create an entirely new process starting from the theory, i.e., from the fully declarative description of the specifications for a process and the norms.We address the problem of define a modal defeasible theory able to capture intuitions as "being compliant" with a set of norms and a set of goals. We will treat norms and goals as modalised literals. From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory to obtain a new compliant one; (b) in case the theory is compliant how to create an entirely new process starting from the theory, i.e., from the fully declarative description of the specifications for a process and the norms.
View less >
View less >
Journal Title
Lecture Notes in Computer science
Volume
7018
Copyright Statement
© 2011 Springer Berlin/Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher.The original publication is available at www.springerlink.com
Subject
Other information and computing sciences not elsewhere classified