基于TLA的Web服务组合研究

来源 :微型机与应用 | 被引量 : 0次 | 上传用户:liuyingbo1988
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点。简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Conversation模型.再将Convemation模型转换为TLA表达式,并给出了具体的算法。
其他文献
采用DDS+FPGA+DAC数字信号激励器硬件电路和数字波形合成软件算法设计实现了宽带信号源所需要的各类信号,覆盖30MHz~1GHz频段,功率达到20W。在完成了具体的设计和实验后实现了样
介绍了TEF6606芯片在车载收音机中的应用,根据车载供电的特点设计电路,实现了省电模式下低功耗操作;利用I^2C总线通信,控制TEF6606芯片相应的寄存器实现数字调频立体声收音功能的
以收音芯片CXA1019为核心,巧妙结合编码技术和单片机技术,实现了一个高灵敏度的无线传输系统。该系统的特色在于将高灵敏度的收音技术与数字技术相融合,使系统具有性能优良、
提出了一种基于颜色的新的图像检索方法。该方法在HSV量化过程中,引入模糊量化的方法,使量化结果更接近人的主观视觉感知。全局直方图由于不包含颜色的空间分布信息,不同的图像可能具有相同的颜色直方图。为弥补这些缺点,还提出了一种新的重叠分块,并对主体区域进行二次划分的方法。实验结果表明,本方法具有良好的检索效果。
介绍了射频卡的硬件结构和工作原理,给出了一套对射频卡进行数据采集和实时处理的软件设计方案,并采用C#语言编写了关键的程序代码。
对目前存在的几类提取关键帧的方法进行了分析,并基于车辆自身特征提出一种新的关键帧提取方法。该算法具有良好的通用性和适应性,计算简单,正确率高,有效避免了冗余,并可以控制关键帧的数量。实验结果表明,该算法在提取关键帧方面具有良好的有效性。
介绍了CMAC网络的控制原理,给出了CMAC网络与PID复合控制的控制器设计步骤,并将该方法应用到某电液位置伺服系统中。仿真结果表明,该方法能获得良好的跟踪性能,具有一定的鲁棒性,
提出了一种应对CDMA系统中有界干扰的鲁棒自适应功率控制算法。仿真结果表明,与传统的功率控制算法相比,该算法性能优越,可以使用户获得更高的信噪比和较低的发射功率,且系统容量
针对高速动态称重中低频动态载荷严重影响真实轴重称量的问题,通过引入无线传感器网络(WSN)技术,构建智能化称重传感器网络,提出了一种测量高速汽车载荷的系统方案及数据处理方法。分析称重系统采集的汽车动态载荷的振动频率,并构建信号模型,通过基于三参数对动态载荷正弦波曲线进行拟合,建立线性方程组,采用高效算法和信息处理得到精确的称重数据。仿真实验结果表明,该方法平均误差低,数据稳定性较高,而且对高速具有
旋转、缩放和平移(RST)等几何攻击能够破坏水印检测的同步性,使得水印检测失败。针对此问题,提出了一种基于图像局部Zemike矩的RST不变零水印算法。Zernike矩的幅度具有旋转不变