Formal Semantics of Asbru

Michael Balser, Christoph Duelli, Wolfgang Reif, Jonathan Schmitt

Formal Semantics of Asbru - V2.12

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.
published 12.6.2006 in: Augsburg