Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

Cristiano Bertolini, Zhiming Liu, Jiri Srba

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)

Abstract

Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of resources. The definition, analysis and management of collaborative healthcare workflows requires abstract model notations with a precisely defined semantics and a support for compositional reasoning. We use the formalism of component-based timed-arc Petri Nets (CTAPN) for modular modelling of collaborative healthcare workflows and demonstrate how the model checker TAPAAL supports the verification of their functional and non-functional requirements. To this end, we use CTAPN to define the semantics of the healthcare domain specific graphical notation Little-JIL, extended with timing constrains, and apply it to the case study of blood transfusion. The value added in general, and to Little-JIL in particular, is the formal support for compositional modelling, analysis and verification, including an explicit treatment of the timing aspects.
OriginalsprogEngelsk
TitelFoundations of Health Information Engineering and Systems : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers
RedaktørerJens Weber, Isabelle Perseil
Antal sider18
Vol/bind7789
UdgivelsesstedNetherlands
ForlagSpringer Publishing Company
Publikationsdato2013
Sider19-36
ISBN (Trykt)978-3-642-39087-6
ISBN (Elektronisk)978-3-642-39088-3
DOI
StatusUdgivet - 2013
Begivenhed2nd International Symposium on Foundations of Health Information Engineering and Systems - Paris, Frankrig
Varighed: 27 aug. 201228 aug. 2012
Konferencens nummer: 2

Konference

Konference2nd International Symposium on Foundations of Health Information Engineering and Systems
Nummer2
Land/OmrådeFrankrig
ByParis
Periode27/08/201228/08/2012
NavnLecture Notes in Computer Science
Vol/bind7789
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets'. Sammen danner de et unikt fingeraftryk.

Citationsformater