Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Test generation for radiotherapy accelerators
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Validating feature-based specifications: Research Articles
Software—Practice & Experience
Decision support and disease management: a logic engineering approach
IEEE Transactions on Information Technology in Biomedicine
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
| Hi-index | 0.00 |
Objectives: The aims of this work were: to define an abstract notation for interactive decision trees; to formally analyse exploration errors in such trees through automated translation to Lotos (language of temporal ordering specification); to generate tree implementations through automated translation for an existing tree viewer, and to demonstrate the approach on healthcare examples created by the CGT (clinical guidance tree) project. Approach: An abstract and machine-readable notation was developed for describing clinical guidance trees: Ad/it (abstract decision/interactive trees). A methodology has been designed for creating trees using Ad/it. In particular, tree structure is separated from tree content. Tree structure and flow are designed and evaluated before committing to detailed content of the tree. Software tools have been created to translate Ad/it tree descriptions into Lotos and into CGT Viewer format. These representations support formal analysis and interactive exploration of decision trees. Through automated conversion of existing CGT trees, realistic healthcare applications have been used to validate the approach. Results: All key objectives of the work have been achieved. An abstract notation has been created for decision trees, and is supported by automated translation and analysis. Although healthcare applications have been the main focus to date, the approach is generic and of value in almost any domain where decision trees are useful.