Visualization techniques for time-oriented, skeletal plans in medical therapy planning

In order to utilize elaborate tools and techniques (like verification) for use with clinical protocols, these must be represented in an appropriate way. Protocols are typically represented by means of formal languages (e.g., Asbru), which are very hard to understand for medical experts and lead to many problems in practical use. Therefore, a powerful user interface is needed. We identify the key problems the user-interface designer is faced with, and present a number of "classic" solutions and their shortcomings - which led to our own solution called AsbruView. Its two different views (Topological View and Temporal View) are presented.