Formalized Dynamic Modeling of Web-Based Collaborative Negotiation Systems | IEEE Conference Publication | IEEE Xplore