基于双代数的对象行为规范及其应用研究

计算机科学中的共代数方法是理论计算机科学新兴的研究领域之一。本项目在项目组近年对共代数方法及其范畴论研究的基础上，进一步深入探讨共代数方法的最新研究思路- - 基于双代数的形式语义研究，并结合自动机与Kleene代数、进程代数、函数式程序验证等相关理论，对面向对象的类和对象行为规范进行研究，提出一套基于双代数方法的对象行为描述、验证与求精方法，并力图将其扩充到对构件行为规范的研究；在这些研究的基础上，将基于双代数的行为规范方法用于面向对象程序性质的验证与求精，并在软件体系结构的形式化方面作一些探索工作。本项目的研究对于面向对象技术以及软件体系结构的形式化及应用有十分重要的理论意义和应用价值。