@inproceedings{630af0fee67b4cc38ae43074a546f6b6,
title = "Modular norm models: A lightweight approach for modeling and reasoning about legal compliance",
abstract = "Complying with legal regulatory requirements in privacy and security is necessary for critical software systems. Analysis of complex and voluminous legal text can benefit from the automation and traceability of logic-based models. We propose such a model based on norms. Norms are legal rights and associated duties expressed in regulatory documents. Such norm models help reason about available rights and required duties based on the satisfiability of situations, a state-of-affair, in a given scenario. But model extraction from natural language as well as compliance reasoning in complex scenarios needs subject matter expertise. Our method enables modular norm model extraction and reasoning. For extraction, using the theory of frame-semantics we construct two foundational norm templates that cover Hohfeld's concepts of claim-right and its jural correlative, duty. Template instantiations from legal text result in a repeatable method for extraction of modular norm models. For reasoning, we introduce the notion of a super-situation. Super-situations contain other norm models. Compliance results from a modular norm are propagated to its containing super-situation, which in turn participates in other modular norms. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches.",
keywords = "Applicability, Compliance, Frame semantics, Hohfeld rights, Laws, Norms, Satisfiability",
author = "Sayonnha Mandal and Robin Gandhi and Harvey Siy",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 ; Conference date: 06-11-2017 Through 11-11-2017",
year = "2018",
month = mar,
day = "29",
doi = "10.1109/DASC-PICom-DataCom-CyberSciTec.2017.115",
language = "English (US)",
series = "Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "657--662",
booktitle = "Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017",
}