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

Petros Papapanagiotou, Jacques Fleuriot, Maria Grando

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

5 Citations (Scopus)

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 - IEEE Symposium on Computer-Based Medical Systems
DOIs
StatePublished - 2012
Externally publishedYes
Event25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012 - Rome, Italy
Duration: Jun 20 2012Jun 22 2012

Other

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

Fingerprint

Patient Care Team
Workflow
Language
Engines
Delivery of Health Care
Chemical analysis
Drive

ASJC Scopus subject areas

  • Computer Science Applications
  • Radiology Nuclear Medicine and imaging

Cite this

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

Rigorous process-based modelling of patterns for collaborative work in healthcare teams. / Papapanagiotou, Petros; Fleuriot, Jacques; Grando, Maria.

Proceedings - IEEE Symposium on Computer-Based Medical Systems. 2012. 6266330.

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

Papapanagiotou, P, Fleuriot, J & Grando, M 2012, Rigorous process-based modelling of patterns for collaborative work in healthcare teams. in Proceedings - IEEE Symposium on Computer-Based Medical Systems., 6266330, 25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012, Rome, Italy, 6/20/12. https://doi.org/10.1109/CBMS.2012.6266330
Papapanagiotou P, Fleuriot J, Grando M. Rigorous process-based modelling of patterns for collaborative work in healthcare teams. In Proceedings - IEEE Symposium on Computer-Based Medical Systems. 2012. 6266330 https://doi.org/10.1109/CBMS.2012.6266330
Papapanagiotou, Petros ; Fleuriot, Jacques ; Grando, Maria. / Rigorous process-based modelling of patterns for collaborative work in healthcare teams. Proceedings - IEEE Symposium on Computer-Based Medical Systems. 2012.
@inproceedings{4eed8c94e6f94689be9e1b5cfece2a1d,
title = "Rigorous process-based modelling of patterns for collaborative work in healthcare teams",
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.",
author = "Petros Papapanagiotou and Jacques Fleuriot and Maria Grando",
year = "2012",
doi = "10.1109/CBMS.2012.6266330",
language = "English (US)",
isbn = "9781467320511",
booktitle = "Proceedings - IEEE Symposium on Computer-Based Medical Systems",

}

TY - GEN

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

AU - Papapanagiotou, Petros

AU - Fleuriot, Jacques

AU - Grando, Maria

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84867283405&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867283405&partnerID=8YFLogxK

U2 - 10.1109/CBMS.2012.6266330

DO - 10.1109/CBMS.2012.6266330

M3 - Conference contribution

AN - SCOPUS:84867283405

SN - 9781467320511

BT - Proceedings - IEEE Symposium on Computer-Based Medical Systems

ER -