Web事务的模型和语义研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

Web事务的模型和语义研究

项目名称：Web事务的模型和语义研究
项目类别：重大研究计划
批准号：90718004
申请代码：F0201
项目来源：国家自然科学基金
研究期限：2008-01-01-2010-12-01

项目负责人：朱惠彪
负责人职称：教授
依托单位：华东师范大学
批准年度：2007

中文摘要：

Web事务近年来得到工业界和学术界的极大重视，相应的模型与语义分析是研究Web事务处理机制的关键。与传统的数据库事务不同，Web事务是一种长时间运行，资源占用率高，涉及多用户交互的工作流系统。因此，传统的事务处理技术不再适用，本项目采用补偿机制来保证Web事务的原子性和一致性，并基于补偿操作构造多种组合算子，从而建立高可信、高性能的事务模型。鉴于Web事务处理机制的复杂性，该研究结合形式语义学的方法对其进行分析和研究，采用三种不同的语义模型（操作语义、代数语义以及指称语义）对Web事务进行精确的语义描述。三种语义模型偏重点各有不同，分别为事务流的模拟、优化、验证奠定了基础。同时，该研究采用UTP的思想讨论了各语义模型间的一致性，为语义模型的正确性提供了形式化保证。此外，在语义研究的基础上，采用模型检查和程序静态分析的技术，开发相应的工具来进一步支持Web事务的可靠性验证。

中文主题词： Web事务处理；形式语义；语义一致性；程序分析与验证

结论摘要：

英文主题词web transaction; formal semantics; semantics consistency; program analysis and verification

成果综合统计