1 / 8

Understanding DAML-S: Enhancing Web Service Descriptions Beyond WSDL

DAML-S is an ontology that enriches Web service descriptions, addressing not only how to interact with a service through technology like WSDL, but also clarifying what the service does and why it operates. Its goals focus on service discovery, invocation, composition, verification, and execution monitoring. The service profile within DAML-S supports matchmaking and offers crucial details, including quality ratings, contact information, inputs, outputs, and effects of the service. Utilizing a service model as a Petri Net, DAML-S aids in simulation and deadlock detection, paving the way for more efficient service management.

roddy
Télécharger la présentation

Understanding DAML-S: Enhancing Web Service Descriptions Beyond WSDL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. What is DAML-S? • “A DAML+OIL ontology for describing Web Services” • Complements low level descriptions like WSDL to describe what and why a service operates, not just how to communicate with it.

  2. Goals • Discovery • Invocation • Composition • Verification • Execution Monitoring

  3. Overview (mapping to WSDL)

  4. Service Profile • For service discovery & matchmaking • General info: • Text description • Placement in a service ontology • Quality rating, contact info for provider • What does the service require? • Inputs & preconditions • What does the service provide? • (Conditional) outputs & effects

  5. Service Model

  6. …

  7. Service Model as a Petri Net Uses this model for simulation, deadlock detection

  8. How useful is this? • Where does the service ontology come from? Do I have to understand each one? • Do existing systems solve these problems? • Formal analysis via Petri Nets: • Some results here – but these apply to other formalisms (XLANG etc.) as well.

More Related