• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Modeling in Software Engineering (MISE), 2012 ICSE Workshop on >Verifiable architectural interface for supporting model-driven development with adequate abstraction level
【24h】

Verifiable architectural interface for supporting model-driven development with adequate abstraction level

机译：可验证的架构接口，以足够的抽象级别支持模型驱动的开发

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

摘要

It is not easy to design software architecture reflecting the intention of developers and implement the result of design as a program while preserving the architectural correctness and adequate abstraction level. Archface, an architectural interface mechanism, plays a role as an ADL at the design phase and as a programming interface at the implementation phase. Design and code can co-evolve with Archface at the center of the development process. This paper proposes a verifiable architectural interface that can check the traceability between design and code. For this checking, we use an SMT (Satisfiability Modulo Theories) solver, a tool for deciding the satisfiability of logical formulas. Adopting our approach, we can construct MDD tools supporting adequate abstraction level when they generate code, recover a design model from code, and check the traceability between a design model and its code.
机译：设计软件体系结构以反映开发人员的意图并以程序的形式实现设计结果，同时保留体系结构的正确性和足够的抽象级别，这并不容易。 Archface是一种体系结构接口机制，在设计阶段充当ADL，在实现阶段充当编程接口。设计和代码可以在开发过程的中心与Archface共同发展。本文提出了一种可验证的体系结构接口，可以检查设计和代码之间的可追溯性。对于此检查，我们使用SMT（可满足性模理论）求解器，该工具用于确定逻辑公式的可满足性。采用我们的方法，我们可以构建MDD工具，以在它们生成代码时支持足够的抽象级别，从代码中恢复设计模型，并检查设计模型及其代码之间的可追溯性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号