Modeling surgical processes: A four-level translational approach

Artificial Intelligence in Medicine

Volumn 51, Issue 3, 2011, Pages 147-161

  Neumuth, Dayana ^a   Loebe, Frank ^a   Herre, Heinrich ^a   Neumuth, Thomas ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Concept formation; Linguistics; Operative surgical procedures; Practice guideline; Process model; Theoretical models; Workflow

Indexed keywords

CONCEPT FORMATION; OPERATIVE SURGICAL PROCEDURES; PRACTICE GUIDELINE; PROCESS MODEL; THEORETICAL MODELS; WORKFLOW;

COMPUTER AIDED INSTRUCTION; LINGUISTICS; QUALITY CONTROL; TRANSLATION (LANGUAGES);

TRANSPLANTATION (SURGICAL);

ARTICLE; CONCEPT FORMATION; CONCEPTUAL FRAMEWORK; FOUR LEVEL TRANSLATIONAL APPROACH; MATHEMATICAL MODEL; METHODOLOGY; PRACTICE GUIDELINE; PRIORITY JOURNAL; PROCESS MODEL; STATISTICAL ANALYSIS; SURGERY;

COMPUTER SIMULATION; HUMANS; SURGERY, COMPUTER-ASSISTED;

EID: 79954589219     PISSN: 09333657     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artmed.2010.12.003     Document Type: Article

References (79)

