Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Whats Hot in the KSL Services Work? 1. DAML-S 2. DAML-S to PDDL translator implemented 3. DAML-S Editor (& reasoning about action & process) 4. Automated Web Service Composition See our demo

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 DAML-S Editor Goal: Editor tailored to the markup of Web Services in DAML-S + (not just an ontology editor -- focus on end user needs and intuitions) Input: graphical and form entryOutput: DAML-S & Ontolingua Anticipated Users: Web service providers 3rd party Web page developers 2nd-ary Web service providers DAML community Approach: Use-based Graphical Ontology editor and reasoner behind the scenes What will make it scorching Value added by reasoning: Verification of properties of services Simulation of services Diagnostics

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 create/edit a simple/composite services specify Control Flow of composite services specify Data Flow of composite services Pallete of services for Data & Control Flow specification Pallete of connectives for Control Flow specification

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Browse the Process Ontology to create/edit a service

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Select/subclass/sibling a service and Create/Edit its properties

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Define the control structure for composite services

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Select a service and inspect its properties

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Define the data flow within a composite service

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/ ….-- Finally, generate the DAML-S for the services

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Status & Future Challenges Implementation: Java + DAML-Ontolingua translator + OKBC to Ontolingua Generates DAML-S Challenges: Enhance editing capabilities Exploit existing editors OilEd (Manchester) or Protégé w/ DAML+OIL (SRI)?? DAML+OIL Reasoner Get me all the inputs for AcmeTruck service KSL JTP DAML+OIL reasoner?? Reasoning: simulation of service processes (with SRI) diagnose DAML-S with Chimaera See our demo

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Whats Hot in KSL Services Work? 1. DAML-S 2. DAML-S to PDDL translator implemented 3. DAML-S Editor (& reasoning about action & process) 4. Automated Web Service Composition See our demo

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Agent Technology Problem: Automated Web Service Composition E.g., Arrange food for 500 people for 2 weeks in Dubai. Approach: I. Plan a sequences of services that realize users objective. (NP complete or worse) II. Customize reusable generic procedures - Define and archive reusable generic procedures - Customize with users constraints. (NP complete or worse in a reduced search space) Advantages: efficiency, ease of use, customization

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Architecture DAML-enabled web pages Web Service Ontologies Web Procedures Ontologies Agent Broker DAML-enabled personal/company constraints and prefs...

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Demo: Dynamic UI with DAML+OIL User Interface auto-generated from DAML+OIL Ontology

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Behind the Scenes User Constraints+Generic Procedures+deduction=composition **or** User constraints + Goal + deduction = composition Talk to Web services through OAA

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Agent s itinerary to customer Not much to see… the user travel plans when done...

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Agent creates expense claim for customer Generate expense claim

Whats Hot Part II - McIlraith, KSL Stanford DAML PI Meeting 07/19/01 Status & Challenges Automated Web Service Composition is working now ! Implementation: DAML+OIL/DAML-S FOL -> Ontolingua, Golog & sitn calculus in Prolog Java, Prolog, Ontolingua-DAML+OIL translator, OKBC, DAML-S to PDDL translator, bubble gum, scotch tape Challenges: Outstanding DAML-S representation issues DAML-S-ize our work; Reduce number of repns required; Reasoner. Technical challenges: Execution Monitoring & Recovery, Info vs. world-chging services Automate Service Selection Low-level synchronization, message passing issues See our demo