Resolving concurrent interactions (original) (raw)
Related papers
Simulation Coupling Limitations with Respect to Shared Entities Constraints
Proceedings of 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 2018
Simulation coupling is a mean by which already developed tools are reused and run together for the sake of capitalizing on existing endeavours. A main challenge to microscopic simulation coupling is the synchronization of schedulers, which are in charge of ordering internal actions for their respective simulation. To achieve a consistent execution of the overall simulations, simulation coupling must tackle challenges to interoperability and schedulers' synchronization. In the scope of microscopic simulations, functional coupling objectives can be categorized into different levels from coupled simulations that only exchange aggregated information, to a coupling that highlights novel behaviours. Our goal in this paper is to show that the existing coupling solutions fail to implement the problem where the coupling objective is to combine individual behaviors from diverse microscopic simulations, in order to create new ones. This failure is due to the fact that these solutions consider microscopic simulations to be coupled, as whole components with autonomous schedulers instead of a composite set of behaviors. The limitations are shown using the DEVS formalism to describe coupled microscopic simulation under different coupling objectives, with a formalization of constraints induced by shared components.
System Model Semantics of Interactions
The semantics of UML 2 interactions is defined in terms of the System Model, a semantic domain tailored for object-oriented, parallel and distributed systems.
An Interaction-Oriented Model for Multi-Scale Simulation
The design of multiagent simulations devoted to complex systems, addresses the issue of modeling behaviors that are involved at different space, time, behavior scales, each one being relevant so as to represent a feature of the phenomenon. We propose here a generic formalismintended to represent multiple environments, endowed with their own spatiotemporal scales and with behavioral rules for the agents they contain. An environment can be nested inside any agent, which itself is situated in one or more environments. This leads to a lattice decomposition of the global system, which appears to be necessary for an accurate design of multi-scale systems. This uniform representation of entities and behaviors at each abstraction level relies upon an interaction-oriented approach for the design of agent simulations, which clearly separates agents from interactions, from the modeling to the code. We also explain the implementation of our formalism within an existing interaction-based platform.
Semantically rich interfaces for simulation interoperability
2007
Laboratory for Industrial Energy Systems, École Polytechnique Fédérale de Lausanne, CH-1015 Lausanne, Switzerland francois. marechal@ epfl. ch Keywords: Simulation interoperability, semantic, ontology, integrated modelling and assessment, agriculture, energy system.
How to handle interacting concerns
2000
Concerns in software applications can range from general-purpose concerns such as tracing, synchronization or error handling, to more specific ones such as scheduling in simulation domains or time constraints in real-time systems. An appropriate separation of concerns is supposed to reduce software complexity and improve software evolution, by keeping track of different decomposition criteria (software dimensions) at the same time. Usually relevant concerns vary over time, are not orthogonal and conflicting among them, and become very domain-specific. Reasoning about a flexible way of handling aspects involving interaction of concerns still remains as an open challenge. In this context, we present an example based on the simulation of a thermic control system, showing how aspects related to mathematical models, concurrency, scheduling and optimizations, are scattered across the system, and how these interacting concerns are separated from the core functionality but coupled among them. A reflective approach is used to support these aspects within an object-oriented language. This work hopes to contribute to discuss how interacting (and often conflicting) concerns work in practice, and encourage developers towards a more systematic approach for an effective separation of concerns.
1997
Abstract One of the major factors hindering the use of qualitative simulation techniques to reason about the behavior of complex dynamical systems is intractable branching due to a phenomenon called chatter. Chatter occurs when a variable's direction of change is constrained only by continuity within a region of the state space. This results in intractable, potentially infinite branching within the behavioral description due to irrelevant distinctions in the direction of change.
Winter Simulation Conference, 2018
Simulation interoperability is a recurring theme in simulation conferences and workshops for more than 20 years. With the IEEE Standards 1278 and 1516, two simulation interoperability standards were introduced, and both were adapted and implemented by the community. Nonetheless, the simulation community is still struggling with interoperability challenges that are not solved. Why is this the case? This paper gives an overview of the current approaches to simulation interoperability, including the standardized approaches as well as contributions of simulation formalism. It then addresses the mathematical foundations of simulation interoperability, including model theory. As a result, the need for the consistency in the representation of truth in all participating simulation systems emerges as the concept that needs to be addressed by interoperability solutions.
On Validation of Semantic Composability in Data-Driven Simulation
2010
Abstract A simulation model composed using reusable components is semantically valid if it produces meaningful results in terms of expressed behaviors and meets the desired objective. This paper focuses on the validation of component-based data-driven simulation. In data-driven simulation applications, it is necessary to model entity behavior at higher resolution. In simulations such as military training scenarios where entity behavior changes dynamically, additional input data is required to express complex state transitions.