El documento describe la metodología GRAI-GIM, desarrollada por el Laboratorio de Automatización y Producción para el diseño de sistemas de manufactura integrada por computadora. GRAI-GIM propone modelos, formalismos y herramientas para modelar el sistema de producción. Incluye el modelo conceptual GRAI, el marco de modelado GRAI-GIM y el método de modelado estructural GRAI-GIM. El objetivo es desarrollar especificaciones para sistemas CIM integrando todos sus elementos.