Requirements and compliance in legal systems: a logic approach

Hassan, Waël; Logrippo, Luigi

doi:10.1109/relaw.2008.8

Cited by 17 publications

(8 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In contrast, Hassan and Logrippo [89] proposed a compliance validation approach for representing and combining legal requirements. Their semi-automated approach detects the inconsistencies and violations using a three-step mechanism.…”

Section: Model Checking-based Approachesmentioning

confidence: 99%

See 1 more Smart Citation

Are we done with business process compliance: state of the art and challenges ahead

et al. 2018

View full text Add to dashboard Cite

Literature on business process compliance (BPC) has predominantly focused on the alignment of the regulatory rules with the design, verification and validation of business processes. Previously surveys on BPC have been conducted with specific context in mind; however, the literature on BPC management research is largely sparse and does not accumulate a detailed understanding on existing literature and related issues faced by the domain. This survey provides a holistic view of the literature on existing BPC management approaches, and categories them based on different compliance management strategies in the context of formulated research questions. A systematic literature approach is used where search terms pertaining keywords were used to identify literature related to the research questions from scholarly databases. From initially 183 papers, we selected 79 papers related to the themes of this survey published between 2000-2015. The survey results reveal that mostly compliance management approaches center around three distinct categories namely: design-time (28%), run-time (32%) and auditing (10%). Also, organisational and internal control based compliance management frameworks (21%) and hybrid approaches make (9%) of the surveyed approaches. Furthermore, open research challenges and gaps are identified and discussed with respect to the compliance problem.

show abstract

Section: Model Checking-based Approachesmentioning

confidence: 99%

“…Integrating Rules with Processes: In order to verify the compliant status of business process, existing studies (e.g., [173,89,47]) proposed to enrich processes with the control objectives by means of semantic annotations (cf. Section 2.4.8).…”

Section: Gaps and Research Challenges Aheadmentioning

confidence: 99%

Are we done with business process compliance: state of the art and challenges ahead

et al. 2018

View full text Add to dashboard Cite

show abstract

“…Hassan and Logrippo developed a logic-based approach to compliance checking for requirements based on Alloy [11], [12], [13]. Their most recent work includes a model for extracting legal requirements from legal texts, a set of rules to translate those requirements into a formal logic, and tool support to analyze the resulting logical model for compliance [13].…”

Section: Related Workmentioning

confidence: 99%

Evaluating Legal Implementation Readiness Decision-Making

Massey

Otto

Antn

2015

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Software systems are increasingly regulated. Software engineers therefore must determine which requirements have met or exceeded their legal obligations and which requirements have not. Requirements that have met or exceeded their legal obligations are legally implementation ready, whereas requirements that have not met or exceeded their legal obligations need further refinement. In this paper, we examine how software engineers make these determinations using a multi-case study with three cases. Each case involves assessment of requirements for an electronic health record system that must comply with the US Health Insurance Portability and Accountability Act (HIPAA) and is measured against the evaluations of HIPAA compliance subject matter experts. Our first case examines how individual graduate-level software engineering students assess whether the requirements met or exceeded their HIPAA obligations. Our second case replicates the findings from our first case using a different set of participants. Our third case examines how graduate-level software engineering students assess requirements using the Wideband Delphi approach to deriving consensus in groups. Our findings suggest that the average graduate-level software engineering student is ill-prepared to write legally compliant software with any confidence and that domain experts are an absolute necessity.

show abstract

“…Verification of legal compliance. Compliance verification has long been studied for business processes in domains such as healthcare [12,13] and finance [15]. Few strands however address compliance for software systems.…”

Section: Related Workmentioning

confidence: 99%

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law

Soltana

Fourneret

Adedjouma

et al. 2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg's Income Tax Law providing initial evidence for the feasibility and usefulness of our approach.

show abstract

Requirements and compliance in legal systems: a logic approach

Cited by 17 publications

References 9 publications

Are we done with business process compliance: state of the art and challenges ahead

Are we done with business process compliance: state of the art and challenges ahead

Evaluating Legal Implementation Readiness Decision-Making

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law

Contact Info

Product

Resources

About