1. Neumuth T., Jannin P., Strauss G., Meixensberger J., Burgert O. Validation of knowledge acquisition for surgical process models. Journal of the American Medical Informatics Association 2009, 16:72-80.
2. Neumuth T., Mudunuri R., Jannin P., Meixensberger J., Burgert O. SWAN-Suite: the tool landscape for surgical workflow analysis. Computer assisted medical and surgical interventions 2007, 199-204. Sauchamps Medical, Paris. J. Troccaz, P. Merloz (Eds.).
3. Lemke H.U., Vannier M.W. The operating room and the need for an IT infrastructure and standards. Journal of Computer Assisted Radiology and Surgery 2006, 1:117-122.
4. Münchenberg J.E., Brief J., Raczkowsky J., Wörn H., Hassfeld S., Mühling J. Operation planning of robot supported surgical interventions. Proceedings of IEEE/RSJ international conference on intelligent robots and systems 2001, 547-552. N/S (Ed.).
5. Mehta N., Haluck R., Frecker M., Snyder A. Sequence and task analysis of instrument use in common laparoscopic procedures. Surgical Endoscopy 2002, 16:280-285.
6. Neumuth T., Trantakis C., Riffaud L., Strauss G., Meixensberger J., Burgert O. Assessment of technical needs for surgical equipment by surgical process models. Minimally Invasive Therapy and Allied Technologies 2009, 18:841-849.
7. Casaletto J., Rajaratnam V. Surgical process re-engineering: carpal tunnel decompression-a model. Hand Surgery 2004, 9/1:19-27.
8. Malik R., White P., Macewen C. Using human reliability analysis to detect surgical error in endoscopic DCR surgery. Clinical Otolaryngology and Allied Sciences 2003, 28:456-460.
9. den Boer K., Straatsburg I., Schellinger A., de Wit L., Dankelman J., Gouma D. Quantitative analysis of the functionality and efficiency of three surgical dissection techniques: a time-motion analysis. Journal of Laparoendoscopic & Advanced Surgical Techniques (Part A) 1999, 9:389-395.
10. Jannin P., Raimbault M., Morandi X., Riffaud L., Gibaud B. Model of surgical procedures for multimodal image-guided neurosurgery. Computer Aided Surgery: Official Journal of the International Society for Computer Aided Surgery 2003, 8:98-106.
11. Neumuth T., Strauss G., Meixensberger J., Lemke H., Burgert O. Acquisition of process descriptions from surgical interventions. Proceedings of Database and Expert Systems Applications (DEXA) 2006, 602-611. Springer, Berlin, Heidelberg. S. Bressan, J. Küng, R. Wagner (Eds.).
12. White S.A., Miers D. BPMN modeling and reference guide: understanding and using BPMN 2008, Future Strategies Inc., N/S.
13. van der Aalst W., van Hee K. Workflow management: models, methods, and systems 2002, MIT Press, Cambridge (MA).
14. Adlassnig K., Combi C., Das A.K., Keravnou E.T., Pozzi G. Temporal representation and reasoning in medicine: research directions and challenges. Artificial Intelligence in Medicine 2006, 38:101-113.
15. Workflow Management Coalition, Terminology & Glossary - Document Number WFMC-TC-1011, Document Status - Issue 3.0. Winchester, UK; 1999.
16. Frigg R, Hartmann S. Models in science, (Accessed: 31.May 2010). http://plato.stanford.edu/entries/models-science/.
17. Neumuth T, Jannin P, Schlomberg J, Meixensberger J, Wiedemann P, Burgert O. Analysis of surgical intervention populations using generic surgical process models. Journal of Computer Assisted Radiology and Surgery, (in press). doi:10.1007/s11548-010-0475-y.
18. Cicekli N.K., Cicekli I. Formalizing the specification and execution of workflows using the event calculus. Information Sciences 2006, 176:2227-2267.
19. Davulcu H., Kifer M., Ramakrishnan C.R., Ramakrishnan I.V. Logic based modeling and analysis of workflows. Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems 1998, 25-33. ACM, Seattle, Washington.
20. Reiter R. The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy 1991, Academic Press Professional, Inc., Boston, p. 359-80.
21. Kowalski R., Sergot M. A logic-based calculus of events. New Generation Computing 1986, 4:67-95.
22. Thielscher M. A unifying action calculus. Artificial Intelligence 2011, 175(1):120-141.
23. Teije A.T., Miksch S., Lucas P. Computer-based medical guidelines and protocols 2008, IOS Press, Amsterdam.
24. Hendler K.E., Nau D.S. UMCP: A sound and complete procedure for hierarchical task network planning. Proceedings of the 2nd international conference on Artificial Intelligence Planning Systems (AIPS 94) 1994, 249-254. AAAI Press, Menlo Park (Cal.). K. Hammond (Ed.).
25. Anselma L., Montani S. Planning: supporting and optimizing clinical guidelines execution. Studies in Health Technology and Informatics 2008, 139:101-120.
26. Terenziani P., German E., Shahar Y. The temporal aspects of clinical guidelines. Studies in Health Technology and Informatics 2008, 139:81-100.
27. De Clercq P., Kaiser K., Hasman A. Computer-interpretable guideline formalisms. Studies in Health Technology and Informatics 2008, 139:22-43.
28. Mulyar N., van der Aalst W.M., Peleg M. A pattern-based analysis of clinical computer-interpretable guideline modeling languages. Journal of the American Medical Informatics Association 2007, 14:781.
29. European Committee for Standardization (CEN) Health informatics-categorical structure for classifications and coding systems of surgical procedures (EN 1828) 2002, European Committee for Standardization (CEN), Brussels.
30. Allen J.F. Towards a general theory of action and time. Artificial Intelligence 1984, 23:123-154.
31. Terenziani P., Torasso P. Time, action-types, and causation: an integrated analysis. Computational Intelligence 1995, 11:529-552.
32. Fisher M, Gabbay DM, Vila L, editors. Handbook of temporal reasoning in artificial intelligence. In: van Harmelen F, Lifschitz V, Porter B, editors. Foundations of artificial intelligence. Elsevier: Amsterdam, San Diego, Oxford, London; 2010.
33. Ma J. Ontological considerations of time, meta-predicates and temporal propositions. Applied Ontology 2007, 2:37-66.
34. National Institute of Standards (Schlenoff C, Gruninger M, Tissot F, Valois J, Lubell J, Lee J). The Process Specification Language (PSL) Overview and Version 1.0 Specification, 1999, (Accessed: 31.May 2010). http://www.mel.nist.gov/psl/pubs/PSL1.0/paper.doc.
35. Process theories: crossdisciplinary studies in dynamic categories 2007, Springer, Dordrecht. J. Seibt (Ed.).
36. Herre H, Heller B, Burek P, Hoehndorf R, Loebe F, Michalek H. General Formal Ontology (GFO): A Foundational Ontology Integrating Objects and Processes. Part I: Basic Principles, 2007, (Accessed: 01.June 2010). http://www.onto-med.de/ontologies/gfo/.
37. Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A. WonderWeb Deliverable D18: ontology library (final) 2003, Laboratory for Applied Ontology, ISTC-CNR, Trento.
38. International Organization for Standardization (West M, Sullivan J, Teijgeler H). ISO/FDIS 15926-2: Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities. International Organization for Standardization, N/S; 2003.
39. Herre H. General Formal Ontology (GFO): a foundational ontology for conceptual modeling. Theory and application of ontology: computer applications 2010, 297-345. Springer, Heidelberg. R. Poli, M. Healy, A. Kameas (Eds.).
40. Green P., Rosemann M. Integrated process modeling: an ontological evaluation. Information Systems 2000, 25:73-87.
41. Evermann J., Wand Y. Towards ontologically based semantics for UML constructs. Proceedings of the 20th international conference on conceptual modeling: conceptual modeling 2001, 354-367. Springer, Berlin, Heidelberg, New York.
42. Evermann J. A UML and OWL description of Bunge's upper-level ontology model. Software and Systems Modeling 2009, 8:235-249.
43. Herre H., Heller B. Semantic foundations of medical information systems based on top-level ontologies. Knowledge-Based Systems 2006, 19:107-115.
44. Herre H., Loebe F. A meta-ontological architecture for foundational ontologies. On the move to meaningful internet systems 2005: CoopIS, DOA, and ODBASE 2005, 1398-1415. Springer, Berlin, Heidelberg, New York. R. Meersman, Z. Tahir (Eds.).
45. Booch G., Rumbaugh J., Jacobson I. The unified modeling language user guide 2005, Addison-Wesley Longman, Amsterdam.
46. Rumbaugh J., Jacobson I., Booch G. The unified modeling language reference manual 2005, Addison-Wesley Longman, Amsterdam.
47. World Wide Web Consortium (W3C) (Bray T, Paoli J, Sperberg-McQueen C, Maler E, Yergau F). Extensible Markup Language (XML) 1.0, 2008, (Accessed: 01. June 2010). http://www.w3.org/TR/REC-xml/.
48. Center for the Study of Language and Information (Casati R, Varzi A). The stanford encyclopedia of philosophy. Stanford University; 2008, (Accessed: 01.June 2010). http://plato.stanford.edu/.
49. Dowty D.R. Word meaning and montague grammar 1979, Kluwer Academic Publishers, Dordrecht.
50. Bach E. The algebra of events. Linguistics and Philosophy 1986, 9:5-16.
51. Ryle G. The concept of mind 1984, University Of Chicago Press, Chicago.
52. Kenny A. Action, emotion and will 2003, Routledge, London, New York.
53. Vendler Z. Linguistics in philosophy 1967, Cornell University Press, New York.
54. Barnes J. Metaphysics, the complete works of Aristotle: the revised Oxford translation 1995, Princeton University Press, New Jersey.
55. Moens M., Steedman M. Temporal ontology and temporal reference. Computational Linguistics 1988, 14:15-28.
56. Carlson L. Aspect and quantification, syntax and semantics 1981, Academic Press, New York.
57. Parsons T. Events in the semantics of English: a study in subatomic semantics 1994, MIT Press, Boston.
58. Comrie B. Aspect: an introduction to the study of verbal aspect and related problems 1976, Cambridge University Press, Cambridge.
59. Piñon C. Achievements in an event semantics. Proceedings of semantics and linguistic theory VII 1997, CLC Publications, Ithaca, New York, p. 273-96.
60. Rothstein S. Fine-grained structure in the eventuality domain: the semantics of predicative adjective phrases and be. Natural Language Semantics 1999, 7:347-420.
61. Ridder L. Mereologie. Ein Beitrag zur Ontologie und Erkenntnistheorie 2002, Klostermann, Frankfurt am Main.
62. Pietroski P.M. Events and semantic architecture 2005, Oxford University Press, Oxford.
63. Ziarko W., Shan N. A method for computing all maximally general rules in attribute-value systems. Computational Intelligence 1996, 12:223-234.
64. Gärdenfors P. Conceptual spaces: the geometry of thought 2000, MIT Press, Cambridge.
65. MacKenzie C.L., Ibbotson J.A., Cao C.G.L., Lomax A.J. Hierarchical decomposition of laparoscopic surgery: a human factors approach to investigating the operating room environment. Minimally Invasive Therapy & Allied Technologies: MITAT: Official Journal of the Society for Minimally Invasive Therapy 2001, 10:121-127.
66. Cao C., MacKenzie C., Payandeh S. Task and motion analyses in endoscopic surgery. ASME Dynamic Systems and Controls Division (5th annual symposium on haptic interfaces for virtual environments and teleoperation systems) 1996, 583-590. ACM Press, Atlanta.
67. Ibbotson J.A., MacKenzie C.L., Cao C.G., Lomax A.J. Gaze patterns in laparoscopic surgery. Studies in Health Technology and Informatics 1999, 62:154-160.
68. Raimbault M., Morandi X., Jannin P. Toward models of surgical procedures: analyzing a database of neurosurgical cases. SPIE medical imaging, PACS and imaging informatics 5748 2005, 783-791. SPIE Press, Bellingham. O.M. Ratib, S.C. Horii (Eds.).
69. Jannin P., Morandi X. Surgical models for computer-assisted neurosurgery. NeuroImage 2007, 37:783-791.
70. Neumuth T., Durstewitz N., Fischer M., Strauß G., Dietz A., Meixensberger J., Jannin P., et al. Structured recording of intraoperative surgical workflows. SPIE medical imaging 2006-PACS and imaging informatics: progress in biomedical optics and imaging 2005, 783-791. SPIE Press, Bellingham. S. Horii, O. Ratib (Eds.).
71. Ahmadi S.A., Sielhorst T., Stauder R., Horn M., Feussner H., Navab N. Recovery of surgical workflow without explicit models. Medical image computing and computer-assisted intervention-MICCAI 2006, LNCS 4190 2006, 23-37. Springer, Heidelberg. R. Larsen, M. Nielsen, J. Sporring (Eds.).
72. Neumuth T., Mudunuri R., Jannin P., Meixensberger J., Burgert O. Computer assisted medical and surgical interventions. SURGETICA 2007, 199-204. Surchamps Medical, Paris. J. Troccaz, P. Merloz (Eds.).
73. Rosse C., Mejino J.L.V. A reference ontology for biomedical informatics: the Foundational Model of Anatomy. Journal of Biomedical Informatics 2003, 36:478-500.
74. Padoy N., Blum T., Essa I., Feussner H., Berger M., Navab N. A boosted segmentation method for surgical workflow analysis. Medical image computing and computer-assisted intervention: MICCAI 2007, 10th international conference on medical image computing and computer-assisted intervention, LNCS 4792 2007, 102-109. Springer, Heidelberg. N. Ayache, S. Ourselin, A. Maeder (Eds.).
75. Padoy N., Horn M., Feussner H., Berger M., Navab N. Recovery of surgical workflow: a model-based approach. International Journal of Computer Assisted Radiology and Surgery 2007, 2:481-482.
76. Blum T., Padoy N., Feussner H., Navab N. Modeling and online recognition of surgical phases using hidden Markov models. Medical image computing and computer-assisted intervention: MICCAI 2008, 11th international conference on medical image computing and computer-assisted intervention, LNCS 5242 2008, 627-635. Springer, Berlin, Heidelberg. D. Metaxas, L. Axel, G. Fichtinger, G. Székely (Eds.).
77. Horrocks I., Patel-Schneider P.F., van Harmelen F. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 2003, 1:7-26.
78. van Harmelen F., Antoniou G. Web ontology language: OWL. Handbook on ontologies 2004, 71-110. Springer, Heidelberg. S. Staab, R. Studer (Eds.).
79. Mudunuri R., Neumuth T., Strauss G., Dietz A., Meixensberger J., Burgert O. SOCAS-Surgical ontologies for computer assisted surgery. Proceedings of the 21st international congress on computer assisted radiology and surgery 2007, 481. Spinger, Heidelberg. H.U. Lemke, M. Vannier, K. Inamura, A.G. Farman, K. Doi (Eds.).