{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T08:49:28Z","timestamp":1700383768612},"reference-count":44,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T00:00:00Z","timestamp":1255478400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2009,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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\u2013method 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.<\/jats:p>","DOI":"10.1017\/s0890060409990047","type":"journal-article","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T17:43:08Z","timestamp":1255542188000},"page":"339-356","source":"Crossref","is-referenced-by-count":6,"title":["Software-engineering challenges of building and deploying reusable problem solvers"],"prefix":"10.1017","volume":"23","author":[{"given":"Martin J.","family":"O'Connor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Csongor","family":"Nyulas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samson","family":"Tu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David L.","family":"Buckeridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Okhmatovskaia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark A.","family":"Musen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,10,14]]},"reference":[{"key":"S0890060409990047_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-002-0074-5"},{"key":"S0890060409990047_ref7","unstructured":"Buckeridge D.L. , O'Connor M.J. , Xu H. , & Musen M.A. (2004). A knowledge-based framework for deploying surveillance problem solvers. Int. Conf. Information and Knowledge Engineering (IKE \u201904), Las Vegas, NV."},{"key":"S0890060409990047_ref34","unstructured":"OWL. (2004). Accessed at www.w3.org\/TR\/owl-ref"},{"key":"S0890060409990047_ref43","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M1345"},{"key":"S0890060409990047_ref24","volume-title":"JavaSpaces Example by Example","author":"Halter","year":"2002"},{"key":"S0890060409990047_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24750-0_16"},{"key":"S0890060409990047_ref19","unstructured":"Eriksson H. , Puerta A.R. , Gennari J.H. , Rothenfluh T.E. , Tu S.W. , & Musen M.A. (1995). Custom-tailored development tools for knowledge-based systems. Proc. 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop ."},{"key":"S0890060409990047_ref1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"S0890060409990047_ref33","doi-asserted-by":"crossref","unstructured":"Nyulas C.I. , O'Connor M.J. , Tu S.W. , Okhmatovskaia A. , Buckeridge D. , & Musen M.A. (2008). An ontology-driven framework for deploying JADE agent systems. IEEE\/WIC\/ACM International Conf. Intelligent Agent Technology , pp. 573\u2013577, Sydney, Australia.","DOI":"10.1109\/WIIAT.2008.25"},{"key":"S0890060409990047_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(95)00006-R"},{"key":"S0890060409990047_ref39","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4073.001.0001","volume-title":"Knowledge Engineering and Management: The CommonKADS Methodology","author":"Schreiber","year":"1999"},{"key":"S0890060409990047_ref31","doi-asserted-by":"publisher","DOI":"10.1373\/49.4.624"},{"key":"S0890060409990047_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060409990059"},{"key":"S0890060409990047_ref13","first-page":"40","article-title":"From GUIDON to NEOMYCIN to HERACLES in twenty short lessons","volume":"7","author":"Clancey","year":"1986","journal-title":"AI Magazine"},{"key":"S0890060409990047_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/72551.72553"},{"key":"S0890060409990047_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2003.1193655"},{"key":"S0890060409990047_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060409990035"},{"key":"S0890060409990047_ref29","unstructured":"Martin D. , Burstein M. , Hobbs J. , Lassila O. , McDermott D. , McIlraith S. , Narayanan S. , Paolucci M. , Parsia B. , Payne T. , Sirin E. , Srinivasan N. , & Sycara K. (2004). OWL-S: semantic markup for Web services. Proc. W3C. Accessed at http:\/\/www.w3.org\/Submission\/2004\/SUBM-OWL-S-20041122\/"},{"key":"S0890060409990047_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2008.10"},{"key":"S0890060409990047_ref3","unstructured":"Benjamins R. , Decker S. , Fensel D. , Motta E. , Schreiber G. , Studer R. , & Wielinga B. (1998). IBROW3\u2014An intelligent brokering service for knowledge-component reuse on the World Wide Web. Proc. 11th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop ."},{"key":"S0890060409990047_ref25","first-page":"449","article-title":"Model-driven software development","volume":"45","year":"2006","journal-title":"IBM Systems Journal"},{"key":"S0890060409990047_ref4","doi-asserted-by":"publisher","DOI":"10.1197\/jamia.M2799"},{"key":"S0890060409990047_ref38","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1996.0017"},{"key":"S0890060409990047_ref5","doi-asserted-by":"crossref","unstructured":"Buckeridge D.L. , Burkom H. , Moore A.W. , Pavlin J.A. , Cutchis P.N. , & Hogan W. (2004). Evaluation of syndromic surveillance systems: development of an epidemic simulation model. Syndromic Surveillance: Reports from a National Conference. Morbidity and Mortality Weekly Report 53(Suppl.) , 137\u2013143.","DOI":"10.1037\/e307182005-025"},{"key":"S0890060409990047_ref6","first-page":"76","volume-title":"AMIA Annual Symp.","author":"Buckeridge","year":"2002"},{"key":"S0890060409990047_ref8","doi-asserted-by":"publisher","DOI":"10.3201\/eid0910.030231"},{"key":"S0890060409990047_ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1986.4306977"},{"key":"S0890060409990047_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/130994.131002"},{"key":"S0890060409990047_ref20","unstructured":"Fensel D. , & Groenboom R. (1997). Specifying knowledge-based systems with reusable components. Proc. 9th Int. Conf. Software Engineering , pp. 18\u201320."},{"key":"S0890060409990047_ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2005.91"},{"key":"S0890060409990047_ref18","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060409990060"},{"key":"S0890060409990047_ref23","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1066"},{"key":"S0890060409990047_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30475-3_17"},{"key":"S0890060409990047_ref27","doi-asserted-by":"crossref","first-page":"i32","DOI":"10.1007\/PL00022313","article-title":"A systems overview of the electronic surveillance system for the early notification of community-based epidemics (ESSENCE II)","volume":"80","author":"Lombardo","year":"2003","journal-title":"Journal of Urban Health"},{"key":"S0890060409990047_ref28","first-page":"95","article-title":"VT: an expert elevator designer that uses knowledge-based backtracking","volume":"9","author":"Marcus","year":"1988","journal-title":"AI Magazine"},{"key":"S0890060409990047_ref30","first-page":"21","article-title":"R1 revisited: four years in the trenches","volume":"5","author":"McDermott","year":"1984","journal-title":"AI Magazine"},{"key":"S0890060409990047_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(95)00003-O"},{"key":"S0890060409990047_ref35","first-page":"514","volume-title":"AMIA Annual Symp","author":"Pincus","year":"2003"},{"key":"S0890060409990047_ref36","unstructured":"R. (2009). Accessed at http:\/\/www.r-project.org in January 2009."},{"key":"S0890060409990047_ref37","unstructured":"rJava. (2009). Accessed at http:\/\/rosuda.org\/rJava\/ in January 2009."},{"key":"S0890060409990047_ref40","first-page":"30","article-title":"Components of expertise","volume":"11","author":"Steels","year":"1990","journal-title":"AI Magazine"},{"key":"S0890060409990047_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S1071-5819(02)00127-1"},{"key":"S0890060409990047_ref41","volume-title":"EMF: Eclipse Modeling Framework","author":"Steinberg","year":"2008"},{"key":"S0890060409990047_ref44","unstructured":"UML. (2009). Accessed at http:\/\/www.uml.org\/ in January 2009."}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060409990047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T05:04:02Z","timestamp":1685163842000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060409990047\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,14]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["S0890060409990047"],"URL":"https:\/\/doi.org\/10.1017\/s0890060409990047","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,14]]}}}