• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages
【24h】

Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages

机译：从OCL生成断言代码：一种基于实现语言相似性的转换方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The Object Constraint Language (OCL) carries a platform independent characteristic allowing it to be decoupled from implementation details, and therefore it is widely applied in model transformations used by model-driven development techniques. However, OCL can be found tremendously useful in the implementation phase aiding assertion code generation and allowing system verification. Yet, taking full advantage of OCL without destroying its platform independence is a difficult task. This paper proposes an approach for generating assertion code from OCL constraints by using a model transformation technique to abstract language specific details away from OCL high-level concepts, showing wide applicability of model transformation techniques. We take advantage of structural similarities of implementation languages to describe a rewriting framework, which is used to easily and flexibly reformulate OCL constraints into any target language, making them executable on any platform. A tool is implemented to demonstrate the effectiveness of this approach.
机译：对象约束语言（OCL）具有平台无关的特性，可以将其与实现细节分离，因此，它被广泛应用于模型驱动的开发技术所使用的模型转换中。但是，可以发现OCL在实现阶段有助于断言代码生成并允许系统验证非常有用。但是，要充分利用OCL而不破坏其平台独立性是一项艰巨的任务。本文提出了一种通过使用模型转换技术从OCL高级概念中抽象出特定于语言的细节来从OCL约束生成断言代码的方法，从而展示了模型转换技术的广泛适用性。我们利用实现语言的结构相似性来描述重写框架，该框架用于轻松灵活地将OCL约束重新格式化为任何目标语言，从而使其可在任何平台上执行。实现了一种工具来演示此方法的有效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号