Este artículo presenta la representación basada en M ++ de la traza de razonamiento introspectivo en la arquitectura metacognitiva CARINA. Las trazas de razonamiento son una estructura de conocimiento declarativo que captura los estados mentales y la secuencia de toma de decisiones en el ciclo de acción-percepción de un agente cognitivo. M ++ es un DSVL para modelar la metacognición en sistemas inteligentes e incorpora dos mecanismos de meta-razonamiento, es decir, monitoreo introspectivo y control de meta-nivel. La validación de M ++ se realizó en dos dimensiones: utilidad potencial y utilidad. Para el proceso de validación, se utilizaron los siguientes métodos: estudio empírico basado en la percepción del usuario. Con respecto a la relación de los comportamientos representados en M ++, el 85.7% de los expertos consideró que la representación es adecuada en comparación con el 14.3% que no la consideró.