1 |
R. Pryss, D. Langer, M. Reichert, and A. Hallerbach, "Mobile Task Management for Medical Ward Rounds - The MEDo Approach," Proc. of the Int. Conf. on BPM 2012, pp.43-54, 2012.
|
2 |
이수현, 정인성, 김재권, 박지송, 김시라, 강운구, 이영호, "응급실내 신속 대응을 위한 BPM 기반의 프로세스 관리 시스템," 한국컴퓨터정보학회 학술발표논문집, 제16권, 제2호, pp.107-111, 2009.
|
3 |
http://www.ihe.net/Technical_Frameworks/, 2018.3.14.
|
4 |
R. Anzbock and S. Dustdar, "Modeling and Implementing Medical Web Services," Data & Knowledge Engineering, Vol.55, No.2, pp.203-236, 2005.
DOI
|
5 |
김건우, 이정화, 손진현, "비즈니스 프로세스 모델에서의 설계 이상 현상," 정보과학회논문지, 제14권, 제9호, pp.850-863, 2008.
|
6 |
H. Nie, X. Lu, H. Duan, and J. Zhang, "Integration of IHE-based Systems with Petri Net Workflow Management System," Proc. of the 2nd Int. Conf. on Biomedical Engineering and Informatics 2009, pp.1-5, 2009.
|
7 |
A. Kheldoun, K. Barkaoui, and M. Ioualalen, "Formal Verification of Complex Business Processes based on High-level Petri nets," Information Sciences, Vol.385-386, pp.39-54, 2017.
DOI
|
8 |
O. Hichami, M. Achhab, I. Berrada, R. Oucheikh, and B Mohajir, "An Approach of Optimization and Formal Verification of Workflow Petri Nets," Journal of Theoretical and Applied Information Technology, Vol.61, No.3, pp.486-495, 2014.
|
9 |
R. Lenz, M. Peleg, and M. Reichert, "Healthcare Process Support: Achievements, Challenges, Current Research," International Journal of Knowledge-Based Organizations IJKBO, Vol.2, No.4, pp.2-12, 2012.
|
10 |
C. Wolter, P. Miseldine, and C. Meinel, "Verfication of Business Process Entailment Constraints using SPIN," Proc. of Int. Symposium on Engineering Secure Software and Systems, pp.1-15, 2009.
|
11 |
P. Szwed, "Evaluating Efficiency of ArchiMate Business Processes Verification with NuSMV," Information Technology for Management, LNCS, Vol.243. pp.179-196, 2016.
|
12 |
김동수, "의료기관 프로세스 통합 관리를 위한 BPM 기술," 인터넷정보학회지, 제6권, 제1호, pp.62-74, 2005.
|
13 |
N. Tax, I. Verenich, M. Rosa, and M. Dumas, "Predictive Business Process Monitoring with LSTM Neural Networks," Proc. of Int. Conference on Advanced Information System Engineering, pp.477-492, 2017.
|
14 |
M. Benyoucef, C. Kuziemsky, A. Rad, and A. Elsabbahi, "Modeling Healthcare Processes as Service Orchestrations and Choreographies," Business Process Management Journal, Vol.17, No.4, pp.568-597, 2011.
DOI
|
15 |
김창수, "의료정보 표준에 관한 연구: 표준화 분석 및 전망," 방사선기술과학, 제31권, 제1호, pp.1-10, 2008.
|
16 |
G. Kim, K. Park, H. Hong, and D. Lee, "Process Model Verifier for Integrated Medical Healthcare Systems using Business Process Management System," Proc. of the 18th IEEE Int. Symposium on Consumer Electronics 2014, pp.1-2, 2014.
|
17 |
F. Toure, K. Baina, and K. Benali, "An Efficient Algorithm for Workflow Graph Structural Verification," Proc. of the OTM 2008 Confederated International Conferences, pp.392-408, 2008.
|
18 |
http://www.omg.org/spec/BPMN/2.0/, 2018.1.5.
|