Web服务业务流程一致性验证

来源 :计算机应用研究 | 被引量 : 3次 | 上传用户:qqjianshen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规
其他文献
随着我国高等教育大众化进程的日益加快,以职业技能培养为依托的应用型大学在高等教育体系中占有越来越重要的地位,而综合实践教学课程是应用型大学提高学生职业技能的必修内容
暑期社会实践是大学生思想政治教育的重要途径.是大学生素质教育的重要组成部分.对大学生的成长成才起到积极的推动作用。本文结合作者的工作实际.以东莞理工学院开展此项活动的
随着高校招生规模的扩大,师资问题越来越突出,如何完成巨大的毕业设计指导工作是必须探讨的一个问题,根据机械工业发展趋势,联系学校发展现状,以机械设计制造及其自动化专业学生为
提出了一种基于H.264/AVC低比特率视频流的快速半脆弱水印算法。该算法一方面将I帧DCT量化残差矩阵能量值E的大小作为嵌入鲁棒水印的判决条件,以增强水印的鲁棒性和透明性,降低对编码比特率的影响;另一方面通过限制P帧运动矢量的搜索范围和估计精度嵌入脆弱水印,以提高水印嵌入的实时性。鲁棒水印与脆弱水印相结合有效地实现视频版权保护和内容完整性认证。实验结果表明,该算法实时性高、复杂度低,具有较好的率
传统的场景分割方法中往往通过比较关键帧来测量镜头间的相似度而忽略了镜头内的时域信息,针对这种缺陷提出一种基于主色跟踪和质心运动的视频场景分割的方法。首先,在量化的HSV空间中,利用主色跟踪所得镜头的时间信息结合帧颜色直方图得到镜头的主色直方图,并且引入镜头质心特征向量的概念,通过其与帧向量的差异性获得镜头的运动信息;然后将所测得的镜头相似度用在改进的双向滑动窗口法中检测场景。实验结果验证了该方法的