| 基于模态的嵌入式软件动态重构技术研究 |
| |
| 引用本文： | 覃杨森,董云卫. 基于模态的嵌入式软件动态重构技术研究[J]. 计算机科学, 2012, 39(2): 179-182,190 |
| |
| 作者姓名： | 覃杨森 董云卫 |
| |
| 作者单位： | 西北工业大学计算机学院 西安710072 |
| |
| 基金项目： | 国家自然基金重点课题，国家863计划课题 |
| |
| 摘 要： | 终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。
|
| 关 键 词： | 对象 行为等价 共代数方法 终结共代数 强Monads |
Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode |
| |
| QIN Yang-sen , DONG Yun-wei. Research on Embedded Software Dynamic Reconfigurable Technology Based on Mode[J]. Computer Science, 2012, 39(2): 179-182,190 |
| |
| Authors: | QIN Yang-sen DONG Yun-wei |
| |
| Affiliation: | 2(School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,China)1(College of Computer Science and Engineering,South China University of Technology,Guangzhou 510640,China)2 |
| |
| Abstract: | |
| |
| Keywords: | Software architecture Dynamic reconfiguration Mode |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
