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
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
朱惠彪的其他基金
批准号：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
项目类别：青年科学基金项目