Title :
Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language
Author :
Rashidi-Tabrizi, Rouzbahan ; Mussbacher, Gunter ; Amyot, Daniel
Author_Institution :
Sch. of Electr. Eng. & Comput. Sci. (EECS), Univ. of Ottawa, Ottawa, ON, Canada
Abstract :
As demonstrated by a benchmark HIPPA case study, the Measured Compliance Profile for the Goal-oriented Requirement Language (GRL) is used to formalize legal text with GRL in order to make it amenable to compliance analysis. This formalization is based on guidelines yielding a goal model that can be analyzed for compliance with the jUCMNav tool with the help of real-world measurements captured by indicators in the goal model. For usability reasons, the legal text may also be specified in a tabular representation and subsequently transformed into a goal model by jUCMNav.
Keywords :
formal specification; law; GRL; HIPPA case study; compliance profile; goal-oriented requirement language; jUCMNav tool; legal requirements analysis; legal text; tabular representation; Analytical models; Educational institutions; Electric variables measurement; Electrical engineering; Law enforcement; Goal-oriented Requirement Language; compliance; indicator; jUCMNav; legal requirements;
Conference_Titel :
Requirements Engineering and Law (RELAW), 2013 Sixth International Workshop on
Conference_Location :
Rio de Janeiro
DOI :
10.1109/RELAW.2013.6671346
