Rigorous process-based modelling of patterns for collaborative work in healthcare teams

Petros Papapanagiotou, Jacques Fleuriot, Adela Grando

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

We review recently proposed notions of healthcare patterns for collaborative work and show how these can be cast in terms of composition of processes. The approach uses a purely diagrammatic language to drive a logic-based verification engine, resulting in fully-verified workflows that capture the information flow in these patterns.

Original languageEnglish (US)
Title of host publicationProceedings of the 25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012
DOIs
StatePublished - Oct 16 2012
Externally publishedYes
Event25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012 - Rome, Italy
Duration: Jun 20 2012Jun 22 2012

Publication series

NameProceedings - IEEE Symposium on Computer-Based Medical Systems
ISSN (Print)1063-7125

Other

Other25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012
CountryItaly
CityRome
Period6/20/126/22/12

ASJC Scopus subject areas

  • Radiology Nuclear Medicine and imaging
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Rigorous process-based modelling of patterns for collaborative work in healthcare teams'. Together they form a unique fingerprint.

  • Cite this

    Papapanagiotou, P., Fleuriot, J., & Grando, A. (2012). Rigorous process-based modelling of patterns for collaborative work in healthcare teams. In Proceedings of the 25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012 [6266330] (Proceedings - IEEE Symposium on Computer-Based Medical Systems). https://doi.org/10.1109/CBMS.2012.6266330