Modeling surgical processes: A four-level translational approach

MOTIVATION The precise and formal specification of surgical interventions is a necessary requirement for many applications in surgery, including teaching and learning, quality assessment and evaluation, and computer-assisted surgery. Currently, surgical processes are modeled by following various approaches. This diversity lacks a commonly agreed-upon conceptual foundation and thus impedes the comparability, the interoperability, and the uniform interpretation of process data. OBJECTIVE However, it would be beneficial if scientific models, in the same context, shared a coherent conceptual and formal mathematical basis. Such a uniform foundation would simplify the acquisition and exchange of data, the transition and interpretation of study results, and the transfer and adaptation of methods and tools. Therefore, we propose a generic, formal framework for specifying surgical processes, which is presented together with its design methodology. METHODS The methodology follows a four-level translational approach and comprises an ontological foundation for the formal level that orients itself by linguistic theories. RESULTS A unifying framework for modeling surgical processes that is ontologically founded and formally and mathematically precise was developed. The expressive power and the unifying capacity of the presented framework are demonstrated by applying it to four contemporary approaches for surgical process modeling by using the common underlying formalization. CONCLUSIONS The presented four-level approach allows for capturing the knowledge of the surgical intervention formally. Natural language terms are consistently translated to an implementation level to support research fields where users express their expert knowledge about processes in natural language, but, in contrast to this, statistical analysis or data mining need to be performed based on mathematically formalized data sets. The availability of such a translational approach is a valuable extension for research regarding the operating room of the future.

[1]  Z. Vendler Linguistics in Philosophy , 1967 .

[2]  Nassir Navab,et al.  Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models , 2008, MICCAI.

[3]  Heinrich Herre,et al.  Semantic foundations of medical information systems based on top-level ontologies , 2006, Knowl. Based Syst..

[4]  Heinrich Herre,et al.  A Meta-ontological Architecture for Foundational Ontologies , 2005, OTM Conferences.

[5]  C G Cao,et al.  Gaze patterns in laparoscopic surgery. , 1999, Studies in health technology and informatics.

[6]  Nihan Kesim Cicekli,et al.  Formalizing the specification and execution of workflows using the event calculus , 2006, Inf. Sci..

[7]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[8]  M. Frecker,et al.  Sequence and task analysis of instrument use in common laparoscopic procedures , 2002, Surgical Endoscopy And Other Interventional Techniques.

[9]  Emmon Bach,et al.  The algebra of events , 1986, The Language of Time - A Reader.

[10]  David R. Dowty,et al.  Word Meaning and Montague Grammar , 1979 .

[11]  Susan Rothstein,et al.  FINE-GRAINED STRUCTURE IN THE EVENTUALITY DOMAIN: THE SEMANTICS OF PREDICATIVE ADJECTIVE PHRASES AND BE , 1999 .

[12]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[13]  C. M. Sperberg-McQueen,et al.  Extensible markup language , 1997 .

[14]  Michael Rosemann,et al.  Integrated Process Modeling: An Ontological Evaluation , 2000, Inf. Syst..

[15]  T. Neumuth,et al.  Structured recording of intraoperative surgical workflows , 2006, SPIE Medical Imaging.

[16]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[17]  Joerg Evermann,et al.  A UML and OWL description of Bunge’s upper-level ontology model , 2009, Software & Systems Modeling.

[18]  S. Hartmann,et al.  Models in Science , 2006 .

[19]  Bernard Comrie Aspect: An Introduction to the Study of Verbal Aspect and Related Problems , 1976 .

[20]  Pierre Jannin,et al.  Surgical models for computer-assisted neurosurgery , 2007, NeuroImage.

[21]  Paul M. Pietroski,et al.  Events and Semantic Architecture , 2005 .

[22]  Nassir Navab,et al.  A Boosted Segmentation Method for Surgical Workflow Analysis , 2007, MICCAI.

[23]  Michael Thielscher,et al.  A unifying action calculus , 2011, Artif. Intell..

[24]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[25]  C. M. Sperberg-McQueen,et al.  Extensible Markup Language (XML) , 1997, World Wide Web J..

[26]  Thomas Neumuth,et al.  Assessment of technical needs for surgical equipment by surgical process models , 2009, Minimally invasive therapy & allied technologies : MITAT : official journal of the Society for Minimally Invasive Therapy.

[27]  Christopher Piñón,et al.  Achievements in an Event Semantics , 1997 .

[28]  Sushil Jajodia,et al.  Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling , 2001 .

[29]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[30]  Pierre Jannin,et al.  Toward models of surgical procedures: analyzing a database of neurosurgical cases , 2005, SPIE Medical Imaging.

[31]  Peter J. F. Lucas Computer-based Medical Guidelines and Protocols: A Primer and Current Trends , 2008 .

[32]  Pietro Torasso,et al.  TIME, ACTION‐TYPES, AND CAUSATION: AN INTEGRATED ANALYSIS , 1995, Comput. Intell..

[33]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[34]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

