【摘 要】
：
虽然BPEL被OASIS组织作为目前Web服务合成的标准语言,它对于合成过程的容错性支持却存在很多不足,特别是没有提供强有力的异常处理机制.提出一种ECA规则驱动的异常处理机制,
【机 构】
：
中国科学技术大学计算机科学与技术系,联合高等研究中心,香港城市大学计算机科学系
【基金项目】
：
国家“九七三”重点基础研究发展计划项目（2003CB317006）资助
论文部分内容阅读
虽然BPEL被OASIS组织作为目前Web服务合成的标准语言,它对于合成过程的容错性支持却存在很多不足,特别是没有提供强有力的异常处理机制.提出一种ECA规则驱动的异常处理机制,可以自动的将用户设定的异常处理逻辑嵌入BPEL流程中,而用户不需要关心复杂的具体实现.并且,考虑到用户的异常处理逻辑通常会被描述成庞大的规则集,本文基于一种描述逻辑提出了对ECA规则的静态语义分析机制,从而可以确保异常处理规则集合是无冗余以及无冲突的.本文所述的异常处理和分析机制已经被实现,并且开发出了相关的GUI工具.
其他文献
国有资本管理体系是混合所有制改革的基础。针对国有集团企业多层级组织结构、多产业板块布局、多业务模块分布的特征,在构建以管资本为主的新型国有资本管理体制基础上,提出
从营业状况、营业领域和企业数量三个方面分析了中国企业在国际承包商市场的现状,得出培养“拥有国际化视野,熟悉国际规则、标准、规范,适应国际化环境,具备国际化竞争力”的
提出一种多agent逻辑程序，每个agent具有一个相信算子，讨论了其不动点语义和操作语义，证明了两种语义之间的等价性．提出了一种基于多agent逻辑程序的协议验证方法，以一种多方非否
将比表面积为400、450、500 m2/kg的钢渣粉进行活性指数试验,并将比表面积为450 m2/kg的钢渣粉与400、450、500 m2/kg三种矿渣粉复合,研究钢渣矿渣复合微粉的活性。试验结果
关于已知△ABC 的三边 a、b、c 求△ABC的面积 S_△、外接圆半径 R、内切圆半径 r,是在解三角形以及立体几何中涉及较多的计算问题.如果注意探索相关元素之间的内在联系,不
英国护士和助产士协会（Nursing and Midwifery Council,NMC）《预注册护理教育标准（2010）》对英国高等护理教育的课程设置、护理专业学生须达到的能力标准要求和资格认证等起着至
1.在索取申请表之前要通过雅思学术类考试,成绩要达到7.0分以上,而且每项（听力、阅读、写作、口语）成绩都要达到7.0分以上。
主要对市政工程项目管理施工中进度控制要点进行了研究,从进度控制的影响因素的方面进行了深入分析,充分思考了资金、人为和环境等因素产生的影响,最后提出应该严格审查施工
本文结合实际工程案例进行分析,查明楼板板角开裂的主要原因,针对不同性质的裂缝,拟定了裂缝的修补方案;同时,提出了预防板角裂缝的措施,望广大同行给予指导。
In this pape
在我国古代小说发展史中,从汉代至高峰的明清时期,以猿猴抢婚为母题的小说几乎从未间断过,其中不少作品蕴含着浓重的道教情结。本文将从猿猴盗妇小说向道教倾向演变的过程、