Skip to Main content Skip to Navigation
Conference papers

FLAVOR: A Formal Language for A posteriori Verification of Legal Rules

Romuald Thion 1 Daniel Le Métayer 2
1 BD - Base de Données
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : Organizations have to comply with a growing number of rules (legal, regulatory, contractual, etc.) and it becomes more and more challenging for them to ensure that they really meet all their obligations. IT systems, even if they cannot provide the full answer to this complex issue, can help organizations in the management and monitoring of their obligations. In this paper, we derive a set of requirements from representative examples of obligations and propose a language providing essential features such as ``contrary to duty'' obligations, obligations with deadlines and contextual obligations. We define its semantics, suggest its implementation as an audit mechanism, and show its application to the definition of privacy policy rules.
Document type :
Conference papers
Complete list of metadatas
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Thursday, August 18, 2016 - 7:26:40 PM
Last modification on : Wednesday, July 8, 2020 - 12:43:36 PM


  • HAL Id : hal-01354418, version 1


Romuald Thion, Daniel Le Métayer. FLAVOR: A Formal Language for A posteriori Verification of Legal Rules. IEEE International Symposium on Policies for Distributed Systems and Networks, Jun 2011, Pise, Italy. pp.1-8. ⟨hal-01354418⟩



Record views