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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Michael BalserGND, Christoph Duelli, Wolfgang ReifORCiDGND, Jonathan SchmittGND
URN:urn:nbn:de:bvb:384-opus4-1779
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/226
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2006-15)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Release Date:2006/06/13
Tag:asbru; semantics; medical guidelines
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik