A Formal Model Description for Service Agents Negotiation | IEEE Conference Publication | IEEE Xplore