Transcript DAML-S-briefing

DAML-S Briefing
DAML-S Web Services Coalition
Presented by:
David Martin (SRI)
Sheila McIlraith (Stanford KSL)
Terry Payne (Southampton)
http://www.daml.org/services/
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S Web Services Coalition
BBN: Mark Burstein
CMU: Massimo Paolucci, Katia Sycara
ICSI: Srini Narayanan
Nokia: Ora Lassila
Stanford KSL: Sheila McIlraith
SRI: David Martin
Southampton: Terry Payne
USC-ISI: Jerry Hobbs
Yale: Drew McDermott
DAML-S Coalition
DAML PI Meeting 10/16/02
Outline
DAML-S technical overview & update
Overview of ontology areas
Profile, process model, grounding
Progress to date
Challenges, next steps
Directions for 2002-2003
Key challenges (Sheila McIlraith)
Joint committee plans (Katia Sycara)
DAML-S Coalition
DAML PI Meeting 10/16/02
Convergence on Services
• Commercial vendors, media, forecasters, etc.
– Intranets, not just internets
• W3C Web services efforts
• Semantic Web community
– DAML-S; WSMF & other EU efforts
– ISWC: 10 services-related papers, 7 posters
• Grid computing (OGSA)
• Ubiquitous computing (devices)
– Mobile access to services
 A remarkable opportunity
– Bringing behavioral intelligence to the Web
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S: DAML for web Services
A DAML+OIL ontology/language for (formally)
describing properties and capabilities of Web services
DAML-S (Services)
DAML-??? (Rules, FOL?)
DAML+OIL  OWL (Ontology)
RDFS (RDF Schema)
RDF (Resource Description Framework)
XML (Extensible Markup Language)
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S Objectives
Automation of service use by software agents
Ideal: full-fledged use of services never before
encountered:
discovery, selection, composition, invocation, monitoring
Useful in the “real world”
Compatible with industry standards
Incremental exploitation
Enable reasoning/planning about services
e.g., On-the-fly composition
Integrated use with information resources
Ease of use; powerful tools
DAML-S Coalition
DAML PI Meeting 10/16/02
Automation Enabled by DAML-S
• Web service discovery
Find me a shipping service that transports goods to Dubai.
• Web service invocation
Buy me 500 lbs. powdered milk from www.acmemoo.com
• Web service selection & composition
Arrange food for 500 people for 2 weeks in Dubai.
• Web service execution monitoring
Has the powdered milk been ordered and paid for yet?
DAML-S Coalition
DAML PI Meeting 10/16/02
Upper Ontology of Services
Ontology images compliments of Terry Payne,
University of Southampton
DAML-S Coalition
DAML PI Meeting 10/16/02
Service Profile: “What does it do?”
High-level characterization/summary of a service
Used for
• Populating service registries
• A service can have many profiles
• Automated service discovery
• Service selection (matchmaking)
One can derive:
• Service advertisements
• Service requests
DAML-S Coalition
DAML PI Meeting 10/16/02
Service Profile
Non Functional Properties
Functionality
Description
DAML-S Coalition
DAML PI Meeting 10/16/02
Profile: Recent evolution
Styles of use
• Class-hierarchical yellow pages
– Implicit capability characterization
– Arrangement of attributes on class hierarchy
– Can use multiple inheritance
• Process summaries for planning purposes
– More explicit
– Inputs, outputs, preconditions, effects
– Less reliance on formal hierarchical organization
– Summarizes process model specs
DAML-S Coalition
DAML PI Meeting 10/16/02
Exploiting Taxonomies of Services
name
provider
role+
avgResponseTime?
…
ServiceProfile
ProductProviding
Service
InfoService
Information
Product+
physicalProduct+
manufacturer+
deliveryRegion*
deliveryProvider*
deliveryType
PhysicalProduct
Service
Tie in with UDDI, UNSPSC, …
DL Basis for matchmaking
Multiple profiles; multiple taxonomies
DAML-S Coalition
FeeBased
feeBasis+
paymentMethod+
ActionService
Physical_
Product+
Manufacturing
Repair
physicalProduct+
Transportation
transportationMode+
geographicRegion+
DAML PI Meeting 10/16/02
Upper Ontology of Services
DAML-S Coalition
DAML PI Meeting 10/16/02
Service
Model
Process Model: “How does it work?”
“How does it work?”
Process
– Interpretable description of service provider’s behavior
– Tells service user how and when to interact (read/write messages)
& Process control
– Ontology of process state; supports status queries
– (stubbed out at present)
• Used for:
– Service invocation, planning/composition, interoperation, monitoring
• All processes have
– Inputs, outputs, preconditions and effects
– Function/dataflow metaphor; action/process metaphor
• Composite processes
– Control flow
– Data flow
DAML-S Coalition
DAML PI Meeting 10/16/02
Service Model / Process Model
DAML-S Coalition
DAML PI Meeting 10/16/02
Composite Process
Input &
Preconditions
•
•
•
•
•
•
•
•
•
•
Output &
Effects
AcmeTruckShpng
•
•
•
•
•
•
•
•
• confirmation no.
• ...
•
•
•
•
•
•
•
•
•
•
•
• customer name
• location
• car type
• dates
• credit card no.
• ...
www.acmecar.com
?
book car service
• failure notification
•…
• confirmation no.
• ...
• confirmation no.
• ...
• customer name
• flight numbers
• dates
• credit card no.
•
• ...
• confirmation no.
• dates
• room type
• credit card no.
• ...
?
www.acmehotel.com
book hotel service
?
www.acmeair.com
book flight service
?
• failure notification
•…
• failure notification
• errror information
•…
DAML-S Coalition
DAML PI Meeting 10/16/02
•
•
•
•
•
•
•
•
Process Model: Recent evolution
• Conditional outputs & effects
• Parameter bindings
<rdf:Description rdf:about="#FullCongoBuy">
<sameValues rdf:parseType="daml:collection">
<ValueOf atClass="#FullCongoBuy“
theProperty="#fullCongoBuyBookISBN"/>
<ValueOf atClass="#LocatedBookOutput“
theProperty="outInCatalogBookISBN"/>
<ValueOf atClass="#CongoBuyBook“
theProperty="#congoBuyBookISBN"/>
</sameValues>
 Pushing the limits of DAML+OIL expressiveness
