面向分布式软件开发的软构件协同计算模型及形式化验证
基本信息
批准号：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
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
2
智能煤矿建设路线与工程实践
智能煤矿建设路线与工程实践
DOI：10.13199/j.cnki.cst.2020.07.010
发表时间：2020
3
具有随机多跳时变时延的多航天器协同编队姿态一致性
具有随机多跳时变时延的多航天器协同编队姿态一致性
DOI：10.7641/CTA.2018.70969
发表时间：2018
4
吹填超软土固结特性试验分析
吹填超软土固结特性试验分析
DOI：10.13544/j.cnki.jeg.2014.06.004
发表时间：2014
5
混凝土SHPB试验技术研究进展
混凝土SHPB试验技术研究进展
DOI：10.3969/j.issn.1002-3550.2015.06.010
发表时间：2015
张维石的其他基金
批准号：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
项目类别：地区科学基金项目