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

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.

[1]  A. Rector,et al.  Relations in biomedical ontologies , 2005, Genome Biology.

[2]  Dines Bjørner,et al.  On Mereologies in Computing Science , 2010, Reflections on the Work of C. A. R. Hoare.

[3]  Eric Honour,et al.  Verification and Validation Issues in Systems of Systems , 2013, AiSoS.

[4]  Roberto Poli,et al.  Descriptive, Formal and Formalized Ontologies , 2003 .

[5]  Achille C. Varzi,et al.  Fiat and Bona Fide Boundaries , 2000 .

[6]  Hee Beng Kuan Tan,et al.  On Formalization of the Whole-Part Relationship in the Unified Modeling Language , 2003, IEEE Trans. Software Eng..

[7]  L. Gabora.  Meme and Variations: A Computational Model of Cultural Evolution , 1995 .

[8]  Stefan Schulz,et al.  Biomedical ontologies: What part-of is and isn't , 2006, J. Biomed. Informatics.

[9]  D. Mcadam,et al.  Toward a General Theory of Strategic Action Fields* , 2010 .

[10]  N. Fligstein,et al.  Social Skill and the Theory of Fields* , 2001 .

[11]  Lin Padgham,et al.  Conceptual Modeling in a Document Management Environment Using Part-of Reasoning in Description Logics , 2000, Data Knowl. Eng..

[12]  D. Gentner.  Structure‐Mapping: A Theoretical Framework for Analogy* , 1983 .

[13]  S. Klepper.  Entry, Exit, Growth, and Innovation over the Product Life Cycle , 1996 .

[14]  Gary O. Langford.  Engineering Systems Integration: Theory, Metrics, and Methods , 2012 .

[15]  Timothy L.J. Ferris,et al.  A new definition of measurement , 2004 .

[16]  Achille C. Varzi.  Boundaries, Continuity, and Contact , 1997 .

[17]  I. Hacking.  Natural Kinds: Rosy Dawn, Scholastic Twilight , 2007, Royal Institute of Philosophy Supplement.

[18]  Mark Austin,et al.  10.1.1 Toward an Evolutionary System of Systems Architecture , 2008 .

[19]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..