The Syntax and Semantics of the PROformaGuideline Modeling Language

David R. Sutton, John Fox
2003 JAMIA Journal of the American Medical Informatics Association  
A b s t r a c t PROforma is an executable process modeling language that has been used successfully to build and deploy a range of decision support systems, guidelines, and other clinical applications. It is one of a number of recent proposals for representing clinical protocols and guidelines in a machine-executable format (see ). In this report, the authors outline the task model for the language and provide an operational semantics for process enactment together with a semantics for
more » ... ns, which may be used to query the state of a task during enactment. The operational semantics includes a number of public operations that may be performed on an application by an external agent, including operations that change the values of data items, recommend or make decisions, manage tasks that have been performed, and perform any task state changes that are implied by the current state of the application. Disclosure: PROforma has been used as the basis of a commercial decision support and guideline technology Arezzo (Infermed, London, UK; details in text). Affiliations of the authors: Oxford Brookes University, Oxford, England (DRS); Advanced Computation Laboratory, Cancer Research, London, UK ( JF). PROforma has been used as the interchange format and guideline specification language for a commercial decision support technology: Arezzo from InferMed Ltd. The first author has no connection with this company; the second is a stock-holder in the company but has no day-to-day involvement in its commercial activities.
doi:10.1197/jamia.m1264 pmid:12807812 pmcid:PMC212780 fatcat:2alfjwju6bgz7bbt7bo3yz2d6u