Docstoc

DAML-S Briefing

Document Sample
DAML-S Briefing Powered By Docstoc
					DAML-S: Semantic
Markup for Web Services
DAML-S Web Services Coalition
presented by: Terry R. Payne
Carnergie Mellon University

    http://www.daml.org/services/
DAML-S Web Services
Coalition
CMU: Anupriya, Ankolekar, Massimo Paolucci,
      Terry Payne, Katia Sycara
BBN: Mark Burstein
Nokia: Ora Lassila
Stanford KSL: Sheila McIlraith, Honglei Zeng
SRI: Jerry Hobbs, David Martin, Srini Narayanan

[Yale: Drew McDermott & Manchester: Ian Horrocks]


           Slides courtesy of Sheila McIlraith, Stanford KSL
What is DAML-S?
 DAML-S: A DARPA Agent Markup Language for
 Services
    DAML+OIL Ontology for (Web) services

 AI-inspired markup language:
    tailored to the representational needs of Services
    expressive power
    well-defined semantics
    ontologies support reuse, mapping, succinct markup, ...

 Release of DAML-S version 0.5 June,2001
    http://www.daml.org/services/
Layered Approach to
Language Development
 The first major application of DAML+OIL
 Layer exists above DAML+OIL
 Future versions will build upon emerging layers
 (e.g. DAML-Rules etc)
                                 DAML-S (Services)

                         DAML+OIL (Ontology)

                      RDFS (RDF Schema)

           RDF (Resource Description Framework)

          XML (Extensible Markup Language)
DAML-S Objectives
 Provide:
    an upper ontology for describing properties &
     capabilities of agents & (Web) services in an
     unambiguous, computer interpretable markup
     language.


 Desiderata:
    an ontology of Web services
    ease of expressiveness
    enables automation of service use by agents
    enables reasoning about service properties and
     capabilities
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 and
 interoperation
 Arrange food for 500 people for 2 weeks in Dubai.

 Web service execution monitoring
 Has the powdered milk been ordered and paid for yet?
Upper Ontology of
Services
          Presenting
DAML-S:
          Service Profiles


          Service Profile
              Presented by a service.
              Represents
                “what the service provides”
              One can derive:
                 Service Advertisements
                 Service Requests
DAML-S Service Profile
(Overview)
 High-level description of a service and its
 provider
     description of service (human readable)
     specification of functionalities service provides
     functional attributes (requirements and capabilities)


 Profile used for
     populating service registries
     automated service discovery
     matchmaking
DAML-S Service Profile
(Overview)
              Functionality Description

Provenance
Description




                    Functional Attributes
DAML-S Service Profile
Provenance Description
 Information and Provenance about the Service
     serviceName & textDescription
     intendedPurpose & role of 3rd Party Actors
 Details about
     3rd Party Actors
     Requesters
     Providers
DAML-S Service Profile
Functionality Description
 Specification of what the service provides
     High-level functional representation in terms of:
        preconditions
        accessConditions
        inputs

        outputs
        conditionalOutputs
        effects




 Summarizes the top-level Composite
 Process (described by Service Model)
DAML-S Service Profile
Functional Attributes
 Provide supporting information about the
 service, including:
                            geographical scope
                                Pizza Delivery only within the
                                Pittsburgh area
                            quality descriptions and
                             guarantees
                                Stock quotes delivered within
                                10 secs
                            service types, service categories
                                Commercial / Problem Solving
                                etc
                            service parameters
                                Average Response time is
                                currently ...
Upper Ontology of
Services
          Describing
DAML-S:
          Service Models

                 Service Process
                     Describes how a
                      service works.
                 Facilitates
                     (automated) Web
                      service invocation
                     composition
                     interoperation
                     monitoring
DAML-S Service Model
(Overview)
  Service Model may be used to
   1) to perform a more in-depth analysis of whether the service
      meets its needs;
   2) to compose service descriptions from multiple services to
      perform a specific task;
   3) during the course of the service enactment, to coordinate
      the activities of the different participants;
   4) to monitor the execution of the service.
  For non-trivial services, the first two tasks require a
  model of action and process, the last two involve, in
  addition, an execution model.
