首页    期刊浏览 2024年11月14日 星期四
登录注册

文章基本信息

  • 标题:Static Type Checking of Model Transformation Programs
  • 本地全文:下载
  • 作者:Zoltán Ujhelyi ; Ákos Horváth ; Dániel Varró
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2011
  • 卷号:38
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:Model transformation is seen as a promising approach to automate software development and verification, thus improving quality and reducing production costs significantly. However, errors of transformation programs can propagate into the generated artifacts complicating the detection of errors. The current paper proposes a static type checking approach for early detection of typing errors of partially typed transformation programs. The approach describes type safety as constraint satisfaction problems, and uses a dedicated back-annotation mechanism for error feedback.
国家哲学社会科学文献中心版权所有