| 本文已被：浏览 3802次 下载 292次 |
码上扫一扫！ |
|
|
| 对象演算Ⅱ |
|
黄涛1,2, 钱军1,2, 王栩1,2
|
|
1.中国科学院软件研究所计算机科学开放研究实验室,北京,100080;2.中国科学院软件研究所对象技术中心,北京,100080
|
|
| 摘要: |
| 文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统. |
| 关键词: 结构化对象演算,institution,Ω-理论,对象系统,对象精化. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| Object Calculus Ⅱ |
|
HUANG Tao,QIAN Jun,WANG Xu
|
| Abstract: |
| In this paper, some important theories of structured object calculus using the results contributed by Goguen are proved. These theories ensure to build up the description of new objects from the description of the existing objects and verify the global system with theories deduced from existing objects as lemma. In addition, the object reification on the basis of object encapsulation is studied, and a structured object calculus is achieved. |
| Key words: Structured object calculus, institution,Ω-theory, object system, object reification. |
