Generative, descriptive, heuristic, and formal modeling in pattern analysis and classification