Activity Specification For Time Based Discrete Event Simulation Models
Download Activity Specification For Time Based Discrete Event Simulation Models PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Activity Specification For Time Based Discrete Event Simulation Models book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Activity Specification for Time-based Discrete Event Simulation Models
Computational models for relatively complex systems are subject to many difficulties, among which is the ability for the models to be discretely understandable and applicable to specific problem types and their solutions. This demands the specification of a dynamic system as a collection of models, including metamodels. In this context, new modeling approaches and tools can help provide a richer understanding and, therefore, the development of sophisticated behavior in system dynamics. From this vantage point, an activity specification is proposed as a modeling approach based on a time-based discrete event system abstraction. Such models are founded upon set-theoretic principles and methods for modeling and simulation with the intent of making them subject to specific and profound questions for user-defined experiments.Because developing models is becoming more time-consuming and expensive, some research has focused on the acquisition of concrete means targeted at the early stages of component-based system analysis and design. The model-driven architecture (MDA) framework provides some means for the behavioral modeling of discrete systems. The development of models can benefit from simplifications and elaborations enabled by the MDA meta-layers, which is essential for managing model complexity. Although metamodels pose difficulties, especially for developing complex behavior, as opposed to structure, they are advantageous and complementary to formal models and concrete implementations in programming languages. The developed approach is focused on action and control concepts across the MDA meta-layers and is proposed for the parallel Discrete Event System Specification (P-DEVS) formalism. The Unified Modeling Language (UML) activity meta-models are used with syntax and semantics that conform to the DEVS formalism and its execution protocol. The notions of the DEVS component and state are used together according to their underlying system-theoretic foundation. A prototype tool supporting activity modeling was developed to demonstrate the degree to which action-based behavior can be modeled using the MDA and DEVS. The parallel DEVS, as a formal approach, supports identifying the semantics of the UML activities. Another prototype was developed to create activity models and support their execution with the DEVS-Suite simulator, and a set of prototypical multiprocessor architecture model specifications were designed, simulated, and analyzed.
Discrete-Event Modeling and Simulation
Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.
Discrete Event Modeling and Simulation Technologies
Author: Hessam S. Sarjoughian
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-03-09
The initial ideas behind this edited volume started in spring of 1998 - some two years before the sixtieth birthday of Bernard P. Zeigler. The idea was to bring together distinguished researchers, colleagues, and former students of Professor Zeigler to present their latest findings at the AIS' 2000 conference. During the spring of 1999, the initial ideas evolved into creating a volume of articles surrounding seminal concepts pertaining to modeling and simulation as proposed, developed, and advocated by Professor Zeigler throughout his scientific career. Also included would be articles describing progress covering related aspects of software engineering and artificial intelligence. As this volume is emphasizing concepts and ideas spawned by the work of Bernard P. Zeigler, it is most appropriate to offer a biographical sketch of his scientific life, thus putting into a historical perspective the contributions presented in this volume as well as new research directions that may lie ahead! Bernard P. Zeigler was born March 5, 1940, in Montreal, Quebec, Canada, where he obtained his bachelor's degree in engineering physics in 1962 from McGill University. Two years later, having completed his MS degree in electrical engineering at the Massachusetts Institute of Technology, he spent a year at the National Research Council in Ottawa. Returning to academia, he became a Ph. D. student in computer and communication sciences at the University of Michigan, Ann Arbor.