SoaML - Multi-Party Service Contracts

Example

Exercises

Design Escrow service contract.

Elements:

• Interfaces: Purchaser (consumer), Seller (provider), Escrow Agent (provider)
• Roles: consumer, product provider, escrow provider
• Operations: Escrow Deposit, Deposit Notice, Delivery, goodAccepted, Escrow Payment (assume only happy path)

Extra exercise

• Add extra operations to the contract above: Grievance, Justification, Escrow Refund