Title: Theory and Application of Multi-Formalism Modeling