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 Nomos 3, a modelling language tailored to modelling laws and requirements. Nomos 3 models can be translated into a formal specification that supports automated compliance analysis. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-12256-4_13 | ADVANCES IN CONCEPTUAL MODELING |
Keywords | Field | DocType |
Requirement engineering,regulatory compliance,modeling language | Software engineering,Computer science,Modeling language,Requirements engineering,Formal specification,Software system,Software,Database | Conference |
Volume | ISSN | Citations |
8823 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Silvia Ingolfo | 1 | 97 | 7.35 |
Alberto Siena | 2 | 297 | 27.63 |
John Mylopoulos | 3 | 10956 | 1569.74 |