/** * Seller Service Leiner */ namespace <> dc:<> wsml:<> furn:<> swfmo:<> loc:<> webservice <> nonFunctionalProperties dc:title hasValue "Seller Service Leiner" dc:creator hasValue "SWF Project" dc:subject hasValues {swfmo:seller, swfmo:purchaseContract, furn:furniture, swfmo:delivery} dc:description hasValue "Leiner seller service for selling a piece of furniture" dc:publisher hasValue "SWF Project" dc:contributor hasValue "Michael Stollberg, Ioan Toma, Uwe Keller" dc:date hasValue "2004-09-20" dc:type hasValue <> comment: SWF Services are modeled as WSMO Web Services dc:format hasValue "text/plain" dc:language hasValue "en-US" dc:relation hasValues {<>, <>, <>} dc:coverage hasValue "loc:austria" dc:rights hasValue <> version hasValue "$Revision: 1.6 $" endNonFunctionalProperties importedOntologies { <>, <>, <>} capability ssLeinerCapability precondition axiom ssLeinerPrecondition nonFunctionalProperties dc:description hasValue "required input is: [1] a piece of furniture to be sold, [2] Leiner information as seller (registered marketplace participant, located in Austria, accepted payment), [3] possible payment for the purcahse contract is credit card or invoice." endNonFunctionalProperties definedBy ?InputItem memberOf furn:furniture and ?InputSeller[ marketplaceParticipantID hasValue "IKEA", name hasValue "IKEA", telephone hasValue "1234", fax hasValue "1234", contactAddress hasValue IKEAAddress, acceptsPaymentMethod hasValues {?Payment} ] memberOf swfmo:company and IKEAAddress memberOf loc:address and ((?Payment memberOf swfmo:creditcard) or (?Payment memberOf swfmo:invoice) or (?Payment memberOf swfmo:cash)) . assumption axiom ssLeinerAssumption nonFunctionalProperties dc:description hasValue "the desired piece of furniture has to be available as a product offered by the seller" endNonFunctionalProperties definedBy ?Product[ item hasValue ?InputItem, provider hasValue Leiner ] memberOf swfmo:product and ?InputItem memberOf furn:furniture and Leiner memberOf swfmo:company . postcondition axiom ssLeinerPostcondition nonFunctionalProperties dc:description hasValue "returns a contract of purchase for a piece of furniture that fits the desire between a buyer and the seller provided as input, with accepted payments credit card or invoice. " endNonFunctionalProperties definedBy exists ?PCID(?PCID memberOf xsd:integer) and exists ?PurchaseItem(?PurchaseItem[ item hasValue ?PurchaseFurniture, provider hasValue LEINER ] memberOf swfmo:product) and exists ?PurchaseFurniture(?PurchaseFurniture memberOf furn:furniture) and exists ?Buyer(?Buyer[ hasPaymentMethod hasValues {?BuyerPayment} ] memberOf swfmo:buyer) and exists ?BuyerPayment(?BuyerPayment memberOf swfmo:paymentMethod) and exists ?Payment(?Payment memberOf swfmo:paymentMethod) and ((?Payment) implies ((?Payment memberOf ?BuyerPayment) and (?Payment memberOf LEINER.acceptsPaymentMethod))) and ?X[ purchaseContractID hasValue ?PCID, purchaseItem hasValue ?PurchaseItem, buyer hasValue ?Buyer, seller hasValue LEINER, purchasePayment hasValue ?Payment ] memberOf swfmo:purchaseContract . effect axiom ssLeinerEffect nonFunctionalProperties dc:description hasValue "delivery of the purchased piece of furniture to the buyer shipping address specified in the input, or via self collection by the buyer" endNonFunctionalProperties definedBy exists ?Item(?Item[ provider hasValue LEINER ] memberOf swfmo:product) and exists ?Buyer(?Buyer[ shipToAddress.city.inCountry hasValue austria ] memberOf swfmo:buyer) and (?X[ deliveryItem hasValue ?Item, sender hasValue LEINER, receiver hasValue ?Buyer, carrier hasValue LeinerDeliveryService ] memberOf swfmo:dropShip) or (?X[ deliveryItem hasValue ?Item ] memberOf swfmo:selfCollection) . interface ssLeinerInterface nonFunctionalProperties dc:description hasValue "defines the Choreography of Seller Service 1" endNonFunctionalProperties