一种基于共代数的面向对象形式语义

被引：1

作者：

余珊珊 ^{[1
]}

李师贤 ^{[1
]}

苏锦钿 ^{[2
]}

机构：

[1] 中山大学信息科学与技术学院

[2] 华南理工大学计算机科学与工程学院

来源：

计算机科学 | 2011年 / 38卷 / 08期

基金：

广东省自然科学基金;

关键词：

面向对象方法; 形式语义; 共代数方法; 强Monads;

D O I：

暂无

中图分类号：

TP301.2 [形式语言理论];

学科分类号：

080201 [机械制造及其自动化];

摘要：

针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。

引用

页码：142 / 146

页数：5