对象行为等价的终结共代数语义

• 作者: 余珊珊 李师贤 苏锦钿
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 对象 行为等价 共代数方法 终结共代数 强Monads
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 179-182,190
• 分类号: TP301.2
• 字数: 5791字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.02.041

摘要

终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法.首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述；接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义；最后,通过实例说明如何利用PVS工具对研究结果进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李师贤	中山大学信息科学与技术学院	66	914	13.0	29.0
2	余珊珊	中山大学信息科学与技术学院	15	86	5.0	9.0
3	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0