Aplicación de técnicas formales en el diseño de sistemas cooperativos