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

摘要：

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

关键词：面向对象方法、形式语义、共代数方法、强Monads

所属期刊栏目：38

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60673122;广东省自然科学基金资助项目8151030007000002

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：142-146