A CONTRIBUTION TO THE SCIENTIFIC FOUNDATIONS OF SYSTEMS ENGINEERING： SOLUTION SPACES AND REQUIREMENTS  

作　　者：Alejandro Salado Roshanak Nilchiani Dinesh Verma 

机构地区：[1]Grado Department of Industrial and Systems Engineering, Virginia Tech, Blacksburg VA, 24061, USA [2]School of Systems and Enterprises, Stevens Institute of Technology, Hoboken N J, 07030, USA

出　　处：《Journal of Systems Science and Systems Engineering》2017年第5期549-589,共41页系统科学与系统工程学报（英文版）

摘　　要：Some researchers have suggested that scientific foundations expressed in a mathematical form are needed to thrust the success of systems engineering as a discipline on its own merit. In order to contribute the development of such systems science, this paper investigates from a foundational standpoint the relationships between stakeholder needs, system requirements, and sets of systems. Various theorems and corollaries are proposed and mathematically proven. The theoretical elements are presented as a foundation for the development of a science for requirements engineering. The proposed foundations are finally tested to mathematically describe, in a rigorous and precise manner, qualities of good requirements, which are otherwise traditionally defined using vague narrative. By showcasing practical examples of the theoretical aspects, the paper is intended to serve as a bridge between practitioners and theorists.Some researchers have suggested that scientific foundations expressed in a mathematical form are needed to thrust the success of systems engineering as a discipline on its own merit. In order to contribute the development of such systems science, this paper investigates from a foundational standpoint the relationships between stakeholder needs, system requirements, and sets of systems. Various theorems and corollaries are proposed and mathematically proven. The theoretical elements are presented as a foundation for the development of a science for requirements engineering. The proposed foundations are finally tested to mathematically describe, in a rigorous and precise manner, qualities of good requirements, which are otherwise traditionally defined using vague narrative. By showcasing practical examples of the theoretical aspects, the paper is intended to serve as a bridge between practitioners and theorists.

关 键 词：Systems science systems theory requirements engineering mathematical formulation requirements qualities formal concepts 

分 类 号：N94[自然科学总论—系统科学] O151.2[理学—数学]