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.

Goal description

 I want to have my package shipped from CA, USA to Tunis, Africa size (7/6/4), weight 1 lbs, the cheaper the better.

wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"

goal GoalA1

capability GoalA1Capability

  postcondition

    definedBy

     ( ?x[sop#price hasValue ?price] memberOf sop#PriceQuoteResp

         and sop#isShipped(shipmentOrderReq) ).

 

interface GoalA1Interface

  choreography GoalA1Choreography

    stateSignature GoalA1StateSignature

    in sop#ShipmentOrderReq

    out sop#ShipmentOrderResp

    transitionRules GoalA1TransitionRules

      forall {?request} with

        (?request memberOf sop#ShipmentOrderReq)

      do

          add(_#1 memberOf sop#ShipmentOrderResp)

      endForall

ontology GoalRequest

instance shipmentOrderReq memberOf sop#ShipmentOrderReq

  sop#from hasValue soi#MoonContactInfo

  sop#shipmentDate hasValue soi#shipmentDate1

  sop#package hasValue package

  sop#to hasValue soi#SzyslakContactInfo

instance package memberOf so#Package

  so#quantity hasValue 1

  so#length hasValue 7.0

  so#width hasValue 6.0

  so#height hasValue 4.0

  so#weight hasValue 1.0

instance shipmentDate1 memberOf so#ShipmentDate

  so#earliest hasValue "2009-01-21T13:00:00.046Z"

  so#latest hasValue "2009-01-22T13:00:00.046Z"



Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.