In this paper, we present a formal and operational framework for multiscale modeling and simulation. We focus on scale transfer viewed as the coupling between two models of the same system, one at the microscopic scale and the other at the macroscopic scale. We consider that some parameters of the macroscopic model are the result of microscopic processes described in the microscopic model. The ...