Abstract:Introduction: Advancements in information technology have facilitated information exchange practices within the Military Health System (MHS), enabling "systems of systems" approaches that broaden and coordinate the set of capabilities available to enhance patient outcomes. This is applicable for MHS modeling and simulation (M&S) applications as well. Learning from successful approaches applied in current interoperability solutions used in the military helps to ensure interoperability practices yield trusted compositions of simulations. Materials and methods: The use of formal methods provides the rigor necessary to unambiguously communicate these approaches across the MHS community. Here, 3 formal methods are proposed to ensure the harmonization of models and alignment of M&S data needed for simulation interoperability for MHS applications. Results: To clarify considerations relevant for establishing simulation interoperability, the proposed formal methods are examined within a notional example of an injury sustained because of blast exposure. The first method applies the principles of semiotics, addressing the coding of information via syntax and semantics, to understand how to align and transform data across simulations within a composition. The second method applies the concepts of well-specified co-simulations, and the use of different techniques, tools, and algorithms to address the composition and synchronization of M&S components. The third method applies the mathematical branch of model theory to codify expert knowledge about concepts, assumptions, and constraints to ensure conceptual alignment within the simulation composition. Conclusions: Biomedical research must contend with complexity inherent to computational human body modeling, enlisting expert knowledge from multiple domains supporting the development of cross-disciplinary research tools that resolve research foci and associated differences in underlying theories, methods, and applied tools. This is closely related to the broader context of digital engineering for military systems engineering.

A State-Centered Multi-Formalism Behavioral Modeling Method For Combat System Effectiveness Simulation

Behavior modeling method and its application in combat simulation

A Multi-Paradigm Decision Modeling Framework for Combat System Effectiveness Measurement Based on Domain-Specific Modeling

UML-based Combat Effectiveness Simulation System Modeling Within MDE

Cognitive Behaviors Modeling Using UML Profile: Design and Experience.

Knowledge-based and data-driven behavioral modeling techniques in engagement simulation

A DSM-based Multi-Paradigm Simulation Modeling Approach for Complex Systems

A model framework-based domain-specific composable modeling method for combat system effectiveness simulation

Research on Modeling of Computer Generated Forces System

Formalizing Model Transformations Within MDE.

Research on SEB Composable Modeling Methodology for System-of-systems Combat Simulation

Model-Driven Combat Effectiveness Simulation Systems Engineering

Research of Conceptual Model Based on Attack and Defense System Design

A State-Behavior-Function Based Approach for Functional Modeling of Multi-State Systems and Its Application

Modeling and Simulation Requirements and ABMS Method of Complex Warfare System

A CMMS-Based Formal Conceptual Modeling Approach for Team Simulation and Training

Domain-Specific Decision Modelling and Statistical Analysis for Combat System Effectiveness Simulation

A Multimodal Interaction Model for Battlefield

Formal Methods for Establishing Simulation Interoperability for Military Health System Applications

Modeling and simulation of combating process based on Lanchester equation

A class of model framework of combat simulation