Modular norm models: practical representation and analysis of contractual rights and obligations

Sayonnha Mandal, Robin Gandhi, Harvey Siy

Research output: Contribution to journalArticle

Abstract

Compliance analysis requires legal counsel but is generally unavailable in many software projects. Analysis of legal text using logic-based models can help developers understand requirements for the development and use of software-intensive systems throughout its lifecycle. We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations. A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario. Our method enables modular norm model extraction, representation, and reasoning. For norm extraction, using the theory of frame semantics, we construct two foundational norm templates for linguistic guidance. These templates correspond to Hohfeld’s concepts of claim-right and its jural correlative, duty. Each template instantiation results in a norm model, encapsulated in a modular unit which we call a super-situation that corresponds to an atomic fragment of law. For hierarchical modularity, super-situations contain a primary norm that participates in relationships with other norm models. Norm compliance values are logically derived from its related situations and propagated to the norm’s containing super-situation, which in turn participates in other super-situations. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches. While we demonstrate the usefulness of our norm models through empirical studies with contractual statements in open source software and privacy domains, its grounding in theories of law and linguistics allows wide applicability.

Original languageEnglish (US)
JournalRequirements Engineering
DOIs
StateAccepted/In press - Jan 1 2019

Fingerprint

Linguistics
Electric grounding
Semantics
Compliance
Open source software

Keywords

  • Compliance
  • Frame semantics
  • Hohfeld rights
  • Laws
  • Norms

ASJC Scopus subject areas

  • Software
  • Information Systems

Cite this

Modular norm models : practical representation and analysis of contractual rights and obligations. / Mandal, Sayonnha; Gandhi, Robin; Siy, Harvey.

In: Requirements Engineering, 01.01.2019.

Research output: Contribution to journalArticle

@article{d0550fc34b9e401196b5154b82e5057f,
title = "Modular norm models: practical representation and analysis of contractual rights and obligations",
abstract = "Compliance analysis requires legal counsel but is generally unavailable in many software projects. Analysis of legal text using logic-based models can help developers understand requirements for the development and use of software-intensive systems throughout its lifecycle. We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations. A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario. Our method enables modular norm model extraction, representation, and reasoning. For norm extraction, using the theory of frame semantics, we construct two foundational norm templates for linguistic guidance. These templates correspond to Hohfeld’s concepts of claim-right and its jural correlative, duty. Each template instantiation results in a norm model, encapsulated in a modular unit which we call a super-situation that corresponds to an atomic fragment of law. For hierarchical modularity, super-situations contain a primary norm that participates in relationships with other norm models. Norm compliance values are logically derived from its related situations and propagated to the norm’s containing super-situation, which in turn participates in other super-situations. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches. While we demonstrate the usefulness of our norm models through empirical studies with contractual statements in open source software and privacy domains, its grounding in theories of law and linguistics allows wide applicability.",
keywords = "Compliance, Frame semantics, Hohfeld rights, Laws, Norms",
author = "Sayonnha Mandal and Robin Gandhi and Harvey Siy",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/s00766-019-00323-y",
language = "English (US)",
journal = "Requirements Engineering",
issn = "0947-3602",
publisher = "Springer London",

}

TY - JOUR

T1 - Modular norm models

T2 - practical representation and analysis of contractual rights and obligations

AU - Mandal, Sayonnha

AU - Gandhi, Robin

AU - Siy, Harvey

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Compliance analysis requires legal counsel but is generally unavailable in many software projects. Analysis of legal text using logic-based models can help developers understand requirements for the development and use of software-intensive systems throughout its lifecycle. We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations. A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario. Our method enables modular norm model extraction, representation, and reasoning. For norm extraction, using the theory of frame semantics, we construct two foundational norm templates for linguistic guidance. These templates correspond to Hohfeld’s concepts of claim-right and its jural correlative, duty. Each template instantiation results in a norm model, encapsulated in a modular unit which we call a super-situation that corresponds to an atomic fragment of law. For hierarchical modularity, super-situations contain a primary norm that participates in relationships with other norm models. Norm compliance values are logically derived from its related situations and propagated to the norm’s containing super-situation, which in turn participates in other super-situations. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches. While we demonstrate the usefulness of our norm models through empirical studies with contractual statements in open source software and privacy domains, its grounding in theories of law and linguistics allows wide applicability.

AB - Compliance analysis requires legal counsel but is generally unavailable in many software projects. Analysis of legal text using logic-based models can help developers understand requirements for the development and use of software-intensive systems throughout its lifecycle. We outline a practical modeling process for norms in legally binding agreements that include contractual rights and obligations. A computational norm model analyzes available rights and required duties based on the satisfiability of situations, a state of affairs, in a given scenario. Our method enables modular norm model extraction, representation, and reasoning. For norm extraction, using the theory of frame semantics, we construct two foundational norm templates for linguistic guidance. These templates correspond to Hohfeld’s concepts of claim-right and its jural correlative, duty. Each template instantiation results in a norm model, encapsulated in a modular unit which we call a super-situation that corresponds to an atomic fragment of law. For hierarchical modularity, super-situations contain a primary norm that participates in relationships with other norm models. Norm compliance values are logically derived from its related situations and propagated to the norm’s containing super-situation, which in turn participates in other super-situations. This modularity allows on-demand incremental modeling and reasoning using simpler model primitives than previous approaches. While we demonstrate the usefulness of our norm models through empirical studies with contractual statements in open source software and privacy domains, its grounding in theories of law and linguistics allows wide applicability.

KW - Compliance

KW - Frame semantics

KW - Hohfeld rights

KW - Laws

KW - Norms

UR - http://www.scopus.com/inward/record.url?scp=85070222208&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85070222208&partnerID=8YFLogxK

U2 - 10.1007/s00766-019-00323-y

DO - 10.1007/s00766-019-00323-y

M3 - Article

AN - SCOPUS:85070222208

JO - Requirements Engineering

JF - Requirements Engineering

SN - 0947-3602

ER -