Behavioral aspects of medical guidelines can be modeled and formalized in a straightforward way by flow diagrams. However, safety plays a critical role in both modeling and formalization given the intermingled involvement of human actors and medical devices which have to interact and coordinate according to precise rules and strict timelines. Although state based formalisms can be shown to be very apt in depicting complex situations in both an intuitive and formal manner, they do not provide modular constructs for defeating complexity and require model checking in order to be verified against safety requirements. The paper proposes to adopt a modular and hierarchical state based formalism for the sake of representing behavioral aspects in medical guidelines. Such a formalism can be shown to provide a natural arrangement of different fault management strategies at the different decomposition levels.

Using Part-Whole Statecharts for the safe modeling of clinical guidelines / Pazzi, Luca; Pradelli, Marco. - STAMPA. - (2010), pp. 35-40. ((Intervento presentato al convegno IEEE Workshop on Health Care Management (WHCM) tenutosi a Venice, Italy nel February 18-20, 2010 [10.1109/WHCM.2010.5441269].

Using Part-Whole Statecharts for the safe modeling of clinical guidelines

PAZZI, Luca;PRADELLI, Marco
2010

Abstract

Behavioral aspects of medical guidelines can be modeled and formalized in a straightforward way by flow diagrams. However, safety plays a critical role in both modeling and formalization given the intermingled involvement of human actors and medical devices which have to interact and coordinate according to precise rules and strict timelines. Although state based formalisms can be shown to be very apt in depicting complex situations in both an intuitive and formal manner, they do not provide modular constructs for defeating complexity and require model checking in order to be verified against safety requirements. The paper proposes to adopt a modular and hierarchical state based formalism for the sake of representing behavioral aspects in medical guidelines. Such a formalism can be shown to provide a natural arrangement of different fault management strategies at the different decomposition levels.
IEEE Workshop on Health Care Management (WHCM)
Venice, Italy
February 18-20, 2010
35
40
Pazzi, Luca; Pradelli, Marco
Using Part-Whole Statecharts for the safe modeling of clinical guidelines / Pazzi, Luca; Pradelli, Marco. - STAMPA. - (2010), pp. 35-40. ((Intervento presentato al convegno IEEE Workshop on Health Care Management (WHCM) tenutosi a Venice, Italy nel February 18-20, 2010 [10.1109/WHCM.2010.5441269].
File in questo prodotto:
File Dimensione Formato  
05441269.pdf

non disponibili

Tipologia: Post-print dell'autore (bozza post referaggio)
Dimensione 248.83 kB
Formato Adobe PDF
248.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/639812
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact