Modelling surgical pavilions and a unit of anaesthesia on a Chilean hospital using Specification and Description Language

Abstract: This work addresses the problem of performing a formal modelling of the processes related to the surgical pavilions and an anaesthesia unit on a Chilean hospital. To perform this modelling we used Specification and Description Language (SDL). The model was very successful in order to document and to understand the tacit knowledge of the unit and facilitates the simulation.