Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

WSMO – Web Service Capability

  • A capability defines the Web service by means of its functionality

    Class capability sub-Class wsmoElement
    importsOntology type ontology
    usesMediator type {ooMediator, wg
    Mediator}hasNonFunctionalProperties type nonFunctionalProperty
    hasSharedVariables type sharedVariables
    hasPrecondition type axiom
    hasAssumption type axiom
    hasPostcondition type axiom
    hasEffect type axiom
  • Example: The input for a birth registration service in Germany has to be boy or a girl with birthdate in the past and be born in Germany. The effect of the execution of the service is that after the registration the child is a German citizen.
  • Precondition - the information space of the Web service before its execution
  • Assumption - the state of the world before the execution of the Web service
  • Postcondition - the information space of the Web service after the execution of the Web service
  • Effect - the state of the world after the execution of the Web service
  • Shared Variables - variables that are shared between preconditions, postconditons, assumptions and effects

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.