Formal Semantics of Asbru

This paper gives part of the formal semantics of a planning language called ASBRU which has been specifically designed for the medical framework. A formal semantics is an important step within the Protocure project which is concerned with the quality assurance of medical guidelines and protocols. We have constructed a formal semantics in the style of statecharts, which leads to a compact, graphical overview of the operational behaviour. In this style, the semantics documents the language best.