Web Service Definition
Web-Service (Reimburse-Employee)
Input (Reimburse-Employee Requester-Name)
Output (Reimburse-Employee Confirmation
RETURN-Reimburse-Employee-Confirm)
Effect (Reimburse-Employee
Reimbursed Requester-Name ?name
Requested-Amount ?amt)
Precondition (?service
Held-for-Transfer
Requested-Amount ?amt Currency ?currency) ⇐
Effect (?Service
Reimbursed Requester-Name ?name
Requested-Amount ?amt)
*(Some parentheses omitted. :)
©2012
Charles Petrie - permission to reproduce widely with attribution.