2012 · 13 citations · 8 references
ComputingComputer ScienceHealth InformaticsAlgorithmsClinical Information SystemsHealthcare Information SystemsQuery ProcessingService ManagementService PlanningService-oriented ArchitectureCompositionHarmonicsSemantic Service DescriptionState Space SearchWeb Services
Abstract. The paper presents the tool HarmonICS designed for automated composition of medical services and implementing our approach to description and composition of web services. HarmonICS enables arranging sequences of services to satisfy a user’s request specified by a query. The query language is rich enough to express requirements on the timing and the ordering of services used. 1 Introduction and Related Work We present a new tool for automated composition of web services (WS) related to the medical domain. The tool implements our original approach [7] to WS composition, based on introducing a uniform semantic description of services, an object model for the problem, and applying a multi-phase composition supported by model checking
8
Fast planning through planning graph analysis
Avrim Blum, Merrick L. Furst · Artificial Intelligence · 1997 · 1.6K citations
The SMT-LIB Standard Version 2.0
Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 722 citations
SWORD: A Developer Toolkit for Web Service Composition
Shankar Ponnekanti · 2008 · 422 citations