Back-annotation of Simulation Traces with Change-Driven Model Transformations
Back-annotation of Simulation Traces with Change-Driven Model Transformations
复制标题
通过变更驱动的模型转换对仿真轨迹进行反向注释
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Dániel Varró
中科院分区：
文献类型：
--
作者：
Ábel Hegedüs;Gábor Bergmann;I. Ráth;Dániel Varró
模型驱动分析旨在通过自动推导数学模型来尽早检测高级设计模型中的设计缺陷。随后通过形式验证和验证 (V&V) 工具对这些分析模型进行调查，这些工具可能会检索违反特定要求的痕迹。反标注旨在将 V&V 工具的结果映射回设计模型，以突出故障的真正来源，以便于进行必要的修改。在这里，我们提出了一种基于变更驱动的模型转换的模拟轨迹反向注释技术。分析模型的模拟跟踪将作为更改模型保留，并具有表示跟踪的宏观步骤的高级更改命令。使用变更驱动的转换规则将该跟踪反向注释到设计模型，从而弥合了分析和设计跟踪中的宏观步骤之间的概念差异。我们的概念将在使用 Petri 网模拟器分析 BPEL 流程的反向标注问题上得到演示。
Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments. Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.