"Computer science and artificial intelligence are increasingly used in the hazardous and uncertain realms of medical decision making, where small faults or errors can spell human catastrophe. This book describes, from both practical and theoretical perspectives, an AI technology for supporting sound clinical decision making and safe patient management. The technology combines techniques from conventional software engineering with a systematic method for building intelligent agents. Although the focus is on medicine, many of the ideas can be applied to AI systems in other hazardous settings. The book also covers a number of general AI problems, including knowledge representation and expertise modeling, reasoning and decision making under uncertainty, planning and scheduling, and the design and implementation of intelligent agents. The book, written in an informal style, begins with the medical background and motivations, technical challenges, and proposed solutions. It then turns to a wide-ranging discussion of intelligent and autonomous agents, with particular reference to safety and hazard management. The final section provides a detailed discussion of the knowledge representation and other aspects of the agent model developed in the book, along with a formal logical semantics for the language."
The Syntax and Semantics of the PROforma Guideline Modelling Language (@PubMed Central)
An outline of the task model for the PROforma language and an operational semantics for process enactment together with a semantics for expressions, which may be used to query the state of a task during enactment (Sutton DR, Fox J. The Syntax and Semantics of the PROforma guideline modelling language. J Am Med Inform Assoc. 2003 Sep-Oct;10(5):433-43).
Download the full version
How to Use Parameters in PROforma
A Parameter is essentially a data item that is "local" to a particular task and is assigned a value when that task is started or when its precondition is evaluated.
PROforma: Reserved Words
A list of words that are reserved in the PROforma language and cannot be used as names of data items, tasks, or candidates of decisions. Useful to look at before using Tallis to develop an application.
Style Guide For Authoring PROforma Protocols
The rationale for a style guide for authoring PROforma protocols is to facilitate interoperability of guidelines. A consistent naming scheme also enhances the readability of the guideline and provides the author with semantic clues during authoring.
Getting Started > Scheduling
Task scheduling determines the flow of the process-description, and the order in which tasks are enacted. The ordering of the task can be controlled directly, by connecting two tasks with a scheduling constraint, or indirectly, by manipulating the state trigger or event trigger of a task.
Tallis Online Help
Help on topics such as basic PROforma concepts; using the Tallis Composer to create process-descriptions; using the Tallis Tester to test process-descriptions; and enacting process-descriptions via the web.
Download printer friendly version
Installing the Tallis Authoring Suite
This document tells you how to install and run the following tools: (A)The Tallis Composer, which allows you to visually create, edit, and save PROforma guidelines. (B) The Tallis Tester, which provides a GUI interface that allows you to step through or "enact" a PROforma guideline and observe the changes that occur in the guideline state.
Installing the Tallis Web Enactment Suite
This document tells you how to install and run the Tallis Web Enactment Suite, which allows PROforma process-descriptions to be published and enacted over the web. This document is only required if you wish to set up your own local server for publishing and running PROforma guideline applications. It is not needed if you intend to use the OpenClinical server for publishing and enacting applications. The document also briefly explains how to install two other software components that you will need, namely the Java 2 platform and the Tomcat web server.