Next Article in Journal
The Theory of Knowledge Fields: A Thermodynamics Approach
Next Article in Special Issue
A Preliminary Design-Phase Security Methodology for Cyber–Physical Systems
Previous Article in Journal
A Systems Thinking Approach to Designing Clinical Models and Healthcare Services
Previous Article in Special Issue
Economic Analysis of Model-Based Systems Engineering
Article Menu

Export Article

Open AccessArticle

Constructing True Model-Based Requirements in SysML

Virginia Tech, Blacksburg, VA 24061, USA
Author to whom correspondence should be addressed.
Systems 2019, 7(2), 19;
Received: 5 February 2019 / Revised: 11 March 2019 / Accepted: 26 March 2019 / Published: 28 March 2019
(This article belongs to the Special Issue Model-Based Systems Engineering)
PDF [3801 KB, uploaded 28 March 2019]


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. View Full-Text
Keywords: requirements; model-based requirements; model-based systems engineering (MBSE); System Modeling Language (SysML) requirements; model-based requirements; model-based systems engineering (MBSE); System Modeling Language (SysML)

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).

Share & Cite This Article

MDPI and ACS Style

Salado, A.; Wach, P. Constructing True Model-Based Requirements in SysML. Systems 2019, 7, 19.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Systems EISSN 2079-8954 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top