/** * Buyer Service 3 */ namespace <> dc:<> wsml:<> furn:<> swfmo:<> loc:<> webservice <> nonFunctionalProperties dc:title hasValue "Buyer Service 3" dc:creator hasValue "SWF Project" dc:subject hasValues {swfmo:buyer, swfmo:purchaseContract, furn:furniture, swfmo:delivery} dc:description hasValue "general marketplace buyer service for purchasing one piece of furniture from a private seller" 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 bs3Capability precondition axiom bs1Precondition nonFunctionalProperties dc:description hasValue "required input is: [1] the piece of furniture to be bought, [2] buyer information (name, payment information) [3] a payment method (types of payment methods are predefined in the ontology)." endNonFunctionalProperties definedBy ?InputItem memberOf furn:furniture and ?InputBuyer[ name hasValue ?X, telephone hasValue ?Y, fax hasValue ?Z, hasPaymentMethod hasValues {?Payment} ] memberOf swfmo:buyer and ?Payment memberOf swfmo:paymentMethod . assumption axiom bs3Assumption nonFunctionalProperties dc:description hasValue "if payment method is credit card, the credit card has to be not expired" endNonFunctionalProperties definedBy ?PrivateSeller[ marketplaceParticipantID hasValue ?X, productLine hasValues {?Y} ] memberOf swfmo:privateSeller and (?InputItem implies (?InputItem memberOf ?Y)) . postcondition axiom bs3Postcondition nonFunctionalProperties dc:description hasValue "a contract a purchase for the piece of furniture provided as input, with the buyer provided as input, and a payment method ( all pre-defined payment methods are accepted)" endNonFunctionalProperties definedBy exists ?PCID(?PCID memberOf xsd:integer) and exists ?PurchaseItem(?PurchaseItem[ item hasValue ?PurchaseFurniture, provider hasValue ?PrivateSeller ] 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 ?PrivateSeller(?PrivateSeller[ acceptsPaymentMethod hasValues {?SellerPayment} ] memberOf swfmo:privateSeller) and exists ?SellerPayment(?SellerPayment memberOf swfmo:paymentMethod) and exists ?Payment(?Payment memberOf swfmo:paymentMethod) and ((?Payment) implies ((?Payment memberOf ?BuyerPayment) and (?Payment memberOf ?SellerPayment))) and ?X[ purchaseContractID hasValue ?PCID, purchaseItem hasValue ?PurchaseItem, buyer hasValue ?Buyer, seller hasValue ?PrivateSeller, purchasePayment hasValue ?Payment ] memberOf swfmo:purchaseContract . effect axiom bs3Effect nonFunctionalProperties dc:description hasValue "delivery of the purchased piece of furniture to the shipping address of the buyer as specified in the input " endNonFunctionalProperties definedBy exists ?Item(?Item[ item hasValue PurchaseFurniture, provider hasValue ?PrivateSeller ] memberOf swfmo:product) and exists ?PurchaseFurniture(?PurchaseFurniture memberOf furn:furniture) and exists ?PrivateSeller(?PrivateSeller memberOf swfmo:privateSeller) and ?X[ deliveryItem hasValue ?Item ] memberOf swfmo:selfCollection . interface bs3Interface nonFunctionalProperties dc:description hasValue "defines the Choreography of Buyer Service 1" endNonFunctionalProperties