MURAL - Maynooth University Research Archive Library

    Applying a MDE approach to a healthcare environment: A case study of an AE dept

    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

    Download (6MB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    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:
    Depositing User: Joseph Timoney
    Date Deposited: 03 Dec 2019 12:19
    Publisher: Institute of Electrical and Electronic Engineers
    Refereed: Yes
    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)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads