SPICA's Multi-party Negotiation Protocol: Implementation using YAWL