Modeling Regulatory Compliance in Requirements Engineering

  • Silvia Ingolfo
  • Alberto Siena
  • John Mylopoulos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8823)


A large and rapidly growing number of laws is impacting software systems world-wide. For each one of them, software designers need to ensure that their system, new or legacy, complies with the law. Establishing compliance requires the ability to identify which laws are applicable, what are the different ways to comply, and whether given requirements for a software system comply. In this short paper we give an overview of ongoing work on Nòmos 3, a modelling language tailored to modelling laws and requirements. Nòmos 3 models can be translated into a formal specification that supports automated compliance analysis.


Requirement engineering regulatory compliance modeling language 


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: IEEE Conf. Req. Eng. – 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.
    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. LNCS, vol. 4495, pp. 218–232. Springer, Heidelberg (2007)Google Scholar
  5. 5.
    Ingolfo, S., Jureta, I., Siena, A., Perini, A., Susi, A., Mylopoulos, J.: Nòmos 3: Legal compliance of roles and requirements. In: ER 2014 (2014)Google Scholar
  6. 6.
    Maxwell, J., Anton, A.: Developing production rule models to aid in acquiring requirements from legal texts. In: RE 2009, pp. 101–110 (2009)Google Scholar
  7. 7.
    Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Comput. Math. Org. Theor. 2006, 101–126 (2006)CrossRefGoogle Scholar
  8. 8.
    Siena, A., Ingolfo, S., Perini, A., Susi, A., Mylopoulos, J.: Automated reasoning for regulatory compliance. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds.) ER 2013. LNCS, vol. 8217, pp. 47–60. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  9. 9.
    Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with Nòmos 2. In: Atzeni, P., Cheung, D., Ram, S. (eds.) ER 2012 Main Conference 2012. LNCS, vol. 7532, pp. 383–396. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  10. 10.
    Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Designing law-compliant software requirements. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol. 5829, pp. 472–486. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. 11.
    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
  12. 12.
    Yu, E.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proc. IEEE International Symposium on Requirements Engineering, RE 1997, pp. 226–235 (January 1997)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Silvia Ingolfo
    • 1
  • Alberto Siena
    • 2
  • John Mylopoulos
    • 1
  1. 1.University of TrentoTrentoItaly
  2. 2.FBK-IrstTrentoItaly

Personalised recommendations