Abstract
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.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
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), http://selab.fbk.eu/lawvariability/
Ingolfo, S., Siena, A., Mylopoulos, J., Susi, A., Perini, A.: Arguing regulatory compliance of software requirements. Data & Knowledge Engineering 87 (2013)
Loebe, F.: Abstract vs. social roles-a refined top-level ontological analysis. In: Procs. of AAAI Fall Symposium Roles 2005 (2005)
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)
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)
Sadri, F., Stathis, K., Toni, F.: Normative kgp agents. Comput. Math. Org. Theor. 2006, 101–126 (2006)
Seipel, D., Minker, J., Ruiz, C.: A characterization of the partial stable models for disjunctive databases. In: ILPS, pp. 245–259 (1997)
Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with Nòmos 2. In: ER 2012 (2012)
Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Designing law-compliant software requirements. In: ER 2009, pp. 472–486 (2009)
Singh, M.P.: Norms as a basis for governing sociotechnical systems. ACM Trans. Intell. Syst. Technol. 5(1), 21:1–21:23 (2014)
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., Jureta, I., Siena, A., Perini, A., Susi, A. (2014). Nòmos 3: Legal Compliance of Roles and Requirements. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds) Conceptual Modeling. ER 2014. Lecture Notes in Computer Science, vol 8824. Springer, Cham. https://doi.org/10.1007/978-3-319-12206-9_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-12206-9_22
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12205-2
Online ISBN: 978-3-319-12206-9
eBook Packages: Computer ScienceComputer Science (R0)