检索结果-内蒙古大学图书馆

Handling complexity of large high-level specifications in simulation environment: the case of transformational model-battle management

引用

JOURNAL OF DEFENSE modeling AND simulation-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2024年

作者： Alshareef, Abdurrahman Kim, Doohwan King Saud Univ Coll Comp & Informat Sci Dept Informat Syst POB 2454 Riyadh 11451 Saudi Arabia RTSync Corp Chandler AZ USA

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.

关键词： Activity diagrams model-based system engineering system modeling language theory of modeling and simulation transformational model-battle management Unified modeling Language

来源：评论

学校读者我要写书评

暂无评论

Dynamic structure discrete event systems: A comparison of methodologies and environments

Dynamic structure discrete event systems: A comparison of me...

引用

Conference on Enabling Technology for simulation Science

作者： Barros, FJ Univ. de Coimbra (Portugal)

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.

关键词： dynamic structure discrete event systems DSDEVS formalism theory of modeling and simulation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：