Guideline-Enabled Data Driven Clinical Knowledge Model for the Treatment of Oral Cavity Cancer Acquired Through a Refined Knowledge Acquisition Method

Maqbool Hussain 1,2* , Muhammad Afzal 1 , Khalid M. Malik 2 , Taqdir Ali 3,Wajahat A. Khan 3 , Muhammad Irfan 4,5, Arif Jamshed 4 and Sungyoung Lee 3, 1 Department of Software, Sejong University, South Korea; {maqbool.hussain, mafzal}@sejong.ac.kr 2 Department of Computer Science and Engineering, Oakland University, Rochester, MI, USA; {maqboolhussain, mahmood }@oakland.edu 3 Department of Computer Engineering, Kyung Hee University, Seocheon-dong, Giheung-gu, Yongin-si, Gyeonggi-do, Republic of Korea, 446-701; {taqdir.ali, wajahat.alikhan, sylee}@oslab.khu.ac.kr 4 Department of Radiation Oncology, Shaukat Khanum Memorial Cancer Hospital and Research Centre, 7A Block R-3, M.A.Johar Town, Lahore, Pakistan, 54782; drmhammadirfan@gmail.com, arifj@skm.org.pk 5 Department of Radiation Oncology, National Guard-Health Affairs, King Abdulaziz Medical City Riyadh, Kingdom of Saudi Arabia * Correspondence: maqbool.hussain@sejong.ac.kr

[1]  Ivan Porres,et al.  Authoring and verification of clinical guidelines: A model driven approach , 2010, J. Biomed. Informatics.

[2]  David Arroyo,et al.  On securing online registration protocols: Formal verification of a new proposal , 2014, Knowl. Based Syst..

[3]  Richard O. Sinnott,et al.  Specifying ODP Computational Objects in Z , 1997 .

[4]  Laura Giordano,et al.  Adopting model checking techniques for clinical guidelines verification , 2010, Artif. Intell. Medicine.

[5]  Amit P. Sheth,et al.  Semantics Driven Approach for Knowledge Acquisition From EMRs , 2014, IEEE Journal of Biomedical and Health Informatics.

[6]  Sungyoung Lee,et al.  Data-driven knowledge acquisition, validation, and transformation into HL7 Arden Syntax , 2018, Artif. Intell. Medicine.

[7]  R. F. Gamblea,et al.  Rule-based systems formalized within a software architectural style , 1999 .

[8]  Meredith Lawley,et al.  Factors influencing decision support system acceptance , 2013, Decis. Support Syst..

[9]  Jean-Baptiste Lamy,et al.  Using data mining techniques to explore physicians' therapeutic decisions when clinical guidelines do not provide recommendations: methods and example for type 2 diabetes , 2009, BMC Medical Informatics Decis. Mak..

[10]  Mor Peleg,et al.  Computer-interpretable clinical guidelines: A methodological review , 2013, J. Biomed. Informatics.

[11]  Shaoying Liu,et al.  Formal Specification-Based Inspection for Verification of Programs , 2012, IEEE Transactions on Software Engineering.

[12]  Marsha Chechik,et al.  Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[13]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[14]  R Serban,et al.  Exploiting thesauri knowledge in medical guideline formalization. , 2009, Methods of information in medicine.

[15]  Manuel Campos,et al.  A lightweight acquisition of expert rules for interoperable clinical decision support systems , 2019, Knowl. Based Syst..

[16]  Yuval Shahar,et al.  A quantitative assessment of a methodology for collaborative specification and evaluation of clinical guidelines , 2008, J. Biomed. Informatics.

[17]  Eerke A. Boiten,et al.  From ODP viewpoint consistency to Integrated Formal Methods , 2013, Comput. Stand. Interfaces.

[18]  Vimla L. Patel,et al.  Interpreting procedures from descriptive guidelines , 2006, J. Biomed. Informatics.

[19]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[20]  John Fox,et al.  A formal approach to the analysis of clinical computer-interpretable guideline modeling languages , 2012, Artif. Intell. Medicine.

[21]  Silvia Miksch,et al.  Knowledge-based verification of clinical guidelines by detection of anomalies , 2001, Artif. Intell. Medicine.

[22]  Antonio Vallecillo,et al.  The Reference Model of Open Distributed Processing: Foundations, experience and applications , 2013, Comput. Stand. Interfaces.

[23]  Howard Bowman,et al.  FDTs for ODP , 1995 .

[24]  Sungyoung Lee,et al.  Multi-model-based interactive authoring environment for creating shareable medical knowledge , 2017, Comput. Methods Programs Biomed..

[25]  Michael Wooldridge,et al.  The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System , 2004, Autonomous Agents and Multi-Agent Systems.

[26]  Frank van Harmelen,et al.  Improving medical protocols by formal methods , 2006, Artif. Intell. Medicine.

[27]  Pablo Noriega,et al.  Communicating open systems , 2012, Artif. Intell..

[28]  Mihaela Marcella Vida,et al.  From Data Mining Rules to Medical Logical Modules and Medical Advices , 2013, MedInfo.

[29]  Michael Z. Spivey,et al.  The Z notation , 1989 .