 Such an approach does seem consistent with the semantic view as illustrated with classical mechanics. There we have various models such as the harmonic oscillator and hypotheses about how these models apply to idealized physical systems, including specifications of spring constants and their identification with mathematical terms in a model, small oscillation limits, and so forth. But in classical mechanics there is a clear association between the models of a theory and the state spaces definable over the variables of those models, with a further hypothesis about the relationship between the model state space and that of the physical system being modeled (the faithful model assumption, §1.2.3).  One can translate between the state spaces and the models and, in the case of classical mechanics, can read the laws off as well (e.g., Newton’s laws of motion are encoded in the possibilities allowed in the state spaces of classical mechanics). 