Theory and Application of Multi-Formalism Modeling