Modelado y Verificación de Patrones de Diseño de Arquitectura de Software para Entornos de Comput...