搜索到240篇“ 共代数“的相关文章
- 对象行为等价的终结共代数语义被引量：1
- 2012年
- 终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。
- 余珊珊李师贤苏锦钿
- 关键词：行为等价
- 一种基于共代数的面向对象形式语义被引量：1
- 2011年
- 针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。
- 余珊珊李师贤苏锦钿
- 关键词：面向对象方法形式语义
- 共代数模态逻辑研究述评
- 2011年
- 共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型称为共代数。存此基础上，1996年，巴威斯（J．Barwise）和莫斯（L．Moss）讨论了各种包含循环性和自参考概念的现象，
- 李娜王湘云
- 关键词：逻辑研究计算机科学WELL逻辑学
- 基于组件的嵌入式软件系统的共代数模型
- 近年来，随着嵌入式系统结构的日益复杂化，传统手工式的嵌入式软件开发方法已经不能适应市场的需求。基于组件的软件工程方法在通用领域的大量成功应用使得人们开始将目光转向其在嵌入式系统构造中的应用。由于嵌入式系统实时性、资源有限...
- 张旅
- 关键词：软件工程嵌入式软件系统形式化开发
- 文献传递
- 软件组件的共代数语意
- 2010年
- 基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用。为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件的形式化语意进行定义。文中提出了一种基于共代数概念的语意,使得满足接口和组件规约的组件对应于一个具体的共代数,并由此推导出了接口和组件的功能契约的形式语意以及接口依赖的共代数语意。通过对一个简单的堆栈进行规约,体现了这种方法的可应用性。
- 张旅冯刚
- 关键词：软件组件共代数
- 共代数逻辑及其应用的初步研究
- 共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面向对象设计语言等。目前，共代数方法已经被证明是研究状态系统的行为性质的可行途径。
模态...
- 杨应宝
- 关键词：共代数模态逻辑
- 文献传递
- 基于共代数的流演算研究
- 代数方法从“构造”的角度研究抽象数据类型的语义，并且已经在抽象数据类型、计算机语言的形式语义等领域有了广泛的应用。而代数的对偶概念—共代数，从上世纪90年代以来，才得到计算机学者的广泛关注，并逐步成为理论计算机科学的研究...
- 崔振
- 关键词：共代数代数方法抽象数据类型计算机语言
- 文献传递
- 子共代数与共同余共关系被引量：1
- 2006年
- 共代数方法是近几年来理论计算机科学的研究热点之一,在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用.以范畴理论为工具讨论子共代数的性质,特别是集合范畴上的子共代数的性质,证明了集合范畴上的子共代数都是正则子共代数.进一步利用共同余共关系与子共代数之间的对应,给出了集合范畴上共生成子共代数的一种构造方式.
- 周晓聪舒忠梅
- 关键词：共代数
- 基于共代数的确定型有穷自动机研究
- 共代数理论自从20世纪90年代以来，已经得到广泛的研究和应用，越来越引起计算机研究人员的关注，已经成为理论计算机科学的研究热点之一。目前，集合范畴上的共代数研究已经趋向成熟，共代数方法也在计算机科学中得到了初步的应用。
...
- 王金陈
- 关键词：范畴论共代数自动机正则表达式
- 文献传递
- 共代数方法及其在面向对象技术中的应用
- 如今面向对象软件开发技术已广泛应用于软件系统的设计与构造，面向对象范型是对客观世界活动的自然刻划，其中的对象是对客观世界中有形或无形实体的直接模拟。作为面向对象系统组织结构的核心，类代表了对象本质的、主要的、可观察的行为...
- 张鹏
- 关键词：面向对象范型形式化方法共代数互模拟
- 文献传递
相关作者
- 苏锦钿
- 作品数：80被引量：144H指数：8
- 供职机构：华南理工大学
- 研究主题：范畴论 向量 上下文信息 递归 自然语言处理
- 余珊珊
- 作品数：22被引量：74H指数：5
- 供职机构：广东药科大学
- 研究主题：递归 范畴论 共代数 代数 双代数
- 周晓聪
- 作品数：92被引量：148H指数：7
- 供职机构：中山大学信息科学与技术学院
- 研究主题：离散数学 面向对象 源代码 抽象语法树 代码
- 李师贤
- 作品数：105被引量：485H指数：9
- 供职机构：中山大学信息科学与技术学院
- 研究主题：面向对象 软件开发 CORBA PETRI网 语义
- 王金陈
- 作品数：3被引量：2H指数：1
- 供职机构：中山大学
- 研究主题：共代数 计算机科学 计算机 代数方法 数学理论
