Title
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Abstract
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-eective services are provided at the point of care. Recently, the computerisation of clinical guidelines has attracted exten- sive 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 dierent departments and/or hospitals. Results: We outlined the syntax and semantics of LCC; proposed a list of refined criteria against which the appro- priateness 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.
Year
Venue
Keywords
2007
LBM (Short Papers)
process calculus,p2p,multi agent system,information exchange,point of care,software agent,computer network,process calculi
Field
DocType
Citations 
Horn clause,Computer science,Information exchange,Software agent,Logic programming,Process calculus,Workflow,Semantics,Calculus,Executable
Conference
1
PageRank 
References 
Authors
0.36
5
4
Name
Order
Citations
PageRank
Bo Hu116127.21
Srinandan Dasmahapatra233035.41
David Robertson322.40
Paul H. Lewis463386.28