卢伦金;金大奎 序列图的精化推理。 (英语) Zbl 1303.68040号 van Emde Boas,Peter(编辑)等人,《SOFSEM 2013:计算机科学的理论与实践》。2013年1月26日至31日,第39届计算机科学理论与实践当前趋势国际会议,Špindlerův Ml \367]n,捷克共和国。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-35842-5/pbk)。计算机科学课堂讲稿7741,432-444(2013)。 总结:精化是软件开发的基础。早期的一项工作基于序列图所需的行为提出了序列图之间的细化关系。在本文中,我们首先通过考虑系统变量赋值和事件隐藏、重命名和替换来推广细化关系。然后,我们给出了一个作为推理规则系统的算法,该算法不仅验证了两个序列图之间的求精关系,而且还导出了这种关系成立的充分条件。该算法利用序列图上的语义保持转换。通过一个案例研究,证明了精化推理的有效性。有关整个系列,请参见[Zbl 1298.68036号]. MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:序列图;序列图的语义;序列图的精化;细化验证;精化推理;序列图转换;模式一致性 PDF格式BibTeX公司 XML格式引用 \textit{L.Lu}和\textit{D.-K.Kim},Lect。注释计算。科学。7741、432--444(2013;Zbl 1303.68040) 全文: 内政部