Nòmos 3: Legal Compliance of Roles and Requirements

  • Silvia Ingolfo
  • Ivan Jureta
  • Alberto Siena
  • Anna Perini
  • Angelo Susi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8824)


The problem of regulatory compliance for a software system consists of ensuring through a systematic, tool-supported process that the system complies with all elements of a relevant law. To deal with the problem, we build a model of the law and contrast it with a model of the requirements of the system. In earlier work, we proposed a modelling language for law (Nòmos 2) along with a reasoning mechanism that answers questions about compliance. In this paper we extend Nòmos 2 to include the concepts of role and requirement so that we can reason about compliance in specific domains. Also, Nòmos 3 represents the distribution of responsibilities to roles, distinguishing social from legal roles. Nòmos 3 models allow us to reason about compliance of requirements and roles with the norms that constitute a law. A small case study is used to illustrate the elements of Nòmos 3 and the kinds of reasoning it supports.


requirement engineering regulatory compliance roles 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Breaux, T.D., Vail, M.W., Antón, A.I.: Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations. In: RE 2006 (2006)Google Scholar
  2. 2.
    Darimont, R., Lemoine, M.: Goal-oriented analysis of regulations. In: ReMo2V, held at CAiSE 2006 (2006)Google Scholar
  3. 3.
    Derakhshan, F., Bench-Capon, T., McBurney, P.: Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems. Journal of Logic and Computation 23(2), 355–372 (2013)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Gangemi, A., Sagri, M.-T., Tiscornia, D.: A constructive framework for legal ontologies. In: Benjamins, V.R., Casanovas, P., Breuker, J., Gangemi, A. (eds.) Law and the Semantic Web. LNCS (LNAI), vol. 3369, pp. 97–124. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Ghanavati, S., Amyot, D., Peyton, L.: Towards a framework for tracking legal compliance in healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 218–232. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Ingolfo, S., Jureta, I., Siena, A., Susi, A., Perini, A., Mylopoulos, J.: Legal compliance of roles and requirements. Tech. rep., University of Trento, Italy, tR14-03-001 (2012),
  7. 7.
    Ingolfo, S., Siena, A., Mylopoulos, J., Susi, A., Perini, A.: Arguing regulatory compliance of software requirements. Data & Knowledge Engineering 87 (2013)Google Scholar
  8. 8.
    Loebe, F.: Abstract vs. social roles-a refined top-level ontological analysis. In: Procs. of AAAI Fall Symposium Roles 2005 (2005)Google Scholar
  9. 9.
    Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., Guarino, N.: Social roles and their descriptions. In: Procs. of KR 2004, pp. 267–277 (2004)Google Scholar
  10. 10.
    Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: Situated normative infrastructures: the normative object approach. J. Logic Comput. 23, 397–424 (2013)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Comput. Math. Org. Theor. 2006, 101–126 (2006)CrossRefGoogle Scholar
  12. 12.
    Seipel, D., Minker, J., Ruiz, C.: A characterization of the partial stable models for disjunctive databases. In: ILPS, pp. 245–259 (1997)Google Scholar
  13. 13.
    Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with Nòmos 2. In: ER 2012 (2012)Google Scholar
  14. 14.
    Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Designing law-compliant software requirements. In: ER 2009, pp. 472–486 (2009)Google Scholar
  15. 15.
    Singh, M.P.: Norms as a basis for governing sociotechnical systems. ACM Trans. Intell. Syst. Technol. 5(1), 21:1–21:23 (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Silvia Ingolfo
    • 1
  • Ivan Jureta
    • 2
  • Alberto Siena
    • 3
  • Anna Perini
    • 3
  • Angelo Susi
    • 3
  1. 1.University of TrentoTrentoItaly
  2. 2.University of NamurNamurBelgium
  3. 3.FBK-IrstTrentoItaly

Personalised recommendations