title: Software-engineering challenges of building and deploying reusable problem solvers.
abstract: Problem solving methods (PSMs) are software components that represent and encode reusable algorithms. They can be combined with representations of domain knowledge to produce intelligent application systems. A goal of research on PSMs is to provide principled methods and tools for composing and reusing algorithms in knowledge-based systems. The ultimate objective is to produce libraries of methods that can be easily adapted for use in these systems. Despite the intuitive appeal of PSMs as conceptual building blocks, in practice, these goals are largely unmet. There are no widely available tools for building applications using PSMs and no public libraries of PSMs available for reuse. This paper analyzes some of the reasons for the lack of widespread adoptions of PSM techniques and illustrate our analysis by describing our experiences developing a complex, high-throughput software system based on PSM principles. We conclude that many fundamental principles in PSM research are useful for building knowledge-based systems. In particular, the task-method decomposition process, which provides a means for structuring knowledge-based tasks, is a powerful abstraction for building systems of analytic methods. However, despite the power of PSMs in the conceptual modeling of knowledge-based systems, software engineering challenges have been seriously underestimated. The complexity of integrating control knowledge modeled by developers using PSMs with the domain knowledge that they model using ontologies creates a barrier to widespread use of PSM-based systems. Nevertheless, the surge of recent interest in ontologies has led to the production of comprehensive domain ontologies and of robust ontology-authoring tools. These developments present new opportunities to leverage the PSM approach.
authors.affiliation: Stanford Center for Biomedical Informatics Research, Stanford University, Stanford, California, USA.
authors.forename: Martin J
authors.initials: MJ
authors.lastname: O'Connor
authors.forename: Csongor
authors.initials: C
authors.lastname: Nyulas
authors.forename: Samson
authors.initials: S
authors.lastname: Tu
authors.forename: David L
authors.initials: DL
authors.lastname: Buckeridge
authors.forename: Anna
authors.initials: A
authors.lastname: Okhmatovskaia
authors.forename: Mark A
authors.initials: MA
authors.lastname: Musen
keywords: Knowledge-Based Systems; Problem Solving Methods; Reusable Problem Solvers; Software-Engineering Challenges; Task–Method Decomposition Process
references.citation: AMIA Annu Symp Proc. 2003;:514-8
references.pmid: 14728226
references.citation: Emerg Infect Dis. 2003 Oct;9(10):1197-204
references.pmid: 14609452
references.citation: Artif Intell Med. 1995 Jun;7(3):189-99
references.pmid: 7581622
references.citation: J Am Med Inform Assoc. 2008 Nov-Dec;15(6):760-9
references.pmid: 18755992
references.citation: Proc AMIA Symp. 2002;:76-80
references.pmid: 12463790
references.citation: Artif Intell Med. 1995 Jun;7(3):257-89
references.pmid: 7581625
references.citation: MMWR Suppl. 2004 Sep 24;53:137-43
references.pmid: 15714643
references.citation: J Urban Health. 2003 Jun;80(2 Suppl 1):i32-42
references.pmid: 12791777
references.citation: Clin Chem. 2003 Apr;49(4):624-33
references.pmid: 12651816
references.citation: J Am Med Inform Assoc. 2003 Sep-Oct;10(5):399-408
references.pmid: 12807803