Whats Hot in the KSL Services Work

1
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
2
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 entry Output 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

3
create/edit a simple/composite services specify
Control Flow of composite services specify Data
Flow of composite services
Pallete of connectives for Control Flow
specification
Pallete of services for Data Control Flow
specification
4
Browse the Process Ontology to create/edit a
service
5
Select/subclass/sibling a service and
Create/Edit its properties
6
Define the control structure for composite
services
7
Select a service and inspect its properties
8
Define the data flow within a composite service
9

g/services/daml-s/2001/05/ProcessSequence" / -
-
g/services/daml-s/2001/05/Processcomponents" /
/
- -142" daml.org/services/daml-s/2001/05/ProcessProcessLi
st" / - -
g/2001/03/damloilfirst" / rdfresource"AcmeConfirmMvRoute" /
-
-
g/2001/03/damloilrest" / rdfresource"PROCESS-LIST-141" /

- -141" daml.org/services/daml-s/2001/05/ProcessProcessLi
st" / - .-
Finally, generate the DAML-S for the services
10
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/ DAMLOIL
  (SRI)??
• DAMLOIL Reasoner Get me all the inputs for
  AcmeTruck service
• ? KSL JTP DAMLOIL reasoner??
• Reasoning
• simulation of service processes (with SRI)
• diagnose DAML-S with Chimaera

See our demo
11
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
12
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
13
Architecture
14
Demo Dynamic UI with DAMLOIL
User Interface auto-generated from DAMLOIL
Ontology
15

Behind the Scenes

User ConstraintsGeneric Proceduresdeductioncomp
osition or User constraints Goal
deduction composition Talk to Web services
through OAA
16
Agent e-mails itinerary to customer

Not much to seeemail the user travel plans when
done...
17
Agent creates expense claim for customer

Generate expense claim
18
Status Challenges

Automated Web Service Composition is working
now! Implementation ? DAMLOIL/DAML-S FOL -
Ontolingua, Golog sitn calculus in Prolog ?
Java, Prolog, Ontolingua-DAMLOIL 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