膜活动相关硕士博士期刊学术论文

为了保证web服务事务获得正确的执行和一致的结果，对Web服务事务处理的形式化研究是很重要的．现有研究集中在事务的建模和协议验证上......