{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:07:55Z","timestamp":1774915675068,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"S14","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"},{"start":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T00:00:00Z","timestamp":1607990400000},"content-version":"vor","delay-in-days":14,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Med Inform Decis Mak"],"published-print":{"date-parts":[[2020,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Background<\/jats:title><jats:p>It is significant to model clinical activities for process mining, which assists in improving medical service quality. However, current process mining studies in healthcare pay more attention to the control flow of events, while the data properties and the time perspective are generally ignored. Moreover, classifying event attributes from the view of computers usually are difficult for medical experts. There are also problems of model sharing and reusing after it is generated.<\/jats:p><\/jats:sec><jats:sec><jats:title>Methods<\/jats:title><jats:p>In this paper, we presented a constraint-based method using multi-perspective declarative process mining, supporting healthcare personnel to model clinical processes by themselves. Inspired by openEHR, we classified event attributes into seven types, and each relationship between these types is represented in a Constrained Relationship Matrix. Finally, a conformance checking algorithm is designed.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>The method was verified in a retrospective observational case study, which consists of Electronic Medical Record (EMR) of 358 patients from a large general hospital in China. We take the ischemic stroke treatment process as an example to check compliance with clinical guidelines. Conformance checking results are analyzed and confirmed by medical experts.<\/jats:p><\/jats:sec><jats:sec><jats:title>Conclusions<\/jats:title><jats:p>This representation approach was applicable with the characteristic of easily understandable and expandable for modeling clinical activities, supporting to share the models created across different medical facilities.<\/jats:p><\/jats:sec>","DOI":"10.1186\/s12911-020-01323-7","type":"journal-article","created":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T17:04:06Z","timestamp":1608051846000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Modeling clinical activities based on multi-perspective declarative process mining with openEHR\u2019s characteristic"],"prefix":"10.1186","volume":"20","author":[{"given":"Haifeng","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfei","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xi","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinghui","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuemeng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongsheng","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,15]]},"reference":[{"key":"1323_CR1","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1016\/j.jbi.2016.04.007","volume":"61","author":"E Rojas","year":"2016","unstructured":"Rojas E, Jorge MG, Sep\u00falveda M, et al. Process mining in healthcare: a literature review. J Biomed Inform. 2016;61:224\u201336.","journal-title":"J Biomed Inform"},{"key":"1323_CR2","volume-title":"Fundamentals of business process management","author":"D Marlon","year":"2013","unstructured":"Marlon D, Marcello LR, Jan M, et al. Fundamentals of business process management. Berlin: Springer; 2013."},{"key":"1323_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling flexibility in process-aware information systems: challenges, methods, technologies","author":"M Reichert","year":"2012","unstructured":"Reichert M, Weber B. Enabling flexibility in process-aware information systems: challenges, methods, technologies. Berlin: Springer; 2012."},{"key":"1323_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process mining: data science in action","author":"WMP Van der Aalst","year":"2016","unstructured":"Van der Aalst WMP. Process mining: data science in action. Berlin: Springer; 2016."},{"issue":"9","key":"1323_CR5","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Van der Aalst","year":"2004","unstructured":"Van der Aalst WMP, Weijters AJMM, Maruster L. Workflow mining: discovering process models from event logs. IEEE Trans Knowl Data Eng. 2004;16(9):1128\u201342.","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"1323_CR6","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nig S, Ciccio C D , Maggi F M , et al. Discovery of multi-perspective declarative process models. In: International conference on service oriented computing. Springer, Berlin 2016.","DOI":"10.1007\/978-3-319-46295-0_6"},{"key":"1323_CR7","unstructured":"Haifeng X, Jianfei Pang, Xi Y, et al. A modeling approach based on multi-perspective declarative process mining for clinical activity. In: IEEE international conferences on bioinformatics and biomedicine, 2019."},{"key":"1323_CR8","doi-asserted-by":"crossref","unstructured":"Pesic M, Van der Aalst W M P. A declarative approach for flexible business processes management. In: International conference on business process management, 2006.","DOI":"10.1007\/11837862_18"},{"issue":"2","key":"1323_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.is.2011.01.003","volume":"37","author":"A Rebuge","year":"2012","unstructured":"Rebuge A, Ferreira DR. Business process analysis in healthcare environments: a methodology based on process mining. Inf Syst. 2012;37(2):99\u2013116.","journal-title":"Inf. Syst."},{"issue":"2","key":"1323_CR10","first-page":"83","volume":"35","author":"K Anyanwu","year":"2003","unstructured":"Anyanwu K, Sheth A, Cardoso J, et al. Healthcare enterprise process development and integration. J Res Pract Inf Technol. 2003;35(2):83\u201398.","journal-title":"J Res Pract Inf Technol"},{"issue":"23","key":"1323_CR11","doi-asserted-by":"publisher","first-page":"9236","DOI":"10.1016\/j.eswa.2015.07.040","volume":"42","author":"M Rovani","year":"2015","unstructured":"Rovani M, Maggi FM, De Leoni M, et al. Declarative process mining in healthcare. Expert Syst Appl. 2015;42(23):9236\u201351.","journal-title":"Expert Syst Appl"},{"key":"1323_CR12","doi-asserted-by":"crossref","unstructured":"Montali M, Chesani F, Mello P, et al. Towards data-aware constraints in declare. In: Proceedings of the 28th annual ACM symposium on applied computing, 2013.","DOI":"10.1145\/2480362.2480624"},{"key":"1323_CR13","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin A, Maggi FM, Sperduti A. Conformance checking based on multi-perspective declarative process models. Expert Syst Appl. 2016;65:194\u2013211.","journal-title":"Expert Syst Appl"},{"key":"1323_CR14","first-page":"153","volume":"115","author":"D Kalra","year":"2005","unstructured":"Kalra D, Beale T, Heard S. The openEHR foundation. Stud Health Technol Inform. 2005;115:153\u201373.","journal-title":"Stud Health Technol Inform"},{"key":"1323_CR15","doi-asserted-by":"crossref","unstructured":"Lingtong M, Qi T, Xudong L, et al. An openEHR based approach to improve the semantic interoperability of clinical data registry. BMC Med Inform Decis Mak. 2018, 18(15).","DOI":"10.1186\/s12911-018-0596-8"},{"issue":"03","key":"1323_CR16","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1160\/ME5001","volume":"46","author":"S Garde","year":"2007","unstructured":"Garde S, Knaup P, Hovenga EJS, et al. Towards semantic interoperability for electronic health records. Methods Inf Med. 2007;46(03):332\u201343.","journal-title":"Methods Inf Med"},{"issue":"1","key":"1323_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1186\/1472-6947-14-39","volume":"14","author":"A Nadim","year":"2014","unstructured":"Nadim A, Rong C, Tiago PM, et al. Retrospective checking of compliance with practice guidelines for acute stroke care: a novel experiment using openEHR\u2019s Guideline Definition Language. BMC Med Inform Decis Mak. 2014;14(1):39.","journal-title":"BMC Med Inform Decis Mak"},{"issue":"02","key":"1323_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP Van der Aalst","year":"2009","unstructured":"Van der Aalst WMP, Pesic M, Schonenberg H. Declarative workflows: Balancing between flexibility and support. Comput Sci-Res Dev. 2009;23(02):99\u2013113.","journal-title":"Comput Sci-Res Dev"},{"issue":"04","key":"1323_CR19","first-page":"1474","volume":"18","author":"W Simiao","year":"2019","unstructured":"Simiao W, Bo W, Ming L, et al. Stroke in China: advances and challenges in epidemiology, prevention, and management. Lancet Neurol. 2019;18(04):1474\u20134422.","journal-title":"Lancet Neurol"},{"key":"1323_CR20","doi-asserted-by":"publisher","first-page":"e46","DOI":"10.1161\/STROKEAHA.118.020176","volume":"49","author":"KL Furie","year":"2018","unstructured":"Furie KL, Jayaraman MV. 2018 Guidelines for the early management of patients with acute ischemic stroke. Stroke. 2018;49:e46\u201399.","journal-title":"Stroke"},{"issue":"03","key":"1323_CR21","first-page":"449","volume":"27","author":"Y Rong","year":"2012","unstructured":"Rong Y, Ling F, Xiaolin L, et al. Examination and analysis of the implementation of nursing core system. West China Med J. 2012;27(03):449\u201351.","journal-title":"West China Med J"},{"key":"1323_CR22","unstructured":"Westergaard M, Maggi FM. Declare: a tool suite for declarative workflow modeling and enactment. In: Proceedings of the demo track of the nineth conference on business process management, France, 2011."},{"key":"1323_CR23","unstructured":"Montani S. Conformance checking of executed clinical guidelines in presence of basic medical knowledge. In: Business process management workshops-bpm international workshops. DBLP, 2011."},{"key":"1323_CR24","doi-asserted-by":"crossref","unstructured":"Montali M. Specification and verification of declarative open interaction models: a logic-based approach. In: LNBIP, Springer, 2010, 56.","DOI":"10.1007\/978-3-642-14538-4"},{"key":"1323_CR25","doi-asserted-by":"crossref","unstructured":"Awad A, Weidlich M, Weske M. Specification, Verification and explanation of violation for data aware compliance rules. In: Service-oriented computing, 7th international joint conference, 2009, Stockholm, Sweden, 24\u201327.","DOI":"10.1007\/978-3-642-10383-4_37"},{"issue":"01","key":"1323_CR26","doi-asserted-by":"publisher","first-page":"1440003","DOI":"10.1142\/S0218843014400036","volume":"23","author":"FM Maggi","year":"2014","unstructured":"Maggi FM, Westergaard M. Using timed automata for a priori, warnings and planning for timed declarative process models. Int J Co-op Inf Syst. 2014;23(01):1440003.","journal-title":"Int J Co-op Inf Syst"},{"issue":"6","key":"1323_CR27","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1197\/jamia.M2389","volume":"14","author":"N Mulyar","year":"2007","unstructured":"Mulyar N, Van der Aalst WMP, Peleg M. A pattern-based analysis of clinical computer-interpretable guideline modeling languages. J Am Med Inform Assoc. 2007;14(6):781\u20137.","journal-title":"J Am Med Inform Assoc"},{"key":"1323_CR28","first-page":"44","volume":"139","author":"A Voinitchi","year":"2008","unstructured":"Voinitchi A, Black E, Luck M, et al. From guidelines to careflows: modelling and supporting complex clinical processes. Stud Health Technol Inform. 2008;139:44\u201362.","journal-title":"Stud Health Technol Inform"},{"key":"1323_CR29","volume-title":"Model checking","author":"EM Clarke Jr","year":"2018","unstructured":"Clarke EM Jr, Grumberg O, Peled DA. Model checking. 2nd ed. Cambridge: The MIT Press; 2018.","edition":"2"}],"container-title":["BMC Medical Informatics and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12911-020-01323-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s12911-020-01323-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12911-020-01323-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,5]],"date-time":"2022-12-05T03:12:16Z","timestamp":1670209936000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcmedinformdecismak.biomedcentral.com\/articles\/10.1186\/s12911-020-01323-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":29,"journal-issue":{"issue":"S14","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["1323"],"URL":"https:\/\/doi.org\/10.1186\/s12911-020-01323-7","relation":{},"ISSN":["1472-6947"],"issn-type":[{"value":"1472-6947","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12]]},"assertion":[{"value":"11 November 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2020","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This study was approved by the Ethics Committee of General Hospital of Xinjiang Military Region. Because this research was a secondary analysis of EMR data and the risk of privacy leakage was low, the informed consent of individual participants was not required.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"303"}}