In this thesis, we propose a simulation infrastructure for heterogeneous simulation, called DEVS BUS. The DEVS BUS framework consists of a model layer, a DEVS BUS layer, and a transport layer. The model layer includes simulation models developed in different simulation languages/environments. Each model is best suited for describing an aspect of a multifacetted system, and a combination of such models are used for describing the composite behavior of the multifacetted system. The DEVS BUS layer provides a simulation infrastructure on which each model can communicate with each other while synchronizing simulation times and passing messages between them during a simulation. The DEVS BUS is a software bus, and its protocol is based on the DEVS formalism. Each model in a heterogeneous simulation requires to obey the DEVS BUS protocol. For non DEVS-compliant models, their simulation protocol may be different than the DEVS BUS protocol, thus resulting in a simulation protocol mismatch. Protocol conversion is to resolve the protocol mismatch by interposing a protocol converter between a non DEVS-compliant model and the DEVS BUS. Protocol converters are developed based on the delayed execution of local events at node models. We also propose an algebraic approach to the formal protocol conversion from the circuit-theoretic view point. A protocol converter is algebraically constructed from a sender protocol, a receiver protocol, and a message transfer constraint. With a protocol converter, a non DEVS-compliant model is converted into a DEVS-compliant one, and can be connected to the DEVS BUS while communicating with other models in a heterogeneous simulation. The transport layer is used for exchanging DEVS BUS protocol messages among node models and a DEVS BUS controller. Any communication means such as shared memory, TCP/IP, or HLA/RTI can be used as the transport layer. This thesis uses a shared memory interface on a single PC and the HLA/RTI on a network of PCs. The s...