Skip to main content

Advertisement

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.