MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Trustworthy Pervasive Healthcare Services via Multiparty Session Types
Anders S.HENRIKSEN , Lasse NIELSEN , Thomas T.HILDEBRANDT , Nobuko YOSHIDA , Fritz HENGLEIN
Second International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012) p. 124 - 141

This paper proposes a new theory of multiparty session types extended with propositional assertions and symmetric sum types for modelling collaborative distributed workflows. Multiparty session types statically guarantee that workflows are type-safe and deadlock-free, facilitate automatic generation of participant-specific (“local”) workflow protocols from global descriptions, and support flexible implementation of local workflows guaranteed to be compliant with the workflow protocols. The extensions with assertions and symmetric sum types support expressing state-based (pre)conditions and consensual multiparty synchronisation, which are common in complex distributed workflows.

We demonstrate the theory’s applicability to clinical practice guidelines (CPGs) by providing a prototype implementation targeting mobile healthcare applications. It compiles declarative healthcare workflows specified in a flexible spreadsheet-formatted process matrix into type-checked multiparty processes. The type-checked processes are interpreted on a server communicating with generic, stateless clients running on Android tablet computers, which addresses the pervasiveness requirements common to clinical and home healthcare scenarios. A physician has, with little prior training, successfully used the prototype to design her own healthcare workflow as a process matrix, employing instantaneous test and usage feedback from the prototype.

@inproceedings{HNHYH2012,
  author = {Anders S. Henriksen and Lasse Nielsen and Thomas T. Hildebrandt and Nobuko Yoshida and Fritz Henglein},
  title = {{Trustworthy Pervasive Healthcare Services via Multiparty Session Types}},
  booktitle = {Second International Symposium on Foundations of Health Information Engineering and Systems},
  series = {LNCS},
  volume = {7789},
  pages = {124--141},
  publisher = {Springer},
  year = 2012
}
@inproceedings{HNHYH2012,
  author = {Anders S. Henriksen and Lasse Nielsen and Thomas T. Hildebrandt and Nobuko Yoshida and Fritz Henglein},
  title = {{Trustworthy Pervasive Healthcare Services via Multiparty Session Types}},
  booktitle = {Second International Symposium on Foundations of Health Information Engineering and Systems},
  series = {LNCS},
  volume = {7789},
  pages = {124--141},
  publisher = {Springer},
  doi = "10.1007/978-3-642-39088-3_8",
  year = 2012
}