Web事务的模型和语义研究
基本信息
批准号：90718004
项目类别：重大研究计划
资助金额：50.00
负责人：朱惠彪
学科分类：
依托单位：华东师范大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：杨宗源,陈一峯,吕钊,徐启文,毛宏燕,谢瑾奎,曾万聃,李晶,李钦
关键词：
程序分析与验证形式语义Web事务处理语义一致性
结项摘要
Web事务近年来得到工业界和学术界的极大重视，相应的模型与语义分析是研究Web事务处理机制的关键。与传统的数据库事务不同，Web事务是一种长时间运行，资源占用率高，涉及多用户交互的工作流系统。因此，传统的事务处理技术不再适用，本项目采用补偿机制来保证Web事务的原子性和一致性，并基于补偿操作构造多种组合算子，从而建立高可信、高性能的事务模型。鉴于Web事务处理机制的复杂性，该研究结合形式语义学的方
项目摘要
项目成果
{{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.11842/wst.20190724002
发表时间：2020
3
具有随机多跳时变时延的多航天器协同编队姿态一致性
具有随机多跳时变时延的多航天器协同编队姿态一致性
DOI：10.7641/CTA.2018.70969
发表时间：2018
4
A tale of two databases: the use of Web of Science and Scopus in academic papers
A tale of two databases: the use of Web of Science and Scopus in academic papers
DOI：10.1007/s11192-020-03387-8
发表时间：2020
5
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
DOI：10.7498/aps.68.20181682
发表时间：2019
朱惠彪的其他基金
批准号：61872145
批准年份：2018
资助金额：63.00
项目类别：面上项目
相似国自然基金
1
面向Web服务协作的松弛事务模型研究
批准号：60773028
批准年份：2007
负责人：钟华
学科分类：F0202
资助金额：28.00
项目类别：面上项目
2
统一的语义Web内容生成模型研究
批准号：60703059
批准年份：2007
负责人：唐杰
学科分类：F0203
资助金额：21.00
项目类别：青年科学基金项目
3
视觉语义的Web统计模型及理解深化
批准号：61472103
批准年份：2014
负责人：姚鸿勋
学科分类：F0210
资助金额：80.00
项目类别：面上项目
4
语义Web的无尺度网络模型及高性能语义搜索算法研究
批准号：60503018
批准年份：2005
负责人：陈华钧
学科分类：F06
资助金额：23.00
项目类别：青年科学基金项目