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.
@article{arxiv.2110.07710,
title = {Semi-automated checking for regulatory compliance in e-Health},
author = {Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Boella and Guido Governatori},
journal= {arXiv preprint arXiv:2110.07710},
year = {2021}
}