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.
Examples of Shipping Services
Muller Rates on Request Only packages weighing 50 lbs or less are shipped Ships to Africa, North America, Europe, Asia (all countries)
Constraints on Collection:
There must be at least an interval of 90 minutes for collection.
Collection is possible between 7am and 8pm.
Collection can be ordered max 2 working days in advance.
Ships in 2/3 (domestic/international) business days if collected by 5pm;
In WSMO: The WSMuller Web Service has a set of annotations: dc#title (has value "Muller Web Service“), dc#description (has value "We ship to Africa, North America, Europe, Asia (all countries).“), dc#contributor (has value "Maciej Zaremba, Matt Moran“.
The WSMuller Web Service imports the ShipmentOntology and the ShipmentOntologyProcess ontologies.
The WSMuller Web Service Capability WSMullerCapability has a precondition stating that before the execution of the service there must be an order request containing a request for a package weighing 50 lbs or less, and that the destination mentioned in the request should be a location in Africa, North America, Europe, or Asia. In case the request contains a collection, additional conditions are imposed on the request (e.g. the collection can be ordered max 2 working days in advance).
The WSMuller Web Service Capability WSMullerCapability has a postcondition stating that after the execution of the service there will be an order response which will contain the shipping price for the package described in the precondition.
The WSMuller Web Service Choreography will describe a state signature containing the order request and response concepts with the modes “in”, resp “out”. There will be one transition rule stating that for all requests a response will be added to the knowledge base.