TL;DR: SpringSim'16 covers state-of-the-art developments in M&S methodology, technology and application in disciplines as diverse as applied computing, communications and networking, medicine, adaptive and autonomous systems.
Abstract: On behalf of the Organizing Committee, it is our pleasure to welcome you to the 2016 Spring Simulation Multi-conference in Pasadena, California. Pasadena is home to Caltech and the NASA/Caltech research centre for robotic space exploration - the Jet Propulsion Laboratory (JPL). The conference is organized by the Society for Modeling and Simulation International (SCS), the World's oldest international M&S society, which, from its inception in 1952, has effectively engaged our community and continues to play a significant role in advancing research and its contribution to practice. SpringSim'16 covers state-of-the-art developments in M&S methodology, technology and application in disciplines as diverse as applied computing, communications and networking, medicine, adaptive and autonomous systems.
TL;DR: The BP simulation model is first to be built from the BPMN model, then implemented and finally executed to yield the performance indices of interest.
Abstract: Simulation techniques are successfully applied to analyze and validate the performance of a business process (BP) since the early phases of its lifecycle, when the BP representation is commonly specified in BPMN. The BP simulation model is first to be built from the BPMN model, then implemented and finally executed to yield the performance indices of interest.
TL;DR: The purpose of TMS'15 is to provide a forum to discuss most recent advancements in theory of Modeling and Simulation (M&S), with main focus on theory of modeling, methodology, practice and M&S software, as well as lessons learned and challenges.
Abstract: On behalf of the Organizing Committee, we are pleased to welcome you to the 2015 Symposium on Theory of Modeling and Simulation. The purpose of TMS'15 is to provide a forum to discuss most recent advancements in theory of Modeling and Simulation (M&S). The main focus is on theory of modeling, methodology, practice and M&S software, as well as lessons learned and challenges. The Symposium focuses also on bridging different areas in the field of Theory of Modeling and Simulation, including formal modeling, graph transformation, model-checking, model-driven engineering, modeling methodologies and software. The program includes a wide selection of technical presentations and speakers, and a collection of state-of-the-art presentations and articles related to research, development, and applications of Theory of Modeling and Simulation. This year the conference is hosting the fifth edition of the Mod4Sim Workshop, focused on model-driven approaches for simulation engineering, and the Fourth DEVS Modeling and Simulation Ph.D. Dissertation Award, created to recognize the best Ph.D. thesis related to the DEVS formalism.
TL;DR: This paper describes in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model, and shows how Activity models correspond to the atomicDEVS model using an exemplar.
Abstract: Creation of DEVS models has been advanced through Model Driven Architecture and its frameworks. The overarching role of the frameworks has been to help develop model specifications in a disciplined fashion. Frameworks can provide intermediary layers between the higher level mathematical models and their corresponding software specifications from both structural and behavioral aspects. Unlike structural modeling, developing models to specify behavior of systems is known to be harder and more complex, particularly when operations with non-trivial control schemes are required. In this paper, we propose specifying activity-based behavior modeling of parallel DEVS atomic models. We consider UML activities and actions as fundamental units of behavior modeling, especially in the presence of recent advances in the UML 2.5 specifications. We describe in detail how to approach activity modeling with a set of elemental behavioral constructs for atomic DEVS model. We show how Activity models correspond to the atomic DEVS model using an exemplar. We also highlight the complementary roles of Activity and Statecharts models.