DAML-S Coalition
DAML PI Meeting 10/16/02
Upper Ontology of Services
DAML-S Coalition
DAML PI Meeting 10/16/02
Service Grounding: “How to access it”
• Implementation-specific
• Message formatting, transport
mechanisms, protocols, serializations of
types
• Service Model + Grounding give everything
needed for using the service
• Examples: HTTP forms, SOAP, KQML,
CORBA IDL, OAA ICL, Java RMI
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S / WSDL Grounding
• Web Services Description Language
– Authored by IBM, Ariba, Microsoft
– Focus of W3C Web Services Description WG
– Commercial momentum
– Specifies message syntax accepted/generated
by communication ports
– Bindings to popular message/transport
standards (SOAP, HTTP, MIME)
– Abstract “types”; extensibility elements
• Complementary with DAML-S
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S
DL-based Types
Process Model
Atomic Process
Inputs / Outputs
Operation
Message
Binding to SOAP, HTTP, etc.
WSDL
DAML-S Coalition
DAML PI Meeting 10/16/02
DAML-S / WSDL Grounding (cont’d)
DAML-S Coalition
DAML PI Meeting 10/16/02
Review: Upper Ontology of Services
DAML-S Coalition
DAML PI Meeting 10/16/02
Path of Evolution
Release 0.5 (May 2001)
Initial Profile & Process ontologies
Release 0.6 (December 2001)
Refinements to Profile & Process
Resources ontology
Two approaches to formal semantics
Sycara/Ankolekar, McIlraith/Narayanan
Release 0.7 (October 2002)
DAML-S/WSDL Grounding
Profile, Process Model refinements
More complete examples
Towards 1.0
Expressiveness issues; process modeling; industry tie-in
DAML-S Coalition
DAML PI Meeting 10/16/02
Related Activities
Web site & mailing lists
http://www.daml.org/services/
[email protected]
Users
UMCP (Hendler/Parsia), UMBC (Finin), Manchester (Goble),
CMU (Sadeh), Lockheed-Martin, Ultralog, beta-reviewers, …
Tools
DAML-S publications
WWW10 SW Workshop (2), SWWS, WWW11, Coordination 2002,
AAMAS, ICSW (4), IEEE Computer, IEEE Intel. Systems…
W3C Web services activities
Designated liaison for WS Arch. WG; Katia Sycara
Experiment
Use cases
DAML-S Coalition
DAML PI Meeting 10/16/02
Challenges
• Finding the “80/20” line
• Profiles: relationship with processes
• Process modeling: many issues
–
–
–
–
Variability of public/private aspects of Processes
Extending to offline (sub)processes
Generalizing to multiple roles
Failure, transactions
• Where and how to go beyond DAML+OIL?
– Interface between DL ontology, logical expressions,
algorithm/workflow representation
• Connecting with Industry
– Showing compelling value
– Not promising too much
– Providing an incremental path
DAML-S Coalition
DAML PI Meeting 10/16/02
Next steps / priorities
Focus on use cases  architecture
Joint committee forming …
Move to OWL
Model information services
Profile: More substantial illustrative taxonomies
Tie in with existing taxonomies where possible (e.g. UNSPSC)
Process Model
Evaluate potential tie-in with an existing effort (WSFL?)
Support real-world use
Describing and using public WSDL services
Possible collaborations with other SemWeb projects
Demos directed towards Web services community
Tools
DAML-S API
DAML-S Coalition
DAML PI Meeting 10/16/02
What’s Next for DAML-S:
2 Key Challenge Areas
Presenter: Sheila McIlraith
Stanford
Knowledge Systems Laboratory
DAML-S Coalition
DAML PI Meeting 10/16/02
Current Challenges
• Expressiveness of DAML+OIL
• DAML-S  Industry Trends
 complementary
 compatible
 influential
