Data-Aware Monitoring For Healthcare Workflows Using Formal Methods

Authors: Ji Ruan and Wendy MacCaull Centre of Logic and Information, StFX University, Canada Abstract: This paper presents an approach to monitor healthcare workflows using a logic-based formal method. We introduce a monitoring architecture with workflows and knowledge bases, and propose a logical language, FO-LTL-K, to express temporal and knowledge properties to be monitored. We [...]