Skip to main content

Table 1 RepairShop ConfiguredService description

From: Publishing and discovering context-dependent services

ConfiguredService

Function

NonFunctional

  Legal

ContextRule

ContextInfo

RepairShop

Name:ReserveRS Pre: CarBroken==T Post: HasAppointment==T Address: XXX

InputParameters: CarBroken:bool deposit:double CarType:string failureType:string

ResultName:ResultRS OutputParameters: HasAppointment:bool numberOfHours:int

Price=60$/h

deposit=300$ PriceCondition: CarType=toyota

membership==CAA

(location,montreal)

  1. A description of the RepairShop ConfiguredService containing the contract and context information.
Back to article page