La gestión de la movilidad urbana enfrenta crecientes desafíos que requieren el análisis y la optimización de soluciones sostenibles. Los gemelos digitales (DT) han surgido como herramientas innovadoras para esta evaluación, pero su implementación requiere procedimientos y lenguajes estandarizados. Como parte de una metodología más amplia para la validación continua de DT, este estudio se centra en la fase de validación conceptual, presentando un enfoque de conceptualización a través de la formalización utilizando el Lenguaje de Especificación y Descripción (SDL), agnóstico a las herramientas de simulación. La validación conceptual se logró mediante la participación de las partes interesadas en el contexto de Bolzano, produciendo 41 diagramas SDL que definen tanto elementos comunes a diferentes realidades urbanas como procedimientos específicos de recolección de datos locales. La viabilidad de implementar esta conceptualización validada por las partes interesadas se demostró utilizando la Simulación de Movilidad Urbana (SUMO) para la simulación del tráfico y el cálculo de criterios de optimización, y su marco SUMO Generación de Actividades (SAGA) para generar una demanda de movilidad basada en actividades (ABM) que puede mejorarse a través de datos de sensores reales. El enfoque SDL, a través de su representación gráfica (SDL/GR), permite la validación conceptual al mejorar la comunicación entre las partes interesadas mientras define un marco que, al adaptarse a las especificidades de monitoreo de diferentes realidades urbanas, mantiene una estructura común y rigurosa, independiente de las herramientas de implementación y lenguajes de programación elegidos.