Specification, simulation and verification of negotiation protocols in a unified agent-based framework