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.File | Dimensione | Formato | |
---|---|---|---|
05441269.pdf
Accesso riservato
Tipologia:
Versione dell'autore revisionata e accettata per la pubblicazione
Dimensione
248.83 kB
Formato
Adobe PDF
|
248.83 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
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