We present a framework supporting the design of gen eric and flexible conversation protocols for multi- agent systems. This framework uses a social commitm ents approach in which descriptions are transformed into finite state machines for subseque nt embedding in software agents. As part of this process, it provides a tool to verify the correctne ss of protocols in terms of their completeness and resolution of social commitments. The framework inc ludes object-oriented concepts such as extension and aggregation to aid users reuse protocols during their design.