1 / 8

What is DAML-S?

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. Goals. Discovery Invocation Composition Verification Execution Monitoring. Overview.

roddy
Download Presentation

What is DAML-S?

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