Constructing true model-based requirements in sysml

Alejandro Salado, Paul Wach

Research output: Contribution to journalArticlepeer-review

16 Scopus citations


Some authors suggest that transitioning requirements engineering from the traditional statements in natural language with shall clauses to model-based requirements within a Model-Based Systems Engineering (MBSE) environment could improve communication, requirements traceability, and system decomposition, among others. Requirement elements in the Systems Modeling Language (SysML) fail to fulfill this objective, as they are really a textual requirement in natural language as a model element. Current efforts to directly leverage behavioral and structural models of the system lack an overarching theoretical framework with which to assess the adequacy of how those models are used to capture requirements. This paper presents an approach to construct true model-based requirements in SysML. The presented approach leverages some of SysML’s behavioral and structural models and diagrams, with specific construction rules derived from Wymore’s mathematical framework for MBSE and taxonomies of requirements and interfaces. The central proposition of the approach is that every requirement can be modeled as an input/output transformation. Examples are used to show how attributes traditionally thought of as non-functional requirements can be captured, with higher precision, as functional transformations.

Original languageEnglish (US)
Article number19
Issue number2
StatePublished - Jun 2019
Externally publishedYes


  • Model-based requirements
  • Model-based systems engineering (MBSE)
  • Requirements
  • System Modeling Language (SysML)

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Modeling and Simulation
  • Computer Networks and Communications
  • Information Systems and Management


Dive into the research topics of 'Constructing true model-based requirements in sysml'. Together they form a unique fingerprint.

Cite this