Related Experiment Videos
The syntax and semantics of the PROforma guideline modeling language
1Oxford Brookes University, Oxford, England. david.r.sutton@ntlworld.com
Summary
PROforma is an executable process modeling language for clinical applications. It enables machine-executable clinical guidelines and decision support systems, with defined semantics for task enactment and state querying.
Area of Science:
- Computer Science
- Medical Informatics
- Software Engineering
Background:
- PROforma is an executable process modeling language.
- It is used for clinical applications like decision support systems and guidelines.
- It represents clinical protocols in a machine-executable format.
Purpose of the Study:
- Outline the task model for PROforma.
- Provide operational semantics for process enactment.
- Define semantics for expressions to query task state during enactment.
Main Methods:
- Describing the task model of the PROforma language.
- Developing an operational semantics for process enactment.
- Creating a semantics for expressions for state querying.
Main Results:
- The operational semantics includes public operations for external agents.
- Operations allow data item value changes, decision recommendations, task management, and state changes.
- PROforma has been the basis for commercial decision support technology.
Conclusions:
- PROforma provides a robust framework for executable clinical applications.
- The defined semantics facilitate process enactment and state management.
- The language supports the development of advanced clinical decision support and guideline systems.