Alloy Community

User login

A Governance Requirements Extraction Model for Legal Compliance Validation

whassan's picture
Authors: 
Waël Hassan, Luigi Logrippo
Publication Venue: 
17th IEEE International Requirements Engineering Conference, RELAW Workshop , Atlanta, Georgia, USA – 31 August – 4 September 2009
When Published: 
Sep 1 2009

We present a model-based approach to extract governance requirements from the law and enterprise regulations, to formal specifications. This is the first step of an end-to-end implemented methodology for validating legal compliance of enterprises to law though logic models. Our UML-based based Governance Extraction Model (GEM) is able to extract many legal and enterprise requirements, particularly business process and access-control requirements. Examples from Canadian and USA Financial and privacy laws are provided. As a result of our extraction process, logic analyzers were shown to be able to detect compliance faults.



Attachment


Size
HassanLogrippo-GEM-CRC-16.pdf327.58 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte