FOL-Based Approach for Improving Legal-GRL Modeling Framework: A Case for Requirements Engineering of Legal Regulations of Social Media

Requirements engineers need to have a comprehensive requirements modeling framework for modeling legal requirements, particularly for privacy-related regulations, which are required for IT systems. The nature of law demands a special approach for dealing with the complexity of regulations. In this paper, we integrate different approaches for modeling legal requirements into one unified framework. We use semantic parameterization technique and first-order logic (FOL) approach for extracting legal requirements from legal documents. We then use Goal-oriented Requirements Language (GRL) to illustrate and evaluate the models. The aim of this paper is to improve and extend the existing Legal-GRL framework using semantic parameterization process and FOL. We use social media as the example to illustrate our approach.

[1]  Guido Boella,et al.  Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation , 2009, AICOL Workshops.

[2]  Jon Barwise,et al.  Language, Proof, and Logic: Second Edition , 2011 .

[3]  Guido Governatori,et al.  Possible World Semantics for Defeasible Deontic Logic , 2012, DEON.

[4]  Annie I. Antón,et al.  Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[5]  John Mylopoulos,et al.  Towards a framework for law-compliant software requirements , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[6]  Fuyuki Ishikawa,et al.  Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering , 2009, 2009 Second International Workshop on Requirements Engineering and Law.

[7]  S. Dimock.  Classic Readings and Cases in Philosophy of Law , 2006 .

[8]  Daniel Amyot,et al.  Introduction to the User Requirements Notation: learning by example , 2003, Comput. Networks.

[9]  Annie I. Antón,et al.  Identifying and classifying ambiguity for regulatory requirements , 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

[10]  Guido Governatori,et al.  Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments , 2015, ICAIL.

[11]  Daniel Amyot,et al.  A systematic review of goal-oriented requirements management frameworks for business process compliance , 2011, 2011 Fourth International Workshop on Requirements Engineering and Law.

[12]  Eric Dubois,et al.  Using Goal-Oriented Requirements Engineering for Improving the Quality of ISO/IEC 15504 based Compliance Assessment Frameworks , 2008, 2008 16th IEEE International Requirements Engineering Conference.

[13]  John Mylopoulos,et al.  A Meta-Model for Modelling Law-Compliant Requirements , 2009, 2009 Second International Workshop on Requirements Engineering and Law.

[14]  Daniel Amyot,et al.  Legal goal-oriented requirement language (legal GRL) for modeling regulations , 2014, MiSE 2014.

[15]  Guido Boella,et al.  A Logical Understanding of Legal Interpretation , 2010, KR.

[16]  Daniel Amyot,et al.  Towards a Framework for Tracking Legal Compliance in Healthcare , 2007, CAiSE.

[17]  Annie I. Antón,et al.  Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts , 2009, 2009 17th IEEE International Requirements Engineering Conference.

[18]  Annie I. Antón,et al.  Addressing Legal Requirements in Requirements Engineering , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[19]  Guido Governatori.  A Logic Framework of Normative-based Contract Management , 2010 .

[20]  Travis D. Breaux,et al.  A Theory of Vagueness and Privacy Risk Perception , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[21]  Guido Governatori,et al.  A conceptually rich model of business process compliance , 2010, APCCM.

[22]  Serena Villata,et al.  Visualizing Normative Systems: An Abstract Approach , 2012, DEON.

[23]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[24]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[25]  John Mylopoulos,et al.  Goal-Oriented Requirements Engineering: A Systematic Literature Map , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[26]  Luigi Logrippo,et al.  Requirements and compliance in legal systems: a logic approach , 2008, 2008 Requirements Engineering and Law.

[27]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[28]  Guido Governatori,et al.  Law, logic and business processes , 2010, 2010 Third International Workshop on Requirements Engineering and Law.

[29]  Annie I. Antón,et al.  Analyzing goal semantics for rights, permissions, and obligations , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[30]  Daniel Amyot,et al.  Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology , 2009, 2009 17th IEEE International Requirements Engineering Conference.