面向分布式软件开发的软构件协同计算模型及形式化验证
基本信息
批准号：60573087
项目类别：面上项目
资助金额：23.00
负责人：张维石
学科分类：
依托单位：大连海事大学
批准年份：2005
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：史金余,张秀国,蒋剑平,骆永军,苏波,谢勇毅,杨勇
关键词：
形式规约技术分布式软件开发软构件协同计算
结项摘要
研究分布式软件开发中具有松散耦合特点和协同计算能力的软构件，提高软件体系结构适应需求变化的能力。研究可重用的软构件之间的协同计算模型，采用形式规约技术及其提供的证明机制对模型进行形式化描述与正确性验证。建立相关的软构件协同计算模式库和分布式协同计算软构件库，提高分布式软件开发的效率和质量。设计并开发基于软构件协同计算模型的软构件协同工作支持环境，辅助基于构件的分布式协同软件开发。开展面向分布式软件
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
涡度相关技术及其在陆地生态系统通量研究中的应用
涡度相关技术及其在陆地生态系统通量研究中的应用
DOI：10.17521/cjpe.2019.0351
发表时间：2020
2
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
3
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
端壁抽吸控制下攻角对压气机叶栅叶尖 泄漏流动的影响
DOI：
发表时间：2020
4
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
5
结核性胸膜炎分子及生化免疫学诊断研究进展
结核性胸膜炎分子及生化免疫学诊断研究进展
DOI：10.3760/cma.j.issn.1674-2397.2020.05.013
发表时间：2020
张维石的其他基金
批准号：69973009
批准年份：1999
资助金额：11.00
项目类别：面上项目
相似国自然基金
1
面向语义约束的协同过程形式化建模与验证的研究
批准号：60863015
批准年份：2008
负责人：周建涛
学科分类：F0207
资助金额：25.00
项目类别：地区科学基金项目
2
复合材料损伤构件颤振速度计算新模型及其软件开发
批准号：11672362
批准年份：2016
负责人：傅向荣
学科分类：A0813
资助金额：52.00
项目类别：面上项目
3
经典-量子协同计算：形式化模型、计算复杂性与模型检测
批准号：61472452
批准年份：2014
负责人：李绿周
学科分类：F0201
资助金额：83.00
项目类别：面上项目
4
云计算环境下基于不变式的并发分布式算法形式化验证方法研究
批准号：61762049
批准年份：2017
负责人：王昌晶
学科分类：F0203
资助金额：38.00
项目类别：地区科学基金项目