Algunos autores sugieren que la transición de la ingeniería de requisitos de las declaraciones tradicionales en lenguaje natural con cláusulas "deberá" a requisitos basados en modelos dentro de un entorno de Ingeniería de Sistemas Basada en Modelos (MBSE) podría mejorar la comunicación, la trazabilidad de requisitos y la descomposición del sistema, entre otros. Los elementos de requisitos en el Lenguaje de Modelado de Sistemas (SysML) no cumplen con este objetivo, ya que son realmente un requisito textual en lenguaje natural como un elemento del modelo. Los esfuerzos actuales para aprovechar directamente los modelos de comportamiento y estructurales del sistema carecen de un marco teórico general con el cual evaluar la adecuación de cómo se utilizan esos modelos para capturar requisitos. Este documento presenta un enfoque para construir requisitos verdaderamente basados en modelos en SysML. El enfoque presentado aprovecha algunos de los modelos y diagramas de comportamiento y estructurales de SysML, con reglas de construcción específicas derivadas del marco matemático de Wymore para MBSE y taxonomías de requisitos e interfaces. La proposición central del enfoque es que cada requisito puede ser modelado como una transformación de entrada/salida. Se utilizan ejemplos para mostrar cómo atributos que tradicionalmente se consideran requisitos no funcionales pueden ser capturados, con mayor precisión, como transformaciones funcionales.