La relevancia que han tenido en el último tiempo las aplicaciones Web ha producido una evolución en los métodos, herramientas y lenguajes que dan soporte al Proceso de Desarrollo de Software (PDS). De esta manera, el software obtenido es de alta calidad, permitiendo lograr productos competitivos [1]. A pesar de esto, existen carencias en la utilización de las recomendaciones de los expertos y de las organizaciones que dan soporte para mejorar la usabilidad, la accesabilidad, la navegación, etc.
El Object Management Group (OMG) propone un PDS denominado Arquitectura de Desarrollo basado en Modelos (MDA) que está basado en modelos y transformaciones entre ellos y permite facilitar la especificación y el desarrollo de las aplicaciones Web. De esta forma se logra, a partir de los modelos, la generación automática de código en forma transparente a las diferentes plataformas tecnológicas.
El objetivo de esta línea de investigación es definir una propuesta para definir métricas formales usando OCL sobre la metodología Object- Oriented Web Solutions (OOWS) para mejorar el desarrollo del software Web a nivel de diseño en un entorno MDA.