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.
CITATION STYLE
Ingolfo, S., Siena, A., & Mylopoulos, J. (2014). Modeling regulatory compliance in requirements engineering. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8823, pp. 127–132). Springer Verlag. https://doi.org/10.1007/978-3-319-12256-4_13
Mendeley helps you to discover research relevant for your work.