En este trabajo se definen los formalismos necesarios para construir un entorno gráfico de modelado de problemas de optimización de sistemas a gran escala. Dado un problema modelado bajo esta orientación se generan automáticamente las bases de datos que albergarán la información del problema, datos ficticios para la realización de pruebas iniciales y los modelos de resolución, así como modelos de depuración en caso de que el resolutor no encuentre solución factible. Además se generan automáticamente editores gráficos que permitan visualizar gráficamente los datos del problema representado y sus soluciones, permitiendo modificar estos de forma cómoda. Finalmente estos formalismos se han utilizado para implementar un editor de problemas de optimización, que contemple las características mencionadas.