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.