ConfiguredService | Function | NonFunctional |   Legal | ContextRule | ContextInfo | ||
---|---|---|---|---|---|---|---|
RepairShop1 | 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 Client Rec.=5 | deposit=300$ Warranty= 3 PriceCondition: CarType=toyota | membership==CAA | (location,montreal) |
RepairShop2 | 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=50$/h Client Rec.=4 Recommended by CAA | deposit=400$ Warranty= 2 PriceCondition: CarType=toyota | membership==CAA | (location,montreal) |
RepairShop3 | 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=40$/h Client Rec.=3 Recommended by CAA | deposit=500$ Warranty= 1 PriceCondition: CarType=toyota | membership==CAA | (location,montreal) |
RepairShop4 | 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=70$/h Client Rec.=5 Recommended by CAA | deposit=300$ Warranty= 4 PriceCondition: CarType=toyota | membership==CAA | (location,montreal) |
RepairShop5 | 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=40$/h Client Rec.=5 Recommended by CAA | deposit=250$ Warranty= 4 PriceCondition: CarType=toyota | membership==CAA | (location,montreal) |