Modeling and Validating Dynamic Adaptation
Modeling and Validating Dynamic Adaptation
复制标题
动态适应建模和验证
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Jézéquel
中科院分区：
文献类型：
--
作者：
Franck Fleurey;Vegard Dehlen;N. Bencomo;Brice Morin;J. Jézéquel
本文讨论了建模和验证动态自适应方面的前期工作。提出的方法是在运行时使用面向方面的建模(AOM)和模型。我们的方法涵盖设计和运行时阶段。在设计时，设计了一个基本模型和不同的变体体系结构模型，并建立了适配模型。重要的是，自适应模型包括允许在执行之前验证自适应规则的不变属性和约束。在运行时期间，处理适配模型以产生可执行的正确系统配置。
This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and runtime phases. At design-time, a base model and different variant architecture models are designed and the adaptation model is built. Crucially, the adaptation model includes invariant properties and constraints that allow the validation of the adaptation rules before execution. During runtime, the adaptation model is processed to produce a correct system configuration that can be executed.