【摘 要】
：
为使B2B应用或者其他涉及多个独立参与方的Web应用能完成一个共同的业务目标,参与方服务之间的正确交互是至关重要的,各方必须在开发自己的服务系统之前在交互协议上达成一致
论文部分内容阅读
为使B2B应用或者其他涉及多个独立参与方的Web应用能完成一个共同的业务目标,参与方服务之间的正确交互是至关重要的,各方必须在开发自己的服务系统之前在交互协议上达成一致。由于非形式化的协议不能有效支持分布式的开发,W3C提出了WS-CDL语言,以从全局的观点描述彼此交互的多个参与方的协作的可观察行为。但是WS-CDL还很不成熟,其中提出的编排等概念还缺乏深入研究。关于如何从全局观点描述多方参与的业务流程,如何开发描述这种流程的编排等问题,理论和实现的研究都还很少。尤其对涉及到复杂的控制结构的编排,比如协作式异常处理、异常传播、终结活动和通道传递等,更缺乏深入研究。
本文的工作以这些问题为动机,研究了复杂编排的开发和组织问题。为方便描述和讨论,论文中首先定义了一个涵盖WS-CDL语言的主要特性的模型语言,用于编排实例的规范描述。论文的主要部分讨论了几个包含复杂流程的编排的开发情况。在这些开发中,我们特别关注编排语言中丰富的控制流结构、编排描述的组织和流程控制技术的实际应用,通过良好的设计,使开发出的编排清晰易读,具有良好的结构性和可重用性。
根据用模型语言描述的编排规范,我们进一步用Pi4SOA工具的编排描述设计器和场景设计器开发编排和场景,通过静态检查和场景的动态模拟,可以发现编排设计中的一些问题。
本文最后结合上述工作的实践,讨论了一些如何开发出正确的设计良好的编排的方法。讨论在工作中发现的Pi4SOA系统在场景模拟中对异常传播和终结活动等实现上的Bug。最后结合我们的经验,提出了一些改进编排语言设计和支持工具的建议。
其他文献
本文分为五部分：之一是将廖山涛先生的关于准双曲轨道的跟踪引理实现到具有极限控制分解的C1非一致双曲系统的几乎处处的轨道上；之二是在控制分解的条件下得到了Pesin熵公式，并
初识魏列祥,一身便装,两鬓染霜,朴素敦厚,热忱爽朗。然而你怎么也不会相信,这个年届七十、只读过两年书的老人,竟获得了国家学术成果奖。魏列祥是皋兰县卫生局的退休干部。
2003年11月28日,由总行党委主办,党委宣传部、系统工会和团委承办的学习“三个代表”重要思想知识竞赛在北京落下帷幕、经过预赛、复赛和决赛的激烈角逐,山东分行代表队获一
本文主要运用分析的方法给出半直线上一维扩散混合边界(Neumann边界和Dirichlet边界)的第一特征值估计(包括爆炸和非爆炸两种情形),运用逼近程序结合变分公式得到了特征值的
本文主要包括四个部分，第一部分介绍了巴塞尔新资本协议的三大支柱：最低资本要求、监管当局的监督检查和市场约束，重点介绍了最低资本要求中处理信用风险、操作风险和市场风险的
随着信息技术的迅猛发展以及海量数据的大量涌现,多维分类问题成为数据挖掘领域的一个研究热点.本文正是围绕多维分类问题而展开研究的.贝叶斯网络是一种概率图模型,常用于不
本文讨论模型检验技术及其在Web服务编排中的应用。
Web服务编排从全局角度描述Web服务组合。编排的最基本行为是两个参与方之间的一次交互，编排将涉及到多个参与方的各
软件质量评估是保障软件可信性的关键技术之一，软件质量评估技术主要包括质量模型和评价方法。国际标准化组织1991年颁布了ISO9126-1991标准《软件产品评价-质量特性及其使用
摄像机的标定是计算机立体视觉中最重要的步骤之一，目前已经成为计算机立体视觉研究领域中的热门。因此要利用拍摄到的二维图像精确地构造三维物体，或是应用在精密测量以及空间
不确定推理是人工智能的重要研究领域,其中基于统计关系模型的不确定推理方法是不确定推理中的一个重要研究分支。马尔科夫逻辑网作为一种新的统计关系模型,它具有能进行逻辑