论文部分内容阅读
为了形式化描述复杂的长事务处理过程，在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上，提出了一种扩展的π演算模型，该模型不仅刻画出长事务的处理机制，而且解析了长事务的出错及补偿机制，使长事务处理过程更加清晰和直接.
基于扩展π演算的长事务处理形式化描述
【摘 要】
：
为了形式化描述复杂的长事务处理过程，在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上，提出了一种扩展的π演算模型，该模型不仅刻画出长事务的处理机制，而且解析了
【机 构】
：
江西理工大学信息工程学院
【出 处】
：
江西理工大学学报
【发表日期】
：
2008年4期
【基金项目】
：
江西省教育厅科技资助项目（赣教技字[2007]208号）
其他文献
我国政工的工作无论在革命岁月还是当前和平岁月都有重要意义，尤其是在当前我国经济快速发展，经济形势和文化多样化趋势明显的今天。本文分析了政治思想工作的重要性和地位，并对
记者2009年12月11日从财政部获悉，为保证2010年春季开学后农村中小学正常运转，中央财政近日预拨了2010年春季学期各省（区、市）农村中小学公用经费转移支付资金156．6亿元。
以异丁醇、氢氧化钠、二硫化碳为原料,在溶剂二氯甲烷中合成异丁基黄原酸钠,经元素分析、核磁共振氢谱及碳谱、红外光谱分析,证实所得产物即为目标产物.考察了物料配比、溶剂
记者从农信银资金清算中心获悉，山西省农村信用社联合社核心业务系统于7月3日已正式接入农信银支付清算系统。至此，全国30家省级农村合作金融机构及深圳农村商业银行的核心业务
自1999年开始连续多年全国高考作文改为话题作文以米，话题作文就在全国热了起来，走向初中，影响小学，逐渐向低龄化进军，成为中国作文命题的大趋势，话题作义的优势体现在：它是自由的作
煤矿井下动力主要由电缆供电,开关操作产生的瞬态脉冲将通过电缆对井下电磁环境产生影响.以电快速瞬变脉冲群脉冲电流作为电小环的激励源,运用电磁场理论建立电小环的瞬态辐
著名学教育家吕叔湘先生对语文教学精辟地总结：“成功的教师之所以成功，是因为他把课教活了。”“活”不仅是课堂上热闹活跃，“活”应当表现为充分体现语文学科的基本性质和汉语
本文分析了开发高校旅游专业英语课程资源的必要性,阐述了开发高校旅游专业英语课程资源的障碍因素及解决办法,提出了开发高校旅游专业英语课程资源的若干策略。
对赣州市河流底质中6种重金属进行潜在生态风险评价及形态分析．结果表明，底质中As、HgN强危害程度，Cu为中等危害程度，Ni、Cr、Zn为轻微危害程度；市自来水厂、茶滩、大余新城点位的