Model Engineering for Simulation provides a systematic introduction to the implementation of generic, normalized and quantifiable modeling and simulation using DEVS formalism. It describes key technologies relating to model lifecycle management, including model description languages, complexity analysis, model management, service-oriented model composition, quantitative measurement of model credibility, and model validation and verification. The book clearly demonstrates how to construct computationally efficient, object-oriented simulations of DEVS models on parallel and distributed environments.