modeling system requirements at a high level can significantly facilitate the communication of mental models across highly heterogeneous entities. Two major challenges may arise during such a process. The first is the...
详细信息
modeling system requirements at a high level can significantly facilitate the communication of mental models across highly heterogeneous entities. Two major challenges may arise during such a process. The first is the degree to which details of the higher-level specifications can capture and effectively handle. Especially, when the model contains more nuanced descriptions of parallel execution and temporal pacing. The second challenge arises when realizing such specifications downstream due to ambiguities and incompleteness encountered in higher-level semiformal artifacts. We propose a formal specification and transformation of higher-level artifacts, particularly in the operational activity model of the Department of Defense Architecture Framework (OV-5 DoDAF). We create an isomorphic activity model corresponding to each activity in the Transformational Model-Battle Management. Then, we generate a code for simulating the models as Markov Discrete Event System Specifications. We demonstrate the size and other aspects of the experiments that can be conducted based on the generated simulation and the level of complexity in such an approach. We highlight aspects of managing complexity using model transformations and code generation techniques in a full-cycle model-based system engineering approach, expediting the process toward arriving at the concrete realization of simulation models that only originated from minimal high-level metamodels and artifacts.
Conventional methodologies constraint models to be static during the all simulation. However, some systems are better perceived if represented by dynamic structure models. Recent work on modeling methodologies and env...
详细信息
ISBN:
(纸本)0819424986
Conventional methodologies constraint models to be static during the all simulation. However, some systems are better perceived if represented by dynamic structure models. Recent work on modeling methodologies and environments has focused on the representation of discrete event systems that undergo structural changes. We will describe the Dynamic Structure Discrete Event System Specification (DSDEVS) and several other approaches to dynamic structure modeling and simulation. The DSDEVS formalism and its implementation in the DELTA simulation environment provide support for building dynamic structure simulation models in an hierarchical and modular manner. We conclude that General Systems theory based formalisms offer sound semantics for dynamic structure modeling and simulation.
暂无评论