80 likes | 190 Views
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.
E N D
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 (mapping to WSDL)
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
Service Model as a Petri Net Uses this model for simulation, deadlock detection
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.