A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems
复制标题
支持动态自适应系统的规范、仿真和执行的领域特定建模语言
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Arnor Solberg
中科院分区：
文献类型：
--
作者：
Franck Fleurey;Arnor Solberg
构建和执行能够自动适应环境动态变化的分布式系统是一项非常复杂的任务。重要的挑战包括提供有效的设计时间和运行时间表示，系统验证，以确保相互依赖的组件的安全适应，以及可扩展的解决方案，以科普自适应系统工件（如配置，变量依赖关系和自适应规则）的可能组合爆炸。在这些挑战中，目前的办法只能提供部分解决办法。此外，在当前的方法中，适配逻辑通常在代码级指定，与主系统功能紧密耦合，使得难以控制和维护。本文提出了一种领域特定的建模语言（DSML）允许规格的自适应逻辑在模型级，并分离的自适应逻辑的主要系统功能。它支持模型检查和设计时模拟，以便对适应策略进行早期验证。模型级规范用于生成自适应逻辑。DSML还提供了间接机制来科普自适应系统工件的组合爆炸。所提出的方法已经实施，并通过案例研究验证。
Constructing and executing distributed systems that can automatically adapt to the dynamic changes of the environment are highly complex tasks. Non-trivial challenges include provisioning of efficient design time and run time representations, system validation to ensure safe adaptation of interdependent components, and scalable solutions to cope with the possible combinatorial explosions of adaptive system artifacts such as configurations, variant dependencies and adaptation rules. These are all challenges where current approaches offer only partial solutions. Furthermore, in current approaches the adaptation logic is typically specified at the code level, tightly coupled with the main system functionality, making it hard to control and maintain. This paper presents a domain specific modeling language (DSML) allowing specification of the adaptation logic at the model level, and separation of the adaptation logic from the main system functionality. It supports model-checking and design-time simulation for early validation of adaptation policies. The model level specifications are used to generate the adaptation logic. The DSML also provides indirection mechanisms to cope with combinatorial explosions of adaptive system artifacts. The proposed approach has been implemented and validated through case studies.