一种扩充的π-演算及事务性等价关系研究 |
| |
作者姓名: | 袁敏 黄志球 曹子宁 肖芳雄 |
| |
作者单位: | 南京航空航天大学信息科学与技术学院,南京,210016 |
| |
基金项目: | 国家自然科学基金项目(60873025);;湖南省自然科学基金项目(09JJ3114);;湖南省教育厅重点基金项目(08A064) |
| |
摘 要: | 为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过于复杂的语法和迁移规则不利于对事务特性的进一步分析.在不增加新的操作算子的前提下,引入事务膜的位置概念来表示事务作用域,将进程的交互动作与消息相对事务膜的传递过程相关联,对π-演算进行扩充.结合进程行为的事务依赖性,提出了一种弱事务性开互模拟,来刻画可见事务行为的等价关系,利用互模拟等价理论分析了弱事务性等价关系的基本性质,为研究Web服务的事务特性提供了理论基础.
|
关 键 词: | Web服务 π-演算 膜活动 等价事务 互模拟 |
本文献已被 CNKI 万方数据 等数据库收录! |
|