期刊文献+

对象演算Ⅱ 被引量:2

Object Calculus Ⅱ
下载PDF
导出
摘要 文章应用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.
  • 相关文献

参考文献4

  • 1黄涛.对象形式语义理论研究(博士学位论文)[M].合肥:中国科技大学,1994..
  • 2黄涛,钱军,倪彬.Trace演算[J].软件学报,1999,10(8):790-799. 被引量:4
  • 3黄涛,钱军,周桓.对象演算Ⅰ[J].软件学报,1999,10(9):931-940. 被引量:4
  • 4黄涛,博士学位论文,1994年

二级参考文献9

共引文献5

同被引文献6

引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部