【摘 要】
：
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程
【机 构】
：
国防科学技术大学计算机学院,中南林业科技大学涉外学院
【基金项目】
：
国家重点基础研究发展计划资助项目（2005CB321802）, 湖南省教育厅高校教学改革资助项目（2010-428）
论文部分内容阅读
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。
其他文献
<正> 每个城市都拥有一个结构复杂、庞大的地下管网系统。由于地下管线档案管理不善,造成规划无依据,管理凭经验,盲目施工,乱掘乱挖,断电、断水,中断通讯的事故不断发生,经济
中国民间舞龙,不仅是文化艺术展现的一种娱乐时尚,也是一种民族灵魂的载体和民族精神的彰扬.由于各地的历史、环境、经济、文化、民俗、传统观念等的不同,其舞龙的内容形式、
<正> 电子计算机进入城建档案工作领域后,使档案著录、检索、统计等很繁杂的工作实现了自动化,大大提高了工作效率。由于电子计算机对档案的标准化要求较高,在档案前处理过程
提出了一种基于奇异值与提升小波的彩色图像水印算法,该方法首先将彩色图像从RGB空间转换到YUV彩色空间,然后对YUV空间中的亮度分量Y进行提升小波变换,提取出低频分量对其进行奇异值(SVD)分解,最后将水印图像的奇异值嵌入到低频分量的奇异值中。仿真结果表明,该算法不仅具有较好的水印不可见性,而且对常规攻击和几何攻击都具有较好的鲁棒性,且算法简单、运行速度快,能够满足实时和快速的水印应用要求;算法采
<正> 合钢二厂酚氰废水处理站最近在厂区内建废水处理池8个。该处地势虽较平坦,但地质情况较为复杂,属南淝河一级阶地,地下水主要为上层滞水,水量较大。地质构造为:第一层,淤
针对频谱感知的实际应用,在循环平稳理论的基础上,研究了经过脉冲成形滤波器滤波后的MPSK信号的循环谱特性,通过分析有限数据条件下剩余带宽对循环谱估计的影响,提出一种恒包络处理与频域平滑循环周期图结合的符号速率估计算法。仿真表明该方法在有限数据条件下具有良好的性能,而且在剩余带宽较小时,也能有效地估计MPSK信号的符号速率。
在实际通信系统中,较差的信道环境会给接收端的信号检测带来较大难度。为进一步提高恶略环境中信号检测的性能,给出了一种结合格点减少的MMSE-SIC检测算法,通过在格点减少的基础上引入最小圴方误差(MMSE)准则以及连续干扰抵消(SIC)的思想,能够仅以多项式的复杂度接近最优检测算法(最大似然,ML)的性能,并且可以通过采用QR分解进一步降低格点减少算法的复杂度。仿真结果表明,在未编码系统中采用基于格
作为非负矩阵分解的多线性推广,非负张量分解已被成功地应用在信号处理、计算机视觉、数据挖掘和神经科学等领域中。提出了非负张量分解的一种快速算法。首先,将大的张量数据视做多元连续函数的离散化,对其进行采样得到一个小张量;其次,对小张量执行非负分解,可得到它的重构张量;然后,对于采样后的重构张量,使用二维线性插值方法对原始张量进行重构;最后,实验结果表明快速张量分解算法的有效性。
针对如何发挥异构多核处理器的优势从而提高程序执行效率的问题,提出了Cell异构多核处理器上实现线程同步流水并行和迭代同步流水并行两种优化技术,该优化技术可以有效地提高非规则写和控制结构非规则的执行速度。通过在Cell处理器上对NAS benchmarks中的IS、EP、LU以及SPEC2001中的MOLDYN进行测试,结果表明该流水并行方案有效地改善了临界区和flush操作的执行效率,明显地提高了
研究交叉调试工具支持后续功能可扩展的方法,设计并实现了一种可重定向的交叉调试器,使调试命令的处理过程全部运行于调试主机上,并通过调试编程接口实现对不同目标对象的挂接,以实现源码级的调试。使用该方案能够快速地实现针对不同体系架构的交叉调试器,具有开发周期短、性价比高、可移植性好的特点。