Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
Top Cited Papers
- 1 September 2006
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 1090705X,p. 49-58
Abstract
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations are typically wrought with ambiguities, making the process of deriving system requirements ad hoc and error prone. In highly regulated domains such as healthcare, there is a need for more comprehensive standards that can be used to assure that system requirements conform to regulations. To address this need, we expound upon a process called semantic parameterization previously used to derive rights and obligations from privacy goals. In this work, we apply the process to the privacy rule from the U.S. Health Insurance Portability and Accountability Act (HIPAA). We present our methodology for extracting and prioritizing rights and obligations from regulations and show how semantic models can be used to clarify ambiguities through focused elicitation and to balance rights with obligations. The results of our analysis can aid requirements engineers, standards organizations, compliance officers, and stakeholders in assuring systems conform to policy and satisfy requirementsKeywords
This publication has 15 references indexed in Scilit:
- Deriving Semantic Models from Privacy Policies2005
- Modeling security requirements through ownership, permission and delegation2005
- Requirements interaction managementACM Computing Surveys, 2003
- The use of goals to surface requirements for evolving systems2002
- Deriving operational software specifications from system goals2002
- Agency and Deontic Logic2001
- Managing conflicts in goal-driven requirements engineeringIEEE Transactions on Software Engineering, 1998
- Deontic logic as founded on nonmonotonic logicAnnals of Mathematics and Artificial Intelligence, 1993
- The treatment of negation in logic programs for representing legislation1989
- A Prolog model of the income tax act of Canada1987