Premium
Verification of Requirements: System of Systems Theory, Framework, Formalisms, Validity
Author(s) -
Langford Gary O.
Publication year - 2017
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2017.00393.x
Subject(s) - computer science , rotation formalisms in three dimensions , software engineering , mereology , domain (mathematical analysis) , ontology , systems engineering , programming language , engineering , mathematics , mathematical analysis , philosophy , geometry , epistemology
Building on the success of systems verification, a new approach and method were developed to improve verification of requirements for system of systems. Following the formal logic (mereology) of Leśniewski, an integrative framework was structured on ontology‐based artifacts built from objects and processes within the problem domain. Meta‐structures of systems and system of systems artifacts were extracted to form a model of verification to a system of systems and its constituent systems.