Process model verifier for integrated medical healthcare systems using business process management system

The integration of disparate medical healthcare systems such as hospital information system (HIS), radiology information system (RIS), and picture achieving and communication system (PACS) with the business process management system (BPMS) have garnered a considerable amount of attention for amalgamation with systems in external medical institutions. However, no effective process verification method exists in BPMS for medical healthcare systems, although considerable efforts have been expended on verification techniques in BPM research fields. In this paper, we propose a process model verifier that covers control-flow, data-flow, and business compliance rules for integrating medical healthcare systems using BPMS.