Lenguajes de modelado para la especificación de sistemas (computación social, sistemas ciberfísicos, gemelos digitales)
Uno de los objetivos principales del desarrollo de software dirigido por modelos es el de permitir la especificación, diseño, implementación y pruebas de sistemas software de forma sistemática, disciplinada y cuantificable, utilizando el nivel de abstracción adecuado, y usando los lenguajes, notaciones y herramientas más apropiadas para ello.
