Docstoc

DAML-S Briefing

Document Sample
DAML-S Briefing Powered By Docstoc
					                   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                                                  feeBasis+
                              role+
                                      ServiceProfile             FeeBased            paymentMethod+
                   avgResponseTime?
                                  …


                     ProductProviding           ActionService
                         Service
                                                                Physical_
InfoService        Information                                               Manufacturing
                                                                 Product+
                   Product+



    physicalProduct+
       manufacturer+     PhysicalProduct
     deliveryRegion*
   deliveryProvider*        Service                              Repair       physicalProduct+
        deliveryType


Tie in with UDDI, UNSPSC, …                                          transportationMode+
DL Basis for matchmaking                         Transportation      geographicRegion+

Multiple profiles; multiple taxonomies
DAML-S Coalition                                                  DAML PI Meeting 10/16/02
 Upper Ontology of Services




DAML-S Coalition          DAML PI Meeting 10/16/02
          Service Model it work?”
 Process Model: “How does
                          “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 &                                                                                                                                                                                Output &
                                                             AcmeTruckShpng                                                                                                             Effects
Preconditions
                                                                                                                                                                                             •
                                                                                                                                                           • confirmation no.
                                                                                                                                                           • ...                           •
•                                                                                                                                                                                            •
    •                                                                                                                                                                                      •
•
                                                                                               • customer name
                                                                                               • location
                                                                                                                        www.acmecar.com
                                                                                                                                                 ?                                           •
    •                                                                                                                                                                                      •
                                                                                               • car type                book car service
                                                                                               • dates

•                                                                                              • credit card no.
                                                                                               • ...
                                                                                                                                                                                             •
    •                                                                                                                                                                                      •
•                                                                                                                                                         • failure notification
                                                                                                                                                          •…

    •
•
    •
•
    •
•
    •                                                                                                                                                                                        •
•                                                                                                                                                    • confirmation no.
                                                                                                                                                                                   ?       •
    •
                                                                                                                                                     • ...


•                                                                                                                                                                                            •
                                                                                                                                                                                           •
    •                                                                                                                                                                                        •
                                                                 • confirmation no.       • confirmation no.
                                                                                                                   www.acmehotel.com
                                                                                          • dates

•
                                                                 • ...
                                                                                                                                             ?
                                                                                                                                                                                           •
                                                                                          • room type               book hotel service
                                                                                          • credit card no.

    •              • customer name
                                                                                          • ...
                                                                                                                                                                                             •
                                                                                                                                                                                           •
                                       www.acmeair.com
                   • flight numbers
                                                             ?
    •
                   • dates             book flight service
                   • credit card no.                                                                                                                 • 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

                   Process Model          DL-based Types


                   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/
              www-ws@w3.org
      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
                                            Modif ication of slide by James Snell (IBM)



 Industry Trends: The Web Services Stack

       Wire Protocols     Description         Discovery




          SOAP Blocks      Agreements
          SOAP/XMLP          Process

                   XML   WSDL Extensions

     HTTP/SMTP/BEEP          WSDL           Registry (UDDI)
              TCP/IP          XML                Inspection



DAML-S Coalition                           DAML PI Meeting 10/16/02
                                                    Modif ication of slide by James Snell (IBM)



 Industry Trends: The Web Services Stack

       Wire Protocols     Description      Automated Discovery
                                                     Invocation
                                                     Interoperation
                                                     Composition
                                                     Monitoring
                                              D      Verification
          SOAP Blocks       Agreements
                                             A
          SOAP/XMLP           Process

                   XML   WSDL Extensions     M
     HTTP/SMTP/BEEP          WSDL            L      Registry (UDDI)
              TCP/IP          XML                        Inspection
                                             S


DAML-S Coalition                                   DAML PI Meeting 10/16/02
                                                                  Modif ication of slide by James Snell (IBM)



 Industry Trends: The Web Services Stack

       Wire Protocols                    Description     Automated Discovery
                   W3C WS Choreograph Group                        Invocation
                   BPEL4WS (Microsoft, IBM, BEA)                   Interoperation
                   WSCL (HP)BPML (Most but Microsoft)              Composition
                   WSCI (Sun, BEA, Yahoo, …)
                   XLANG (Microsoft), WSFL (IBM), …
                                                                   Monitoring
                                                            D      Verification
          SOAP Blocks                      Agreements
                                                           A
          SOAP/XMLP                         Process

                   XML                 WSDL Extensions     M
     HTTP/SMTP/BEEP                         WSDL           L      Registry (UDDI)
              TCP/IP                         XML                       Inspection
                                                           S


DAML-S Coalition                                                 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

				
DOCUMENT INFO