DAML-S Coalition
DAML PI Meeting 10/16/02
Expressiveness & Semantics
Problem: DAML+OIL has a well-defined semantics, but
it is not sufficiently expressive to characterize all and only
the intended interpretations of DAML-S.
DAML-S Coalition
DAML PI Meeting 10/16/02
Expressiveness & Semantics
Problem: DAML+OIL has a well-defined semantics, but
it is not sufficiently expressive to characterize all and only
the intended interpretations of DAML-S.
Solution 1:
A. Distributed operational semantics via Petri Nets.
DAML-S Coalition
DAML PI Meeting 10/16/02
Expressiveness & Semantics
Problem: DAML+OIL has a well-defined semantics, but
it is not sufficiently expressive to characterize all and only
the intended interpretations of DAML-S.
Solution 1:
A. Distributed operational semantics via Petri Nets.
B. Interleaving function-based operational semantics w/
subtype polymorphism.
DAML-S Coalition
DAML PI Meeting 10/16/02
Expressiveness & Semantics
Problem: DAML+OIL has a well-defined semantics, but
it is not sufficiently expressive to characterize all and only
the intended interpretations of DAML-S.
Solution 1:
A. Distributed operational semantics via Petri Nets.
B. Interleaving function-based operational semantics w/
subtype polymorphism.
C. Semantics via translation to first-order logic.
DAML-S Coalition
DAML PI Meeting 10/16/02
Expressiveness & Semantics
Problem: DAML+OIL has a well-defined semantics, but
it is not sufficiently expressive to characterize all and only
the intended interpretations of DAML-S.
Solution 1:
A. Distributed operational semantics via Petri Nets.
B. Interleaving function-based operational semantics w/
subtype polymorphism.
C. Semantics via translation to first-order logic.
Solution 2: DAML Rules?
DAML-S Coalition
DAML PI Meeting 10/16/02
Modification of slide by James Snell (IBM)
Industry Trends: The Web Services Stack
Wire Protocols
Description
SOAP Blocks
Agreements
SOAP/XMLP
Process
XML
WSDL Extensions
HTTP/SMTP/BEEP
WSDL
Registry (UDDI)
TCP/IP
XML
Inspection
DAML-S Coalition
Discovery
DAML PI Meeting 10/16/02
Modification of slide by James Snell (IBM)
Industry Trends: The Web Services Stack
Wire Protocols
Description
SOAP Blocks
Agreements
SOAP/XMLP
Process
Automated Discovery
Invocation
Interoperation
Composition
Monitoring
Verification
D
A
XML
WSDL Extensions
M
HTTP/SMTP/BEEP
WSDL
L
TCP/IP
XML
DAML-S Coalition
S
Registry (UDDI)
Inspection
DAML PI Meeting 10/16/02
Modification of slide by James Snell (IBM)
Industry Trends: The Web Services Stack
Wire Protocols
Description
W3C WS Choreograph Group
BPEL4WS (Microsoft, IBM, BEA)
WSCL (HP)BPML (Most but Microsoft)
WSCI (Sun, BEA, Yahoo, …)
XLANG (Microsoft), WSFL (IBM), …
SOAP Blocks
Agreements
Automated Discovery
Invocation
Interoperation
Composition
Monitoring
Verification
D
A
SOAP/XMLP
Process
XML
WSDL Extensions
M
HTTP/SMTP/BEEP
WSDL
L
TCP/IP
XML
DAML-S Coalition
S
Registry (UDDI)
Inspection
DAML PI Meeting 10/16/02
Breakout Sessions
• “Services/Rules”
(Web Services: Expressiveness Issues & Industry Trends)
• “Service Use Cases”
DAML-S Coalition
DAML PI Meeting 10/16/02
Joint US Europe Semantic Web
Services Committee
Presenter: Katia Sycara
Carnegie Mellon University
DAML-S Coalition
DAML PI Meeting 10/16/02
Objectives
• Bring together US and European Semantic
Web Services researchers
• Engage in collaborative standardization
efforts
– DAML-S language
– Semantic Web Services Architecture
• Possible outcome is a W3C Note
DAML-S Coalition
DAML PI Meeting 10/16/02
Overall Structure
• Language Technical Committee
– Co-chairs: David Martin and TBD
• Architecture Technical Committee
– Co-chairs: Mark Burstein and Christoph Bussler
• Industrial Advisory Board
• Advisory Committee
– Murray Burke, Hans-Georg Stork, Jim Hendler
• Coordinating Committee
– Co-chairs: Dieter Fensel and Katia Sycara
DAML-S Coalition
DAML PI Meeting 10/16/02
ISWC2003
• http://iswc2003.semanticweb.org
• Location: Sundial Resort, Sanibel Island, Fla, USA
• Dates:: 20-23 October 2003
• Paper Submission Date: April 15, 2003
• Workshop Proposals Submission Date: December 16, 2002
• Tutorial Proposal Submission Date: Feburary 28, 2003
• Demo Proposal Submission Date: July 13, 2003
DAML-S Coalition
DAML PI Meeting 10/16/02
ISWC2003
Organizing Committee
• General Chair: Dieter Fensel
• Program Chair: Katia Sycara
• Program Co-Chair: John Mylopoulos
• Tutorial Chair: Asun Gomez-Perez
• Workshop Chairs: Sheila McIlraith and Dimitris Plexousakis
• Industrial Track Chair: Christoph Bussler
• Poster Chair: Raphael Malyankar
• Finance Chair: Jerome Euzenat
• Publicity Chair: Mike Dean
• Local Arrangements Chair: Jeff Bradshaw
• Sponsor Chairs: Ying Ding and Massimo Paolucci
• Registration Chair: Atanas Kyriakov
• Demo Chair: Jeff Heflin
DAML-S Coalition
DAML PI Meeting 10/16/02