Semi-automated checking for regulatory compliance in e-Health

Amantea, Ilaria Angela; Robaldo, Livio; Sulis, Emilio; Boella, Guido; Governatori, Guido

doi:10.1109/edocw52865.2021.00063

Conference Paper/Proceeding/Abstract 856 views 74 downloads

Semi-automated checking for regulatory compliance in e-Health

Ilaria Angela Amantea, Livio Robaldo

, Emilio Sulis, Guido Boella, Guido Governatori

2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW)

Swansea University Author: Livio Robaldo

PDF | Accepted Manuscript

“© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”
Download (676.23KB)

Check full text

DOI (Published version): 10.1109/edocw52865.2021.00063

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 pape...

Full description

Published in:	2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW)
ISBN:	978-1-6654-4489-7 978-1-6654-4488-0
ISSN:	2325-6583 2325-6605
Published:	IEEE 2021
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa58454

first_indexed	2021-10-25T11:35:09Z
last_indexed	2022-04-05T03:17:52Z
id	cronfa58454
recordtype	SURis
fullrecord	<?xml version="1.0"?><rfc1807><datestamp>2022-04-04T14:17:38.5879554</datestamp><bib-version>v2</bib-version><id>58454</id><entry>2021-10-24</entry><title>Semi-automated checking for regulatory compliance in e-Health</title><swanseaauthors><author><sid>b711cf9f3a7821ec52bd1e53b4f6cf9e</sid><ORCID>0000-0003-4713-8990</ORCID><firstname>Livio</firstname><surname>Robaldo</surname><name>Livio Robaldo</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-10-24</date><deptcode>HRCL</deptcode><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.</abstract><type>Conference Paper/Proceeding/Abstract</type><journal>2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW)</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>IEEE</publisher><placeOfPublication/><isbnPrint>978-1-6654-4489-7</isbnPrint><isbnElectronic>978-1-6654-4488-0</isbnElectronic><issnPrint>2325-6583</issnPrint><issnElectronic>2325-6605</issnElectronic><keywords>Business Process Management; e-Health; Hospital at Home; Regulatory Compliance; Defeasible Deontic Logic; Regorous</keywords><publishedDay>1</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-12-01</publishedDate><doi>10.1109/edocw52865.2021.00063</doi><url/><notes/><college>COLLEGE NANME</college><department>Hillary Rodham Clinton Law School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>HRCL</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2022-04-04T14:17:38.5879554</lastEdited><Created>2021-10-24T18:23:43.7642996</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">Hilary Rodham Clinton School of Law</level></path><authors><author><firstname>Ilaria Angela</firstname><surname>Amantea</surname><order>1</order></author><author><firstname>Livio</firstname><surname>Robaldo</surname><orcid>0000-0003-4713-8990</orcid><order>2</order></author><author><firstname>Emilio</firstname><surname>Sulis</surname><order>3</order></author><author><firstname>Guido</firstname><surname>Boella</surname><order>4</order></author><author><firstname>Guido</firstname><surname>Governatori</surname><order>5</order></author></authors><documents><document><filename>58454__21327__a6e3c59f01c44a8ca03b33fb0dc2aa6d.pdf</filename><originalFilename>58454.AAM.pdf</originalFilename><uploaded>2021-10-27T16:21:00.2137710</uploaded><type>Output</type><contentLength>692458</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2022-12-01T00:00:00.0000000</embargoDate><documentNotes>“© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.”</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling	2022-04-04T14:17:38.5879554 v2 58454 2021-10-24 Semi-automated checking for regulatory compliance in e-Health b711cf9f3a7821ec52bd1e53b4f6cf9e 0000-0003-4713-8990 Livio Robaldo Livio Robaldo true false 2021-10-24 HRCL 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. Conference Paper/Proceeding/Abstract 2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW) IEEE 978-1-6654-4489-7 978-1-6654-4488-0 2325-6583 2325-6605 Business Process Management; e-Health; Hospital at Home; Regulatory Compliance; Defeasible Deontic Logic; Regorous 1 12 2021 2021-12-01 10.1109/edocw52865.2021.00063 COLLEGE NANME Hillary Rodham Clinton Law School COLLEGE CODE HRCL Swansea University 2022-04-04T14:17:38.5879554 2021-10-24T18:23:43.7642996 Faculty of Humanities and Social Sciences Hilary Rodham Clinton School of Law Ilaria Angela Amantea 1 Livio Robaldo 0000-0003-4713-8990 2 Emilio Sulis 3 Guido Boella 4 Guido Governatori 5 58454__21327__a6e3c59f01c44a8ca03b33fb0dc2aa6d.pdf 58454.AAM.pdf 2021-10-27T16:21:00.2137710 Output 692458 application/pdf Accepted Manuscript true 2022-12-01T00:00:00.0000000 “© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.” true eng
title	Semi-automated checking for regulatory compliance in e-Health
spellingShingle	Semi-automated checking for regulatory compliance in e-Health Livio Robaldo
title_short	Semi-automated checking for regulatory compliance in e-Health
title_full	Semi-automated checking for regulatory compliance in e-Health
title_fullStr	Semi-automated checking for regulatory compliance in e-Health
title_full_unstemmed	Semi-automated checking for regulatory compliance in e-Health
title_sort	Semi-automated checking for regulatory compliance in e-Health
author_id_str_mv	b711cf9f3a7821ec52bd1e53b4f6cf9e
author_id_fullname_str_mv	b711cf9f3a7821ec52bd1e53b4f6cf9e_***_Livio Robaldo
author	Livio Robaldo
author2	Ilaria Angela Amantea Livio Robaldo Emilio Sulis Guido Boella Guido Governatori
format	Conference Paper/Proceeding/Abstract
container_title	2021 IEEE 25th International Enterprise Distributed Object Computing Workshop (EDOCW)
publishDate	2021
institution	Swansea University
isbn	978-1-6654-4489-7 978-1-6654-4488-0
issn	2325-6583 2325-6605
doi_str_mv	10.1109/edocw52865.2021.00063
publisher	IEEE
college_str	Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id	facultyofhumanitiesandsocialsciences
hierarchy_top_title	Faculty of Humanities and Social Sciences
hierarchy_parent_id	facultyofhumanitiesandsocialsciences
hierarchy_parent_title	Faculty of Humanities and Social Sciences
department_str	Hilary Rodham Clinton School of Law{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}Hilary Rodham Clinton School of Law
document_store_str	1
active_str	0
description	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.
published_date	2021-12-01T20:19:02Z
_version_	1821438108322758656
score	11.047609

Semi-automated checking for regulatory compliance in e-Health

Similar Items