Title :
The directorate information system at St Thomas´ hospital: a study in domain analysis
Author :
Holland, J. ; Sonksen, P. ; Carson, E. ; Cohen, B.
Author_Institution :
Dept. of Med., St. Thomas´´ Hospital, London, UK
Abstract :
Describes a project run at St Thomas´ Hospital whose goal was to design an information system that would support the business of a `clinical directorate´. We argue that the analysis for an information system in an area as complex as this needs to be preceded by detailed domain analysis, and that conventional techniques are inadequate. The method used is described this supports the construction of formal set theoretic domain theories, and the refinement of those theories through refutation and reconstruction. The domain theory that was developed is elucidated. Some abstract properties of the domain are described and discussed. An animation of the theory is presented and examples of behavioural theorems that were refuted by domain experts are given. Some philosophical issues concerning the method are briefly discussed
Keywords :
computer animation; formal specification; medical administrative data processing; philosophical aspects; systems analysis; St Thomas´ hospital; abstract properties; animation; behavioural theorems; clinical directorate information system; domain analysis; formal set theory; information system; philosophical issues; theory reconstruction; theory refutation; Animation; Hospitals; Information analysis; Information systems; Object oriented modeling; Organizational aspects; Personnel; Power system modeling; Predictive models; Testing;
Conference_Titel :
Requirements Engineering, 1994., Proceedings of the First International Conference on
Conference_Location :
Colorado Springs, CO
Print_ISBN :
0-8186-5480-5
DOI :
10.1109/ICRE.1994.292397
