Abstract
[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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Part of the corpus is accessible at: https://bit.ly/35znB0t.
References
The general data protection regulation (GDPR) (2018). https://gdpr-info.eu/
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). https://doi.org/10.1007/s00766-018-0294-1
Alchourrón, C.E.: Logic of norms and logic of normative propositions. Logique et analyse 12(47), 242–268 (1969)
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)
Amyot, D., Mussbacher, G., Ghanavati, S., Kealey, J.: GRL modeling and analysis with jUCMNav. iStar 766, 160–162 (2011)
Breaux, T.D., Antón, A.I.: A systematic method for acquiring regulatory requirements: A frame-based approach. RHAS-6), Delhi, India (2007)
Ghanavati, S.: Legal-URN framework for legal compliance of business processes. Ph.D. thesis, Université d’Ottawa/University of Ottawa (2013)
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)
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)
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). https://doi.org/10.1007/s10115-017-1142-1
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). https://doi.org/10.1007/978-3-319-12206-9_22
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)
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)
Sartor, G.: Fundamental legal concepts: a formal and teleological characterisation. Artif. Intell. Law 14(1–2), 101–142 (2006)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Rabinia, A., Ghanavati, S., Humphreys, L., Hahmann, T. (2020). A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview. In: Madhavji, N., Pasquale, L., Ferrari, A., Gnesi, S. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2020. Lecture Notes in Computer Science(), vol 12045. Springer, Cham. https://doi.org/10.1007/978-3-030-44429-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-44429-7_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-44428-0
Online ISBN: 978-3-030-44429-7
eBook Packages: Computer ScienceComputer Science (R0)