面向服务的多参与者协调事务建模方法

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户：ericchenfeng

【摘要】

：

为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web services transaction，WS—TX），提出了一种由业务

【作者】

：

闫艳黄志球袁敏沈国华

【机构】

：

南京航空航天大学信息科学与技术学院

【出处】

：

计算机科学与探索

【发表日期】

：

2011年4期

【关键词】

：

WEB服务协调 PI-演算 Web service coordination Pi-calculus

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web services transaction，WS—TX），提出了一种由业务流程执行语（business process execution language，BPEL）自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法，阐述了如何由BPEL描述的业务流程建立服务协调事务模型，进一步给出了自动生成该协调模型的算法描述，并通过具体实例说明了该方

其他文献

小学品德课教学的生活化路径

小学品德课教学生活化路径的实现，不仅能将小学品德课程教学变得立体化，加深学生对教学内容的印象，同时还能通过一些熟悉的生活场景，创造更多实践和练习的机会，从而使品德课中的素质教育深入学生生活的方方面面，落实小学阶段品德课程教学的教育价值和引导意义。　　一、小学品德课生活化路径　　所谓生活化路径，指的是在教学过程中，从教学目标、教学内容以及教学训练等方面加入生活实际场景，让单一的教学理论变得更加接地气

期刊

品德课教学品德课程教学组织形式自身教学经验情景创设思想品德教学能将情景模拟新课导入选择材料

少教多学在小学数学教学中的应用

＂以生为本,一切为了每一位学生的发展＂是新课程的最高宗旨和核心理念。在传统的小学数学教育中,教师是教学的中心,教师在教学中起主导作用。小学数学旧版课本编排以＂例题—法则

期刊

自主学习小学数学教育学在从属地位内在积极性数学新课程数学运算中起加法交换律初步知识

现代化教学提高中职书法有效性的实践与思考

＂西方的艺术是雕塑,东方的艺术是书法＂。对于中职生而言,书法不仅能修身养性,更对日后学生就业、职业发展有所裨益。遗憾的是,传统的书法教学模式难以使学习、训练的情趣高涨,

期刊

中职书法现代化教学有效性

遗传演化SPA流失预测算法及并行化

随着电信行业竞争日益激烈,基于数据挖掘的客户流失预测对于电信运营商提升客户服务质量具有重要意义。为提升客户流失预测效率和提高预测模型的泛化能力,引入人工智能的遗传

期刊

流失预测复杂网络数据挖掘遗传演化云计算churn prediction complex network data mining genetic

面向服务的多参与者协调事务建模方法

与本文相关的学术论文