[35]  L. Ridder Mereologie : ein beitrag zur ontologie und erkenntnistheorie , 2002 .

[36]  L. MacKenzie,et al.  Hierarchical decomposition of laparoscopic surgery: a human factors approach to investigating the operating room environment , 2001, Minimally invasive therapy & allied technologies : MITAT : official journal of the Society for Minimally Invasive Therapy.

[37]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

[38]  Heinz Wörn,et al.  Operation planning of robot supported surgical interventions , 2000, Proceedings. 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000) (Cat. No.00CH37113).

[39]  Stephen A. White,et al.  BPMN modeling and reference guide : understanding and using BPMN : develop rigorous yet understandable graphical representations of business processes , 2008 .

[40]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[41]  P S White,et al.  Using human reliability analysis to detect surgical error in endoscopic DCR surgery. , 2003, Clinical otolaryngology and allied sciences.

[42]  Peter Buneman,et al.  Semistructured data , 1997, PODS.

[43]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[44]  Shahram Payandeh,et al.  Task and Motion Analyses in Endoscopic Surgery , 1996, Dynamic Systems and Control.

[45]  Johanna Seibt Process Theories: Crossdisciplinary Studies in Dynamic Categories , 2004 .

[46]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

[47]  Jixin Ma,et al.  Ontological considerations of time, meta-predicates and temporal propositions , 2007, Appl. Ontology.

[48]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[49]  Dov M. Gabbay,et al.  Handbook of Temporal Reasoning in Artificial Intelligence , 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

[50]  Steffen Staab,et al.  International Handbooks on Information Systems , 2013 .

[51]  P. Jannin,et al.  Model of Surgical Procedures for Multimodal Image-Guided Neurosurgery , 2003, Computer aided surgery : official journal of the International Society for Computer Aided Surgery.

[52]  Elpida T. Keravnou,et al.  Temporal representation and reasoning in medicine: Research directions and challenges , 2006, Artif. Intell. Medicine.

[53]  Wojciech Ziarko,et al.  A METHOD FOR COMPUTING ALL MAXIMALLY GENERAL RULES IN ATTRIBUTE‐VALUE SYSTEMS , 1996, Comput. Intell..

[54]  J Dankelman,et al.  Quantitative analysis of the functionality and efficiency of three surgical dissection techniques: a time-motion analysis. , 1999, Journal of laparoendoscopic & advanced surgical techniques. Part A.

[55]  Thomas Neumuth,et al.  Analysis of surgical intervention populations using generic surgical process models , 2010, International Journal of Computer Assisted Radiology and Surgery.

[56]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[57]  J. Barnes,et al.  The Complete Works of Aristotle the Revised Oxford Translation , 1984 .

[58]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

[59]  Gero Strauß,et al.  Research Paper: Validation of Knowledge Acquisition for Surgical Process Models , 2009, J. Am. Medical Informatics Assoc..

[60]  D. Kirsh Foundations of Artificial Intelligence , 1991 .

[61]  Peter Gärdenfors,et al.  Conceptual spaces - the geometry of thought , 2000 .

[62]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[63]  Gero Strauß,et al.  Acquisition of Process Descriptions from Surgical Interventions , 2006, DEXA.

[64]  Luca Anselma,et al.  Planning: Supporting and Optimizing Clinical Guidelines Execution , 2008, Computer-based Medical Guidelines and Protocols.

[65]  A. Kenny Action, Emotion And Will , 1965 .

[66]  Nassir Navab,et al.  Recovery of Surgical Workflow: a Model-based Approach , 2007 .

[67]  Robert Hoehndorf,et al.  General Formal Ontology (GFO) - A Foundational Ontology Integrating Objects and Processes [Version 1.0] , 2006 .

[68]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[69]  V. Rajaratnam,et al.  Surgical process re-engineering: carpal tunnel decompression--a model. , 2004, Hand surgery : an international journal devoted to hand and upper limb surgery and related research : journal of the Asia-Pacific Federation of Societies for Surgery of the Hand.

[70]  Wil M. P. van der Aalst,et al.  Research Paper: A Pattern-based Analysis of Clinical Computer-interpretable Guideline Modeling Languages , 2007, J. Am. Medical Informatics Assoc..

[71]  Joerg Evermann,et al.  Towards Ontologically Based Semantics for UML Constructs , 2001, ER.

[72]  Katharina Kaiser,et al.  Computer-interpretable Guideline Formalisms , 2008, Computer-based Medical Guidelines and Protocols.

[73]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[74]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[75]  Nassir Navab,et al.  Recovery of Surgical Workflow Without Explicit Models , 2006, MICCAI.

[76]  Craig Schlenoff,et al.  The Process Specification Language (PSL) Overview and Version 1.0 Specification , 2000 .

[77]  Michael W. Vannier,et al.  The operating room and the need for an IT infrastructure and standards , 2006, International Journal of Computer Assisted Radiology and Surgery.

[78]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[79]  Yuval Shahar,et al.  The Temporal Aspects of Clinical Guidelines , 2008, Computer-based Medical Guidelines and Protocols.