中文摘要：

对基于双代数途径的面向对象程序中对象行为描述规范与性质验证进行了深入的研究。提出了一种基于多项式函子路径的项演算构造方法，证明了一种项演算特例的共代数簇定理；利用这种项演算给出了一种共代数类规范语言，这种规范语言可融合对代数和共代数的描述，是一种基于双代数途径的描述对象行为规范的方法；研究了基于该规范语言的双模拟证明的共归纳证明原理，给出了一种基于上下文的双模拟证明方法，这种证明方法可作为规范系统的推理规则，使得可在共代数类规范中形式化地证明双模拟关系；扩展了进程演算的双代数语义方法，给出了类型化Pi演算的一个完全抽象且可复合的双代数语义框架；开展了对共代数方法应用的相关研究，探讨了无线传感器网络上的软件开发及软件测试与验证，基于面向方面技术的算法演示以及软件体系结构中的QoS描述等。发表论文16篇，其中在国际期刊发表论文2篇；国内核心刊物发表论文5篇；国际学术会议发表论文8篇；国内学术会议发表论文1篇。发表的论文中1篇被SCI收录，8篇被EI收录，9篇被ISTP收录。