A Formal Environment for Describing Negotiation Capabilities | IEEE Conference Publication | IEEE Xplore