摘要
文章应用Goguen 等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.
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.
出处
《软件学报》
EI
CSCD
北大核心
1999年第9期941-951,共11页
Journal of Software
基金
国家自然科学基金
国家863 高科技项目基金
关键词
结构化
对象演算
Ω-理论
形式语义理论
Structured object calculus, institution,Ω theory, object system, object reification.