A pervasive design strategy for distributed health care systems

Oliver Faust, Bernhard H. C. Sputh, Rajendra Acharya U, Alastair R. Allen

Research output: Contribution to journalArticle

Abstract

Distributed health care systems require a pervasive design strategy to ensure security, stability and functionality of the system. Furthermore, distributed health care systems are potentially very complex, which makes it necessary to have appropriate abstraction strategies. In this paper we introduce the theory of communicating sequential processes to distributed health care system design. We use this theory to gain further insight into the communication between different system components. In particular this reasoning is applied to the problem of internal and external integration of distributed health care systems. We claim that a high level of internal and external integration can be achieved with the pervasive design strategy. With the pervasive concept of communicating sequential processes we have a formal method to create a model of the complete system. In the practical part of the paper we apply the formal system model to prove security, stability and functionality of a particular system.
Original languageEnglish
Pages (from-to)58-69
Number of pages12
JournalThe Open Medical Informatics Journal
Volume2
DOIs
Publication statusPublished - 2008

Fingerprint

Health care
Formal methods
Systems analysis
Communication

Cite this

A pervasive design strategy for distributed health care systems. / Faust, Oliver; Sputh, Bernhard H. C.; Acharya U, Rajendra ; Allen, Alastair R.

In: The Open Medical Informatics Journal, Vol. 2, 2008, p. 58-69.

Research output: Contribution to journalArticle

Faust, Oliver ; Sputh, Bernhard H. C. ; Acharya U, Rajendra ; Allen, Alastair R. / A pervasive design strategy for distributed health care systems. In: The Open Medical Informatics Journal. 2008 ; Vol. 2. pp. 58-69.
@article{7f4488c9a69541ebbcfb424f57628159,
title = "A pervasive design strategy for distributed health care systems",
abstract = "Distributed health care systems require a pervasive design strategy to ensure security, stability and functionality of the system. Furthermore, distributed health care systems are potentially very complex, which makes it necessary to have appropriate abstraction strategies. In this paper we introduce the theory of communicating sequential processes to distributed health care system design. We use this theory to gain further insight into the communication between different system components. In particular this reasoning is applied to the problem of internal and external integration of distributed health care systems. We claim that a high level of internal and external integration can be achieved with the pervasive design strategy. With the pervasive concept of communicating sequential processes we have a formal method to create a model of the complete system. In the practical part of the paper we apply the formal system model to prove security, stability and functionality of a particular system.",
author = "Oliver Faust and Sputh, {Bernhard H. C.} and {Acharya U}, Rajendra and Allen, {Alastair R.}",
year = "2008",
doi = "10.2174/1874431100802010058",
language = "English",
volume = "2",
pages = "58--69",
journal = "The Open Medical Informatics Journal",
issn = "1874-4311",

}

TY - JOUR

T1 - A pervasive design strategy for distributed health care systems

AU - Faust, Oliver

AU - Sputh, Bernhard H. C.

AU - Acharya U, Rajendra

AU - Allen, Alastair R.

PY - 2008

Y1 - 2008

N2 - Distributed health care systems require a pervasive design strategy to ensure security, stability and functionality of the system. Furthermore, distributed health care systems are potentially very complex, which makes it necessary to have appropriate abstraction strategies. In this paper we introduce the theory of communicating sequential processes to distributed health care system design. We use this theory to gain further insight into the communication between different system components. In particular this reasoning is applied to the problem of internal and external integration of distributed health care systems. We claim that a high level of internal and external integration can be achieved with the pervasive design strategy. With the pervasive concept of communicating sequential processes we have a formal method to create a model of the complete system. In the practical part of the paper we apply the formal system model to prove security, stability and functionality of a particular system.

AB - Distributed health care systems require a pervasive design strategy to ensure security, stability and functionality of the system. Furthermore, distributed health care systems are potentially very complex, which makes it necessary to have appropriate abstraction strategies. In this paper we introduce the theory of communicating sequential processes to distributed health care system design. We use this theory to gain further insight into the communication between different system components. In particular this reasoning is applied to the problem of internal and external integration of distributed health care systems. We claim that a high level of internal and external integration can be achieved with the pervasive design strategy. With the pervasive concept of communicating sequential processes we have a formal method to create a model of the complete system. In the practical part of the paper we apply the formal system model to prove security, stability and functionality of a particular system.

U2 - 10.2174/1874431100802010058

DO - 10.2174/1874431100802010058

M3 - Article

VL - 2

SP - 58

EP - 69

JO - The Open Medical Informatics Journal

JF - The Open Medical Informatics Journal

SN - 1874-4311

ER -