【摘 要】
：
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对B
【机 构】
：
湖南师范大学数学与计算机科学学院,国防科技大学计算机学院
论文部分内容阅读
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。
其他文献
本刊讯 继2014年剑阁县人民政府出台《剑阁县翠云廊古柏自然保护区管理办法》，实现了自然保护区“一区一法”管理后，该县不断加大翠云廊古柏的保护力度。2015年上半年，剑阁县投
针对指挥自动化系统（C4ISR）难以进行有效建模与仿真的问题，本文提出一种基于STAGE的战场指挥自动化仿真方法。首先建立装备对抗双方的指挥控制体系结构，然后在装备平台上配置武器
阿拉伯联合酋长国首都阿布扎比市的一座高楼，在2010年6月6日被吉尼斯世界纪录认证为“全球倾斜度最大的人工建筑”。
本文在分析地质剖面图计算机矢量化现状和存在问题的基础上,提出了快速矢量化煤矿地质剖面图的新思路:首先删除各种岩性符号,保留各层的边界线,最后实现地层边界线的自动矢量化。
本刊讯 1月20日，双流县永安镇巡逻队员、村巡山护林人员组成的森林消防灭火队和县森林公安局队员百余人开展了森林防火演练。此次演练，加强了该镇协同作战、信息化联动调度等应
根据广元市林业和园林局、广元市社会治安综合治理委员会办公室《关于开展平安林区创建活动的通知》的要求。9月13日上午，利州区林业和园林局和利州区综治办对天盟山林场“平
本文利用小波多分辨分析的特性将突变信号进行多尺度分解，然后通过分解后的信号来确定突变信号的突变位置。Lipschitz指数被用来定量描述函数的奇异性。当小波变换尺度越来越
本文对基于SOA技术实现实时ETL过程进行了研究，并提出了一种实时ETL过程解决方案，为政府部门、企业的决策者对实时数据的需求提供了正确的保障决策，并给出了一套完整的系统架构
没有去过长城，但能感触那一种雄伟；没有去过大海，却能体验那一种汹涌。阅读，是一种奇妙的旅行，能让你感受到别样的风景。
近五年来，四川省大渡河造林局组织关员工连续义务植树。在植树前，陔局会认真做好准备，确定植树点、树种，拟定操作要领，