• DocumentCode
    2949966
  • Title

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

  • Author

    Papapanagiotou, Petros ; Fleuriot, Jacques ; Grando, Adela

  • Author_Institution
    Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
  • fYear
    2012
  • fDate
    20-22 June 2012
  • Firstpage
    1
  • Lastpage
    6
  • 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.
  • Keywords
    formal verification; groupware; health care; collaborative work; healthcare teams; information flow; logic-based verification engine; purely diagrammatic language; rigorous process-based modelling; Abstracts; Collaboration; Collaborative work; Contracts; Educational institutions; Medical services; Process control;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on
  • Conference_Location
    Rome
  • ISSN
    1063-7125
  • Print_ISBN
    978-1-4673-2049-8
  • Type

    conf

  • DOI
    10.1109/CBMS.2012.6266330
  • Filename
    6266330
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2949966