Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulati