A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12045)


[Context and motivation] Legal provisions create a distinct set of requirements for businesses to be compliant with. Capturing legal requirements and managing regulatory compliance is a challenging task in system development. [Question/problem] Part of this task involves modeling legal requirements, which is not trivial for requirements engineers as non-experts in law. The resultant legal requirements models also tend to be very complex and hard to understand. [Principal ideas/results] To facilitate the modeling process, we propose a formal framework for modeling legal requirements. This framework includes a methodology that helps to resolve complexities of legal requirements models. [Contribution] In this paper, we outline this methodology and present a procedure that reduces modal and conditional complexities of legal models and facilitates automation of the modeling process.


Goal model Formal logic Legal requirements GDPR 


  1. 1.
    The general data protection regulation (GDPR) (2018).
  2. 2.
    Akhigbe, O., Amyot, D., Richards, G.: A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance. Requirements Eng. 24(4), 459–481 (2018). Scholar
  3. 3.
    Alchourrón, C.E.: Logic of norms and logic of normative propositions. Logique et analyse 12(47), 242–268 (1969)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25(8), 841–877 (2010)CrossRefGoogle Scholar
  5. 5.
    Amyot, D., Mussbacher, G., Ghanavati, S., Kealey, J.: GRL modeling and analysis with jUCMNav. iStar 766, 160–162 (2011)Google Scholar
  6. 6.
    Breaux, T.D., Antón, A.I.: A systematic method for acquiring regulatory requirements: A frame-based approach. RHAS-6), Delhi, India (2007)Google Scholar
  7. 7.
    Ghanavati, S.: Legal-URN framework for legal compliance of business processes. Ph.D. thesis, Université d’Ottawa/University of Ottawa (2013)Google Scholar
  8. 8.
    Ghanavati, S., Amyot, D., Rifaut, A.: Legal goal-oriented requirement language (legal GRL) for modeling regulations. In: Proceedings of the 6th International Workshop on Modeling in Software Engineering, pp. 1–6. ACM (2014)Google Scholar
  9. 9.
    Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling, vol. 110, pp. 3–12. Australian Computer Society, Inc. (2010)Google Scholar
  10. 10.
    Hashmi, M., Governatori, G., Lam, H.-P., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79–133 (2018). Scholar
  11. 11.
    Ingolfo, S., Jureta, I., Siena, A., Perini, A., Susi, A.: Nòmos 3: legal compliance of roles and requirements. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 275–288. Springer, Cham (2014). Scholar
  12. 12.
    Rabinia, A., Ghanavati, S.: FOL-based approach for improving legal-GRL modeling framework: a case for requirements engineering of legal regulations of social media. In: IEEE 25th International RE Conference Workshops (REW), pp. 213–218 (2017)Google Scholar
  13. 13.
    Rabinia, A., Ghanavati, S.: The FOL-based legal-GRL (FLG) framework: towards an automated goal modeling approach for regulations. In: 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE), pp. 58–67 (2018)Google Scholar
  14. 14.
    Sartor, G.: Fundamental legal concepts: a formal and teleological characterisation. Artif. Intell. Law 14(1–2), 101–142 (2006)Google Scholar
  15. 15.
    Torre, D., Soltana, G., Sabetzadeh, M., Briand, L., Auffinger, Y., Goes, P.: Using models to enable compliance checking against the GDPR: an experience report. In: Proceeding of the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 19) (2019)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.University of MaineOronoUSA
  2. 2.University of TorinoTurinItaly

Personalised recommendations