Title
Automated Reasoning For Regulatory Compliance
Abstract
Regulatory compliance is gaining attention from information systems engineers who must design systems that at the same time satisfy stakeholder requirements and comply with applicable laws. In our previous work, we have introduced a conceptual modelling language called Nomos 2 that aids requirements engineers analyze law to identify alternative ways for compliance. This paper presents an implemented reasoning tool that supports analysis of law models. The technical contributions of the paper include the formalization of reasoning mechanisms, their implementation in the NRTool, as well as an elaborated evaluation framework intended to determine whether the tool is scalable with respect to problem size, complexity as well as search space. The results of our experiments with the tool suggest that this conceptual modelling approach scales to real life regulatory compliance problems.
Year
DOI
Venue
2013
10.1007/978-3-642-41924-9_5
CONCEPTUAL MODELING, ER 2013
Keywords
Field
DocType
Conceptual Modeling, Automated Reasoning, Experimental Evaluation, Regulatory Compliance
Information system,Automated reasoning,Data mining,Conceptual model,Stakeholder,Computer science,Design systems,Management science,Scalability
Conference
Volume
ISSN
Citations 
8217
0302-9743
4
PageRank 
References 
Authors
0.42
18
5
Name
Order
Citations
PageRank
Alberto Siena129727.63
Silvia Ingolfo2977.35
Anna Perini3116583.51
Angelo Susi4105783.69
John Mylopoulos5109561569.74