Los sistemas socio-cibernético-físicos (SCPSs) han surgido como sistemas heterogéneos en red que incorporan componentes sociales (por ejemplo, procesos comerciales y redes sociales) junto con componentes físicos (por ejemplo, dispositivos de Internet de las cosas) y de software. Las técnicas basadas en modelos para construir SCPSs necesitan modelos de actores y objetivos para capturar preocupaciones sociales, mientras que los problemas del sistema a menudo se abordan con el Lenguaje de Modelado de Sistemas (SysML). La trazabilidad integral entre estos tipos de modelos es esencial para respaldar la coherencia y la integridad, la gestión de cambios y el análisis de impacto. Sin embargo, la gestión de trazabilidad entre estas vistas complementarias no está bien respaldada en las herramientas de SysML, especialmente cuando los modelos evolucionan porque SysML no proporciona capacidades sofisticadas de modelado de objetivos listas para usar. En nuestro trabajo anterior, propusimos un marco basado en modelos, llamado CGS4Adaptation, que respalda la trazabilidad básica importando modelos de objetivos y SysML a un sistema líder de gestión de requisitos de terceros, a saber, IBM Rational DOORS. En este documento, presentamos el método de gestión de trazabilidad del marco y su uso para realizar comprobaciones automáticas de coherencia e integridad. La gestión de trazabilidad también incluye la detección de enlaces implícitos, mejorando así la calidad de los enlaces de trazabilidad al alinear mejor los diseños con los requisitos. El método se evalúa utilizando un estudio de caso de SCPS adaptativo que involucra un hogar inteligente basado en IoT. Los resultados sugieren que el método respaldado por la herramienta es efectivo y útil para apoyar el proceso de gestión de trazabilidad que implica modelos complejos de objetivos y SysML en un entorno, al tiempo que ahorra tiempo y esfuerzo de desarrollo.