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) |