Semi-automated checking for regulatory compliance in e-Health

Ilaria Angela Amantea · Livio Robaldo · Emilio Sulis · Guido Boella A · Guido Governatori A

9 citations0/0 files storedIEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Access Control and Trust Artificial Intelligence in Law

Abstract

One of the main issues of every business process is to be compliant with legal rules. This work presents a methodology to check in a semi-automated way the regulatory compliance of a business process. We analyse an e-Health hospital service in particular: the Hospital at Home (HaH) service. The paper shows, at first, the analysis of the hospital business using the Business Process Management and Notation (BPMN) standard language, then, the formalization in Defeasible Deontic Logic (DDL) of some rules of the European General Data Protection Regulation (GDPR). The aim is to show how to combine a set of tasks of a business with a set of rules to be compliant with, using a tool.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 9 citations exist upstream.

References

2013Business Process Management: A Comprehensive Survey 2017Patent and Trademark Office 2018The Theory and Practice of Change Management 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic 2006Compliance checking between business processes and business contracts 2005REPRESENTING BUSINESS CONTRACTS INRuleML 2015Compliance monitoring in business processes: Functionalities, application, and tool-support 2016BPMN 2.0 : introduction to the standard for business process modeling

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.