Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Darimont, R., Lemoine, M.: Goal-oriented analysis of regulations. In: ReMo2V, held at CAiSE 2006 (2006)
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)
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)
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)
Maxwell, J., Anton, A.: Developing production rule models to aid in acquiring requirements from legal texts. In: RE 2009, pp. 101–110 (2009)
Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Comput. Math. Org. Theor. 2006, 101–126 (2006)
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)
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)
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)
Singh, M.P.: Norms as a basis for governing sociotechnical systems. ACM Trans. Intell. Syst. Technol. 5(1), 21:1–21:23 (2014)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Ingolfo, S., Siena, A., Mylopoulos, J. (2014). Modeling Regulatory Compliance in Requirements Engineering. In: Indulska, M., Purao, S. (eds) Advances in Conceptual Modeling. ER 2014. Lecture Notes in Computer Science, vol 8823. Springer, Cham. https://doi.org/10.1007/978-3-319-12256-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-12256-4_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12255-7
Online ISBN: 978-3-319-12256-4
eBook Packages: Computer ScienceComputer Science (R0)