CD-ROM with a simulation system and numerous solved models is attached to the book. Distributed systems are a continuously expanding area of computer science and computer engineering. This book addresses the need for literature on modeling and simulation techniques for distributed systems. For simulation modeling of distributed systems in the book, a specific class of extended Petri nets is used that allows to easily represent the fundamental processes of any distributed system. The book is intended, first of all, as a text for related graduate-level university courses on distributed systems in computer science and computer engineering. Other computer science and computer engineering courses would also find the book useful as a source of practical information for a broad community of those graduate students who are busy with simulation in their study and research. The book can be useful also to academics who give related graduate courses or deliver research-oriented modules for graduate students. Further, the book can be helpful to system architects and developers who apply modeling and simulation techniques as a step in the design and implementation of their systems. Containing a large number of models, with commented source texts and simulation results on the attached CD-ROM, it can also serve as valuable reference book for researchers who want to develop their own models in terms of Petri nets.

Explore the military and combat applications of modeling and simulation Engineering Principles of Combat Modeling and Distributed Simulation is the first book of its kind to address the three perspectives that simulation engineers must master for successful military and defense related modeling: the operational view (what needs to be modeled); the conceptual view (how to do combat modeling); and the technical view (how to conduct distributed simulation). Through methods from the fields of operations research, computer science, and engineering, readers are guided through the history, current training practices, and modern methodology related to combat modeling and distributed simulation systems. Comprised of contributions from leading international researchers and practitioners, this book provides a comprehensive overview of the engineering principles and state-of-the-art methods needed to address the many facets of combat modeling and distributed simulation and features the following four sections: Foundations introduces relevant topics and recommended practices, providing the needed basis for understanding the challenges associated with combat modeling and distributed simulation. Combat Modeling focuses on the challenges in human, social, cultural, and behavioral modeling such as the core processes of "move, shoot, look, and communicate" within a synthetic environment and also equips readers with the knowledge to fully understand the related concepts and limitations. Distributed Simulation introduces the main challenges of advanced distributed simulation, outlines the basics of validation and verification, and exhibits how these systems can support the operational environment of the warfighter. Advanced Topics highlights new and developing special topic areas, including mathematical applications fo combat modeling; combat modeling with high-level architecture and base object models; and virtual and interactive digital worlds. Featuring practical examples and applications relevant to industrial and government audiences, Engineering Principles of Combat Modeling and Distributed Simulation is an excellent resource for researchers and practitioners in the fields of operations research, military modeling, simulation, and computer science. Extensively classroom tested, the book is also ideal for courses on modeling and simulation; systems engineering; and combat modeling at the graduate level.

Robert Siegfried presents a framework for efficient agent-based modeling and simulation of complex systems. He compares different approaches for describing structure and dynamics of agent-based models in detail. Based on this evaluation the author introduces the “General Reference Model for Agent-based Modeling and Simulation” (GRAMS). Furthermore he presents parallel and distributed simulation approaches for execution of agent-based models –from small scale to very large scale. The author shows how agent-based models may be executed by different simulation engines that utilize underlying hardware resources in an optimized fashion.

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.

This easy to read text provides a broad introduction to the fundamental concepts of modeling and simulation (M&S) and systems engineering, highlighting how M&S is used across the entire systems engineering lifecycle. Features: reviews the full breadth of technologies, methodologies and uses of M&S, rather than just focusing on a specific aspect of the field; presents contributions from specialists in each topic covered; introduces the foundational elements and processes that serve as the groundwork for understanding M&S; explores common methods and methodologies used in M&S; discusses how best to design and execute experiments, covering the use of Monte Carlo techniques, surrogate modeling and distributed simulation; explores the use of M&S throughout the systems development lifecycle, describing a number of methods, techniques, and tools available to support systems engineering processes; provides a selection of case studies illustrating the use of M&S in systems engineering across a variety of domains.

This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with a particular focus on High Level Architecture (HLA). Emphasizing a learning-by-doing approach supported by examples, the text offers practical advice on real-world development issues for all engineers and programmers entering the field. Topics and features: explains how to rapidly develop an HLA federation, offering an implemented sample for each service area of the HLA federate interface specification; describes this implementation using the freely available software tools SimGe and RACoN; provides numerous step-by-step examples, code snippets, and case studies, as well as links to downloadable sample source code; uses the Microsoft .NET platform and the C# programming language in all examples and case studies; includes review questions throughout the book for further study; examines not only federate application development, but also object model construction; discusses the employment of HLA in multi-agent simulations. Providing an accessible introduction and all-in-one resource for HLA-based distributed simulation development, this book is an essential guide for students and practitioners training in distributed simulation and distributed interactive simulation.

Formal ADLs offer great potential to analyse the architecture of a system, predict the overall performance by using simulations, and allow to automatically generate parts of the implementation. Nevertheless, ADLs are rather not used in industrial practice since several problems hinder to exploit their potential to the full extend. This thesis elaborates the design of an ADL that copes with these impediments of ADLs in practice. Therefore, the design of a lightweight ADL is derived which also provides well defined extension points to be adapted to a certain domain or development process. Furthermore, it is investigated how architectural modeling can be enriched with agile development methods to support incremental modeling and the validation of system architectures. Therefore, a set detailed of requirements for architectural modeling and the simulation of system architectures is defined and MontiArc, a concrete ADL to model logical architectures of distributed, interactive systems, is derived. The language is based on the mathematical FOCUS [BS01] framework, which allows to simulate modeled systems in an event-based style. Code generators and a simulation framework provide means to continuously refine and test architectural models. To add new features or adapt the language to a new domain, a corresponding language extension method is presented to extend the syntax, language processing tools, and code generators of the ADL. A lightweight model library concept is presented which allows to develop and reuse component models and their implementation in a controlled and transparent way. The developed language, the simulator, and the language extension techniques have been examined in several case studies which either used or extended MontiArc.