Developing multi-agent systems may be a rather difficult task. Having confidence in the result is still more difficult. In this article, we describe a methodology that helps in this task. This methodology is dedicated to global optimization problems that can be solved combining local constraints. We developed CASE tools to support this methodology which are also presented. Finally, we show how this methodology has been successfully used to develop a multi-agent system for the graph colouringproblem.