The University of Southampton
University of Southampton Institutional Repository

Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus

Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the computerisation of clinical guidelines has attracted extensive research interest. Many languages and frameworks have been developed. Thus far, however,an enactment mechanism to facilitate decentralised guideline execution has been a largely neglected line of research. It is our contention that decentralisation is essential to maintain a high-performance system in pervasive health care scenarios. In this paper, we propose the use of Lightweight Coordination Calculus (LCC) as a feasible solution. LCC is a light-weight and executable process calculus that has been used successfully in multi-agent systems, peer-to-peer (p2p) computer networks, etc. In light of an envisaged pervasive health care scenario, LCC, which represents clinical protocols and guidelines as message-based interaction models, allows information exchange among software agents distributed across different departments and/or hospitals. Results: We outlined the syntax and semantics of LCC; proposed a list of refined criteria against which the appropriateness of candidate clinical guideline modelling languages are evaluated; and presented two LCC interaction models of real life clinical guidelines. Conclusions: We demonstrated that LCC is particularly useful in modelling clinical guidelines. It specifies the exact partition of a workflow of events or tasks that should be observed by multiple "players" as well as the interactions among these "players". LCC presents the strength of both process calculi and Horn clauses pair of which can provide a close resemblance of logic programming and the flexibility of practical implementation.
Hu, Bo
927680e6-b2b4-4b88-9a6e-20a86bb9d2d2
Dasmahapatra, Srinandan
eb5fd76f-4335-4ae9-a88a-20b9e2b3f698
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
Lewis, Paul
7aa6c6d9-bc69-4e19-b2ac-a6e20558c020
Hu, Bo
927680e6-b2b4-4b88-9a6e-20a86bb9d2d2
Dasmahapatra, Srinandan
eb5fd76f-4335-4ae9-a88a-20b9e2b3f698
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
Lewis, Paul
7aa6c6d9-bc69-4e19-b2ac-a6e20558c020

Hu, Bo, Dasmahapatra, Srinandan, Robertson, Dave and Lewis, Paul (2007) Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus. The 2nd International Symposium on Languages in Biology and Medicine (LBM) 2007, Singapore.

Record type: Conference or Workshop Item (Other)

Abstract

Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the computerisation of clinical guidelines has attracted extensive research interest. Many languages and frameworks have been developed. Thus far, however,an enactment mechanism to facilitate decentralised guideline execution has been a largely neglected line of research. It is our contention that decentralisation is essential to maintain a high-performance system in pervasive health care scenarios. In this paper, we propose the use of Lightweight Coordination Calculus (LCC) as a feasible solution. LCC is a light-weight and executable process calculus that has been used successfully in multi-agent systems, peer-to-peer (p2p) computer networks, etc. In light of an envisaged pervasive health care scenario, LCC, which represents clinical protocols and guidelines as message-based interaction models, allows information exchange among software agents distributed across different departments and/or hospitals. Results: We outlined the syntax and semantics of LCC; proposed a list of refined criteria against which the appropriateness of candidate clinical guideline modelling languages are evaluated; and presented two LCC interaction models of real life clinical guidelines. Conclusions: We demonstrated that LCC is particularly useful in modelling clinical guidelines. It specifies the exact partition of a workflow of events or tasks that should be observed by multiple "players" as well as the interactions among these "players". LCC presents the strength of both process calculi and Horn clauses pair of which can provide a close resemblance of logic programming and the flexibility of practical implementation.

Text
lbm2007-bh-etal.pdf - Version of Record
Download (312kB)

More information

Published date: December 2007
Additional Information: Event Dates: 12/2007
Venue - Dates: The 2nd International Symposium on Languages in Biology and Medicine (LBM) 2007, Singapore, 2007-12-01
Organisations: Web & Internet Science, Southampton Wireless Group

Identifiers

Local EPrints ID: 266681
URI: https://eprints.soton.ac.uk/id/eprint/266681
PURE UUID: 9e4109eb-f5b0-489a-846c-6720e0de33ea

Catalogue record

Date deposited: 19 Sep 2008 13:26
Last modified: 19 Jul 2019 22:20

Export record

Contributors

Author: Bo Hu
Author: Srinandan Dasmahapatra
Author: Dave Robertson
Author: Paul Lewis

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×