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.


  • The desired and provided functionality of services are described in WSML in the form of capabilities
    • The desired capability is part of a goal and the provided capability is part of a Web service 
  • Core elements of capabilities:
    • Shared variables: the variables which are shared between the preconditions, postconditions, assumptions and effects 
    • Preconditions: conditions on the inputs of the service
    • Postconditions: the relation between the input and the output of the service
    • Assumptions: what must hold (but cannot be checked beforehand) of the state of the world for the Web service to be able to execute successfully
    • Effects: the real-world effects of the execution of the Web service which are not reflected in the output
  • A WSML goal or Web service may only have one capability

Speaker notes:

Content Tools


There are currently no sources for this slide.