基于COOZ对UML的类结构的形式化

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户：baihe143

【摘要】

：

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点.一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析.统一模型语言(UML)是

【作者】

：

庞军王云峰郑国梁

【机构】

：

南京大学计算机科学系,南京,210093南京大学软件新技术国家重点实验室,南京,210093;

【出处】

：

计算机工程与应用

【发表日期】

：

2004年期

【关键词】

：

统一模型语言UML COOZ 面向对象的模型

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点.一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析.统一模型语言(UML)是为建立统一的面向对象开发方法的有益偿试,它是在已有的三大OO方法学的基础上抽象出来的模型语言.文章结合作者正在进行的对Z语言的OO扩展COOZ,对UML的类层次结构进行精确的形式化描述.

其他文献

CORBA对象联编技术研究

以CORBA为代表的分布对象计算技术已成为网络计算时代的主流技术，研究与实现符合CORBA规范的ORB软件有着极高的理论价值与广阔的应用前景。CORBA对象联编是影响ORB软件性能、

期刊

CORBA对象联编ORBase软件

高职院校大学生马克思主义信仰教育研究

教育的关键是使受教育者树立正确的价值观，而信仰则是价值观的灵魂。信仰和知识一样可以通过教育传承。解决好大学生的信仰问题，才能把他们培养成社会主义事业的接班人。对于高

学位

高职院校大学生马克思主义教育

并行软件功能规约的组合语义方法

文章提出了一种将代数语义、Hoare逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法.其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoare逻辑描述功能、UNITY逻

期刊

并行软件组合语义代数语义Hoare逻辑UNITY逻辑

提高小学美术课堂教学效率的有效方法分析

美育是不同于智育的教育范畴,而小学美术正是学生在美育培养过程中的重要阶段,它不仅能为学生对于美的理解和感悟打下基础,还能在学生的成长学习过程中形成一种艺术感悟力。

期刊

人口老龄化对宁夏经济发展的影响研究

人口老龄化已成为国内外共同关注的人口课题,2000年我国开始进入人口老龄化社会,其程度在不断加深,截止2015年65岁及以上人口占总人口的比重已达到10.5%,因此相应的研究也在

学位

宁夏人口老龄化经济发展对策建议

CIMSNET支持的敏捷制造模式研究

现代集成制造系统网络(CIMSNET) 是由国家科委和CIMS主题组组织建立的一个多子网集成的应用网络体系.文章描述了该网支持的信息获取与发布、远程教学与监控、制造服务网络化

期刊

敏捷制造快速原型集成制造系统网络

基于COOZ对UML的类结构的形式化

其他学术论文