Model Checking Workflow Monitors and Its Application to a Pain Management Process

Safety critical systems often consist of many complex processes. Monitoring the behaviour of such processes is critical for enforcing policies, and achieving efficiency and reliability goals. The paper presents a new graphical language for modeling monitors for time constrained workflow processes. To ensure the correctness of a monitor system, we present a model checking approach for verification. We provide an automated data aware translation …