No Cover Image

Conference Paper/Proceeding/Abstract 621 views 41 downloads

Semi-automated checking for regulatory compliance in e-Health

Ilaria Angela Amantea, Livio Robaldo Orcid Logo, Emilio Sulis, Guido Boella, Guido Governatori

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

Swansea University Author: Livio Robaldo Orcid Logo

  • 58454.AAM.pdf

    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)

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
Tags: Add Tag
No Tags, Be the first to tag this record!
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>LAWD</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>Law</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>LAWD</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>&#x201C;&#xA9; 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.&#x201D;</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 LAWD 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 Law COLLEGE CODE LAWD 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-01T04:14:59Z
_version_ 1763754010195525632
score 11.006811