Theory and applications of multi-formalism modeling