DAML-S Service Model
(Overview)
DAML-S Service Model
“How does it work?”
 Each service is conceived as simple or composite process
 (event/action)

 Associated with each service is a set of inputs, outputs,
 preconditions and effects (function and action metaphor)

 Composite processes are compositions of simple or other
 composite processes in terms of constructs such as sequence,
 if-then-else, fork,...

 Data flow and Control flow should be described for each
 composite service

 A black box and glass box view are given of each composite
 service
Function/Dataflow Metaphor

Input:                        Output:

• customer name                         • confirmation #
• origin                                • ...
• destination
• weight          Acme Book     truck available
                                                     Y
• pickup date                          +         ?
                    Truck
• ...                          valid credit card
                  Shipment                           N
                                        • failure notification
                                        •…
AI-inspired Action/Process
Metaphor
                              Output:         • confirmation #
Input:                                        • ...
• customer name               Effect:   • goods at location
• origin                                    if successful
• destination     Acme Book             • credit card debited...
• pickup date
• ...               Truck        truck available            Y
                  Shipment              +         ?
Preconditions:                  valid credit card           N
• knowledge of
  the input                                • failure notification
• ...                         Output:      •…

                              Effect:             <no effect>
        Composite Process                                                                                                                            Output &
                                                                                                                                                      Effects
                                                    AcmeTruckShipping                                                                                                            •
                                                                                                                                                  • confirmation no.
                                                                                                                                                  • ...
                                                                                                                                                                               • •
                                                                                      • customer name
                                                                                      • location
                                                                                                               www.acmecar.com                                                 • •
                                                                                                                                        ?
                                                                                                                                                                               • •
                                                                                      • car type                 book car service
                                                                                      • dates
                                                                                      • credit card no.
                                                                                      • ...


Input &                                                                                                                                           • failure notification
                                                                                                                                                  •…
                                                                                                                                                                               •
Preconditions
•
    •                                                                                                                                                                            •
•                                                                                                                                           • confirmation no.
                                                                                                                                                                           ?   • •
    •
                                                                                                                                            • ...


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


•
                                                        • ...
                                                                                                                                    ?
                                                                                                                                                                               • •
                                                                                 • 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

    •                                                   •…


•
    •
    •
Composite Process (cont)
AcmeTruckShipping ExpandedAcmeTruckShipping
                       Confirm Shipping Region
 Acme
                       N     truck available
 Truck
                                    +
Shipping   expands          valid credit card
 Service                             Y
                               Get Quote


                           Get Shipping Dates


                        Book Truck Shipment
 Composite Process (cont)




                    expand
AcmeTruckShipping            ExpAcmeTruckShipping
Upper Ontology of
Services
           Supporting a
           Service
DAML-S:
           Grounding

                Service Process
                    Provides a specification of
                     service access information.
                Specifies:
                    communication protocols,
                     transport mechanisms, etc.
                    E.g., SOAP, HTTP forms,
                     KQML, OAA ACL, Java
                     RMI, RPC, etc.
    Under Construction …
          Upper Ontology
Review:   of Services
Related Work
 Related Industrial Initiatives
           UDDI              ebXML
           WSDL              (dot) .NET
           XLANG             BizTalk, e-speak etc
    These XML-based initiatives are currently complementary to DAML-S.
    DAML-S intends to build on top of these efforts exploiting increased
     expressiveness, semantics, inference that enables automation.
 Related Academics Efforts
    Process Algebras (e.g., Pi Calculus)
    Process Specification Language (Hoare Logic, PSL)
    Planning Domain Definition Language (PDDL)
    Business Process Modeling (e.g., BMPL)
    Service Description Languages (e.g., LARKS)

				
DOCUMENT INFO
Shared By:
Categories:
Stats:
views:3
posted:4/30/2011
language:English
pages:27