A study of PROforma, a development methodology for clinical procedures

Knowledge engineering has shown that besides the general methodologies from software engineering it is useful to develop special purpose methodologies for knowledge based systems (KBS). PROforma is a newly developed methodology for a specific type of knowledge based systems. PROforma is intended for decision support systems and in particular for clinical procedures in the medical domain. This paper reports on an evaluation study of PROforma, and on the trade-off that is involved between general purpose and special purpose development methods in Knowledge Engineering and Medical AI. Our method for evaluating PROforma is based on re-engineering a realistic system in two methodologies: the new and special purpose KBS methodology PROforma and the widely accepted, and more general KBS methodology CommonKADS. The four most important results from our study are as follows. Firstly, PROforma has some strong points which are also strong related to requirements of medical reasoning. Secondly, PROforma has some weak points, but none of them are in any way related to the special purpose nature of PROforma. Thirdly, a more general method like CommonKADS works better in the analysis phase than the more special purpose method PROforma. Finally, to support a complementary use of the methodologies, we propose a mapping between their respective languages.

[1]  Bob J. Wielinga,et al.  CML: The CommonKADS Conceptual Modelling Language , 1994, EKAW.

[2]  Michael H. Smolensky,et al.  Editorial: Special Issue , 1987 .

[3]  Gary S. Kahn,et al.  The Mud System , 1986, IEEE Expert.

[4]  Jan Treur,et al.  Formal Specification of Compositional Architectures , 1992, ECAI.

[5]  Bob J. Wielinga,et al.  Models of Expertise , 1986, ECAI.

[6]  John P. McDermott,et al.  Easy programming: empowering people to build their own applications , 1992, IEEE Expert.

[7]  Nigel Shadbolt,et al.  Models Exposed: An Empirical Study , 1995 .

[8]  James E. Rumbaugh,et al.  Object-Oriented Modelling and Design , 1991 .

[9]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[10]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[11]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[12]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[13]  Ray Offen,et al.  Establishing Software Measurement Programs , 1997, IEEE Softw..

[14]  A. T. Schreiber,et al.  The Sisyphus-VT initiative , 1996 .

[15]  Yuval Shahar,et al.  A Component-Based Architecture for Automation of Protocol-Directed Therapy , 1995, AIME.

[16]  John Fox,et al.  Protocols for Medical Procedures and Therapies: A Provisional Description of the PROforma Language and Tools , 1997, AIME.

[17]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.