软件构件的精化、组合和粘合理论研究

基本信息
批准号:60970031
项目类别:面上项目
资助金额:30.00
负责人:詹乃军
学科分类:
依托单位:中国科学院软件研究所
批准年份:2009
结题年份:2012
起止时间:2010-01-01 - 2012-12-31
项目状态: 已结题
项目参与者:ZhimingLiu,DimitarP·Guelev,董如振,赵恒军,王子桢
关键词:
构件和对象系统形式模型UMLrCOS
结项摘要

基于构件和对象方法被认为是解决开发大型复杂软件的有效方法,并已经在软件工程中获得巨大成功。然而,基于构件和对象方法缺乏坚实的理论基础,例如,人们还不能完整地定义对象语言的语义;也没能给出UML一个标准的形式语义,虽然UML已经在工业界广泛使用。上述理论缺陷导致构件的理论和方法不支持面向对象设计和实现,而面向对象的理论未提供接口的模型来支持黑箱组合。对象本身不支持组合。为了解决构件和对象系统理论问题,何积丰和刘志明等使用Hoare和何积丰的统一程序理论(UTP)给出构件和对象系统一个语义模型,叫rCOS。rCOS已在国内外获得好评。然而rCOS理论缺乏一个关于构件组合、精化 及协调的完整理论,不能有效地处理粘合代码;rCOS的语义亦不能表达实时等一些非功能性需求等。本项目将重点研究这些问题,从而建立一个构件和对象系统的理论基础。

项目摘要

如何对基于构件和对象的软件开发方法给出坚实的理论基础,是计算机软件理论中的一个重要挑战。本课题深入研究了软件构件的精化、组合和粘合理论。对rCOS模型进行了系统的总结和改进,提出了新的基于交替模拟的构件精化理论,在对开放式系统的形式化开发方面有了很大的创新。我们还提出了构件接口自动机模型,对构件间非阻塞地组合和粘合提供理论依据,并尝试在此模型中扩充实时约束,研究实时构件的组合。另外,我们提出了基于图的面向服务和面向对象程序的分析和验证方法。.在本课题的资助下,我们还进行了其它相关工作的研究,比如混成系统的建模与验证,模型检测与模态逻辑等,取得了阶段性成果。

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

EBPR工艺运行效果的主要影响因素及研究现状

EBPR工艺运行效果的主要影响因素及研究现状

DOI:10.16796/j.cnki.1000-3770.2022.03.003
发表时间:2022
2

一种基于多层设计空间缩减策略的近似高维优化方法

一种基于多层设计空间缩减策略的近似高维优化方法

DOI:10.1051/jnwpu/20213920292
发表时间:2021
3

复杂系统科学研究进展

复杂系统科学研究进展

DOI:10.12202/j.0476-0301.2022178
发表时间:2022
4

二维FM系统的同时故障检测与控制

二维FM系统的同时故障检测与控制

DOI:10.16383/j.aas.c180673
发表时间:2021
5

扶贫资源输入对贫困地区分配公平的影响

扶贫资源输入对贫困地区分配公平的影响

DOI:
发表时间:2020

詹乃军的其他基金

批准号:91418204
批准年份:2014
资助金额:170.00
项目类别:重大研究计划
批准号:60573007
批准年份:2005
资助金额:24.00
项目类别:面上项目

相似国自然基金

1

构件化软件的在线演化技术研究

批准号:60103001
批准年份:2001
负责人:王千祥
学科分类:F0203
资助金额:17.00
项目类别:青年科学基金项目
2

数学规化和组合最优化的理论.算法及软件

批准号:18670521
批准年份:1986
负责人:越民义
学科分类:A0406
资助金额:1.50
项目类别:面上项目
3

面向可靠性的软件构件选择和模块化设计理论和方法

批准号:71302051
批准年份:2013
负责人:牟立峰
学科分类:G0108
资助金额:19.00
项目类别:青年科学基金项目
4

导出范畴的粘合和同调约化

批准号:11401397
批准年份:2014
负责人:陈红星
学科分类:A0104
资助金额:22.00
项目类别:青年科学基金项目