Collecting the work of the foremost scientists in the field, this book presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the advances, extensions of formal techniques, and real-world examples of various applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. The book employs DEVS as a unifying framework for computational modeling and as a formal foundation for model-driven engineering. It covers DEVS standardization as well as the theory of discrete-event modeling and simulation.

Gabriel A. Wainer is an associate professor in the Department of Systems and Computer Engineering at Carleton University. Dr. Wainer is vice president of publications for the Society for Modeling and Simulation International (SCS), the special issues editor of SIMULATION: Transactions of the Society for Modeling and Simulation International, an associate editor of JDMS: The Journal of Defense Modeling and Simulation, and an editorial board member of Wireless Networks and the International Journal of Simulation & Process Modelling. He has been a recipient of the IBM Eclipse Innovation Award, the Society for Modeling and Simulation International Leadership award, Carleton University's Research Achievement Award, and the First Bernard P. Zeigler DEVS Modeling and Simulation Award. His research focuses on discrete event modeling and simulation, parallel and distributed simulation, and real-time systems.

Pieter J. Mosterman is a senior research scientist at MathWorks, where he works on core modeling, simulation, and code generation features of Simulink®. Dr. Mosterman is also an adjunct professor in the School of Computer Science at McGill University. He designed HyBrSim, which was awarded the IMechE Donald Julius Groen Prize in 2003, and the Electronics Laboratory Simulator, which was nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. Dr. Mosterman also received the SCS Distinguished Service Award. He is an editorial advisory board member of SIMULATION: Transactions of the Society for Modeling and Simulation International and an associate editor of the International Journal of Control and Automation, the International Journal of Critical Computer-Based Systems, and Applied Intelligence.

Foreword. Theory. Methodology and Tools. Applications. Standardization. Index.