Development of large-scale models often involves—or, certainly could benefit from—linking existing models. This process is termed model integration and involves two related aspects: (1) the coupling of model representations, and (2) the coupling of the processes for evaluating, or executing, instances of these representations. Given this distinction, we overview model integration capabilities in existing executable modeling languages, discuss current theoretical approaches to model integration, and identify the limiting assumptions implicitly made in both cases. In particular, current approaches assume away issues of dynamic variable correspondence and synchronization in composite model execution. We then propose a process-oriented conceptualization and associated constructs that overcome these limiting assumptions. The constructs allow model components to be used as building blocks for more elaborate composite models in ways unforeseen when the components were originally developed. While we do not prove the sufficiency of the constructs over the set of all model types and integration configurations, we present several examples of model integration from various domains to demonstrate the utility of the approach.