Multi-formalism models for performance engineering