Process model verifier for integrated medical healthcare systems using business process management system
- Authors
- Kim, Gun woo; Park, Kyung wook; Hong, Hyun ki; Lee, Dong ho
- Issue Date
- Jun-2014
- Publisher
- Institute of Electrical and Electronics Engineers Inc.
- Keywords
- Business Process; Medical Healthcare Systems; Process Verification
- Citation
- Proceedings of the International Symposium on Consumer Electronics, ISCE
- Indexed
- OTHER
- Journal Title
- Proceedings of the International Symposium on Consumer Electronics, ISCE
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/25432
- DOI
- 10.1109/ISCE.2014.6884298
- ISSN
- 0747-668X
2159-1423
- Abstract
- 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. © 2014 IEEE.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > DEPARTMENT OF ARTIFICIAL INTELLIGENCE > 1. Journal Articles

Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.