Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language

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 expressions, 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).

[1]  John Fox,et al.  LISA: A Clinical Information and Decision Support System for Childhood Acute Lymphoblastic Leukaemia , 2002, AMIA.

[2]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[3]  Silvana Quaglini,et al.  A patient workflow management system built on guidelines , 1997, AMIA.

[4]  Yuval Shahar,et al.  ASBRU: A TASK-SPECIFIC, INTENTION-BASED, AND TIME-ORIENTED LANGUAGE FOR REPRESENTING SKELETAL PLANS , 1999 .

[5]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[6]  John Fox,et al.  PROforma: a general technology for clinical decision support systems. , 1997, Computer methods and programs in biomedicine.

[7]  Omolola Ogunyemi,et al.  Using features of Arden Syntax with object-oriented medical data models for guideline modeling , 2001, AMIA.

[8]  Andrew S. Coulson,et al.  RAGs: A Novel Approach to Computerized Genetic Risk Assessment and Decision Support from Pedigrees , 2001, Methods of Information in Medicine.

[9]  John Fox,et al.  REACT - A Decision-support System for Medical Planning , 2001, AMIA.

[10]  Nick Booth,et al.  Using scenarios in chronic disease management guidelines for primary care , 2000, AMIA.

[11]  Yuval Shahar,et al.  Synthesis of Research: EON: A Component-Based Approach to Automation of Protocol-Directed Therapy , 1996, J. Am. Medical Informatics Assoc..

[12]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .

[13]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

[14]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .

[15]  J. Fox,et al.  The PRO forma guideline specification language : progress and prospects , 2001 .

[16]  J. Fox,et al.  Evaluation of computer support for prescribing (CAPSULE) using simulated cases , 1997, BMJ.

[17]  G Hripcsak,et al.  Writing Arden Syntax Medical Logic Modules. , 1994, Computers in biology and medicine.

[18]  John Fox,et al.  Disseminating medical knowledge: the PROforma approach , 1998, Artif. Intell. Medicine.

[19]  J Austoker,et al.  Computer support for interpreting family histories of breast and ovarian cancer in primary care: comparative study with simulated cases , 2000, BMJ : British Medical Journal.

[20]  John Fox,et al.  The PROforma Guideline Specification Language: Progress and Prospects , 2000, EWGLP.

[21]  John Fox,et al.  Publets: clinical judgement on the web , 2001, AMIA.

[22]  Omolola Ogunyemi,et al.  GLIF3: the evolution of a guideline representation format , 2000, AMIA.

[23]  D. Hollingsworth.  The workflow Reference Model , 1994 .

[24]  T A Pryor,et al.  Rationale for the Arden Syntax. , 1994, Computers and biomedical research, an international journal.

[25]  John Fox,et al.  Clinical decision support systems: a discussion of quality, safety and legal liability issues , 2003, AMIA.

[26]  John Fox,et al.  Safe and sound - artificial intelligence in hazardous applications , 2000 .

[27]  Yuval Shahar,et al.  Knowledge-based temporal abstraction in clinical domains , 1996, Artif. Intell. Medicine.

[28]  Robert A. Greenes,et al.  Research Paper: The GuideLine Interchange Format: A Model for Representing Guidelines , 1998, J. Am. Medical Informatics Assoc..

[29]  Luca Aceto,et al.  Structural Operational Semantics , 1999, Handbook of Process Algebra.

[30]  C. A. R. Hoare,et al.  An axiomatic basis for computer programming , 1969, CACM.

[31]  John Fox,et al.  Enhancing Conventional Web Content with Intelligent Knowledge Processing , 2003, AIME.

[32]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[33]  Silvana Quaglini,et al.  Guideline-based careflow systems , 2000, Artif. Intell. Medicine.

[34]  Yuval Shahar,et al.  The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines , 1998, Artif. Intell. Medicine.

[35]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[36]  Nick Booth,et al.  The PRODIGY project-the iterative development of the release one model , 1999, AMIA.