Enriching surgical process models by BPMN extensions for temporal durations

摘要

Many surgical interventions are finding new techniques in robot-assisted surgery, which allows surgeons to perform surgery with the help of robotic arms. A formal representation of robot-assisted surgery can provide surgeons with an overview of the main stages of surgical intervention and a detailed description of the different steps, including all the possible emergencies that may occur. Formalizing such kinds of interventions could also help to train new surgeons. However, literature does not consider formal representations and properties of robot-assisted surgery properly.