Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
复制标题
模型驱动监控：契约设计的图转换应用
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
R. Heckel
中科院分区：
文献类型：
--
作者：
G. Engels;Marc Lohmann;Stefan Sauer;R. Heckel
用于构建软件系统的模型驱动开发（MDD）方法提倡从高级模型到具体程序代码的逐步细化和转换过程。在众多的研究工作，试图从模型生成可执行的功能代码，我们提出了一种新的方法，称为模型驱动的监测。在这里，模型被用来指定最小的需求，并被转换成代码级的断言，用于在执行期间监视手工编码的程序。
我们将展示如何部署图转换社区的良好理解结果来支持这种模型驱动的监控方法。特别地，可视化契约形式的模型由具有松散语义的图转换定义，而代码级上从模型到JML断言的自动转换由严格的图转换规则定义。这两个方面都由一个专用的Eclipse插件支持和实现。
The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution.
We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.