【摘 要】
：
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言
【机 构】
：
华侨大学计算机科学与技术学院,清华大学软件学院,桂林电子科技大学计算机与控制学院
【基金项目】
：
国家自然科学基金（60763004）, 中国博士后科学基金（20090450389）, 广西科学基金（桂科自0991242）, 广西青年科学基金（桂科青0728090）, 广西研究生教育创新计划项目（2008105950812M424）资助
论文部分内容阅读
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK（一种我们开发的符号化模型检测工具）输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支
其他文献
当前,对网络安全的整体态势进行定量分析是解决网络安全预警和防范的重要手段。通过对网络安全量化过程进行分析,提出了网络安全量化系统的功能结构,给出了相关量化分析技术,
提出一种基于多分辨Fourier-Mellin的剪纸纹样识别算法。该算法先对剪纸纹样图像进行Fourier-Mellin变换,再对变换后的图像通过小波变换计算出各层方差和均值,得到剪纸纹样不同子带的特征值,应用支持向量机对剪纸纹样进行识别。实验证明,该方法不仅具有平移、旋转和尺度不变性,而且适用于有夸张艺术变形的剪纸纹样识别。
针对不确定性对成本估算的影响,提出了运用模糊理论来估算软件开发成本。通过对模糊理论估算公式的原理描述与数学推导,创建了数学模型,给出了确定隶属函数和计算贴近度的方
针对现有恶意软件检测方法的不足,提出一种采用免疫原理的恶意软件检测方法。该方法采用程序运行时产生的IRP请求序列作为抗原,定义系统中的正常程序为自体、恶意程序为非自
介绍了墙地砖平整度检测的基本原理，提出了一种基于高精度反射式激光位移传感器的墙地砖平整度在线检测系统的设计方案，给出了具体的软件与硬件实现方法，并对检测系统的性能进行
从人体声发射技术与医学检测的特点出发，将人体骨科疾病的诊断和人体声发射结合起来，提出了具体的研究问题和解决手段。通过BL-420生物机能实验系统采集人体骨骼中的声发射信号
无线传感器网络(W SNs)能够实时监测和采集网络分布区域内的各种检测对象信息,有着广泛的应用前景。在W SNs中,节点定位技术是许多应用的支撑技术,定位的准确性直接关系到传感器节点采集数据的有效性。目前,已提出多种定位算法,Euc lidean算法由于通信开销小,具有一定的优越性,但在某些应用中存在定位精度较低的问题。针对这一问题,提出了一种新的改进Euc lidean的算法。用距离矢量路由技术
钢缆在线检测时，钢缆与检测设备之间相对运动，钢缆中产生的涡流严重影响缺陷定量检测的精度。采用电磁场有限元专业软件，选择二维轴对称柱坐标系，创建钢缆缺陷检测结构的几何实体
随着Web服务的高速发展和广泛应用,如何在众多的Web服务中找出用户所需要的Web服务成为了一个关键的问题。在语义Web服务研究的基础上,提出了一种新的多阶段匹配的语义Web服
针对多跳无线传感器网络能量受限的特点，以提高网络寿命为目标，建立基于最大最小节点寿命的线性规划网络模型。当传感器节点失效时，根据网络的拓扑结构动态更新节点的路由。仿真