• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Asia-Pacific Software Engineering Conference >Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement
【24h】

Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement

机译：使用微图和细化来表征规格的声音可视化

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

For validation or for communication with a client, it is useful to create a visualisation of a specification. It is important that the visualisation does not mislead the user. In this work we look at how to characterise the conditions for a micro-chart visualisation to be sound. This is done by introducing a new operator to the micro-chart semantics, allowing us to use Z data refinement to find a refinement relation between a Z specification and its (claimed sound) micro-chart visualisation. If the relation does not hold, then the visualisation is not sound.
机译：对于验证或与客户进行通信，创建规范的可视化非常有用。可视化不要误导用户，这一点很重要。在这项工作中，我们着眼于如何表征微图可视化产生声音的条件。这是通过向微图语义引入新的运算符来完成的，从而允许我们使用Z数据细化来查找Z规范与其（声明的声音）微图可视化之间的细化关系。如果该关系不成立，则可视化效果不佳。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号