Verification of Requirements: System of Systems Theory, Framework, Formalisms, Validity

Abstract 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.