Modeling agent negotiation

A Multi-Agent System (MAS) is a cooperation focused implementation of multiple programs (agents) that coordinate with each other to attempt to converge on the solution to one or more tasks. Agent negotiation is the convergence upon this solution through compromise and communication. Currently, the implementation of agents is highly dependent on the programming language, and any perspective to the negotiation methods agents use to achieve goals and tasks are drawn after the implementation phase of the development. A better solution to the development of agent interaction is to model the negotiation interaction on a high level, and produce from that model the implementation. Model-Integrated Computing (MTC) and Model-Integrated Program Synthesis (MIPS) are two tools which may be used toward the implementation of such a method.