Gannud, Hussein and Wu, Hao and Timoney, Joseph
(2017)
Applying a MDE approach to a healthcare environment: A case study of an AE dept.
In:
2017 28th Irish Signals and Systems Conference (ISSC).
Institute of Electrical and Electronic Engineers, Red Hook, NY, USA.
ISBN 978-1-5386-1046-6
Abstract
One of the main challenges of Healthcare services is to find a suitable way of managing limited resources within a highly demanding environment. This challenge can now be tackled by deploying reliable software systems that are supported by Software Engineering practices. In this paper, we present a Model Driven Engineering (MDE) approach that, by way of an example, is applied to an Accident and Emergency (AE) department. This approach works by designing a UML class diagram annotated with a set of OCL constraints. These constraints formally express restrictions on interactions between various elements of the system. We formally evaluate our model by using a logic solver. This approach lays the foundation of our intentions to further develop a more complete health care system. We report the valuable lessons learnt from the work and explain the limitation we observed.
| Item Type: |
Book Section
|
| Additional Information: |
This paper was presented at 2017 28th Irish Signals and Systems Conference (ISSC), 20-21 June 2017, Killarney, Ireland |
| Keywords: |
Unified modeling language;
Hospitals;
Information systems;
Software systems;
Interoperability;
accidents;
emergency services;
formal logic;
health care;
software reliability;
model driven engineering;
MDE;
health care environment;
accident and emergency department;
AE department;
health care services;
resources management;
software systems reliability;
software engineering;
UML class diagram;
OCL constraints;
logic solver; |
| Academic Unit: |
Faculty of Science and Engineering > Computer Science |
| Item ID: |
11975 |
| Identification Number: |
https://doi.org/10.1109/ISSC.2017.7983632 |
| Depositing User: |
Joseph Timoney
|
| Date Deposited: |
03 Dec 2019 12:19 |
| Publisher: |
Institute of Electrical and Electronic Engineers |
| Refereed: |
Yes |
| URI: |
|
| Use Licence: |
This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available
here |
Repository Staff Only(login required)
 |
Item control page |
Downloads per month over past year
Origin of downloads
Altmetric
Altmetric