Skip to main content

2020 | OriginalPaper | Buchkapitel

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

verfasst von : Amin Rabinia, Sepideh Ghanavati, Llio Humphreys, Torsten Hahmann

Erschienen in: Requirements Engineering: Foundation for Software Quality

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Part of the corpus is accessible at: https://​bit.​ly/​35znB0t.
 
Literatur
3.
Zurück zum Zitat Alchourrón, C.E.: Logic of norms and logic of normative propositions. Logique et analyse 12(47), 242–268 (1969)MathSciNetMATH Alchourrón, C.E.: Logic of norms and logic of normative propositions. Logique et analyse 12(47), 242–268 (1969)MathSciNetMATH
4.
Zurück zum Zitat 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)CrossRef 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)CrossRef
5.
Zurück zum Zitat Amyot, D., Mussbacher, G., Ghanavati, S., Kealey, J.: GRL modeling and analysis with jUCMNav. iStar 766, 160–162 (2011) Amyot, D., Mussbacher, G., Ghanavati, S., Kealey, J.: GRL modeling and analysis with jUCMNav. iStar 766, 160–162 (2011)
6.
Zurück zum Zitat Breaux, T.D., Antón, A.I.: A systematic method for acquiring regulatory requirements: A frame-based approach. RHAS-6), Delhi, India (2007) Breaux, T.D., Antón, A.I.: A systematic method for acquiring regulatory requirements: A frame-based approach. RHAS-6), Delhi, India (2007)
7.
Zurück zum Zitat Ghanavati, S.: Legal-URN framework for legal compliance of business processes. Ph.D. thesis, Université d’Ottawa/University of Ottawa (2013) Ghanavati, S.: Legal-URN framework for legal compliance of business processes. Ph.D. thesis, Université d’Ottawa/University of Ottawa (2013)
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat 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) 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)
12.
Zurück zum Zitat 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.: 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)
13.
Zurück zum Zitat 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) 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)
14.
Zurück zum Zitat Sartor, G.: Fundamental legal concepts: a formal and teleological characterisation. Artif. Intell. Law 14(1–2), 101–142 (2006) Sartor, G.: Fundamental legal concepts: a formal and teleological characterisation. Artif. Intell. Law 14(1–2), 101–142 (2006)
15.
Zurück zum Zitat 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) 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)
Metadaten
Titel
A Methodology for Implementing the Formal Legal-GRL Framework: A Research Preview
verfasst von
Amin Rabinia
Sepideh Ghanavati
Llio Humphreys
Torsten Hahmann
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-44429-7_9

Premium Partner