The global model of a complex phenomenon can emerge from the cooperative negotiation of agents embedding local partial models of the phenomenon. We adopted this approach to model complex physiological phenomena, such as those related to the metabolism of glucose-insulin and to the determination of the heart rate (pacing). In this paper we formally describe and analyze the properties of a cooperative negotiation protocol we developed to allow the agents to produce a global coherent model of a physiological phenomenon. We concentrate on the study of the conditions under which an agreement is guaranteed to be reached. We also show details of an application concerning the pacing problem.