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

P Papapanagiotou; J. Fleuriot; A. Grando

doi:10.1109/CBMS.2012.6266330

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

P Papapanagiotou, J. Fleuriot, A. Grando

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on
Pages	1-6
Number of pages	6
DOIs	https://doi.org/10.1109/CBMS.2012.6266330
Publication status	Published - 1 Jun 2012

Access to Document

10.1109/CBMS.2012.6266330

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6266330

Cite this

@inproceedings{75cea566c92643b0a065b067e965c62f,

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 = "P Papapanagiotou and J. Fleuriot and A. Grando",

year = "2012",

month = jun,

day = "1",

doi = "10.1109/CBMS.2012.6266330",

language = "English",

isbn = "978-1-4673-2049-8",

pages = "1--6",

booktitle = "Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on",

}

TY - GEN

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

AU - Papapanagiotou, P

AU - Fleuriot, J.

AU - Grando, A.

PY - 2012/6/1

Y1 - 2012/6/1

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.

U2 - 10.1109/CBMS.2012.6266330

DO - 10.1109/CBMS.2012.6266330

M3 - Conference contribution

SN - 978-1-4673-2049-8

SP - 1

EP - 6

BT - Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on

ER -

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

Abstract

Access to Document

Fingerprint

Cite this