一种基于过程图模型的编译优化测试程序自动生成方法

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

BPEL流程监视的可视化实现

When a BPEL process is executed,it is necessary to dynamically monitor the process.BPEL is a executable language,which is not suitable for visual monitoring.On the other hand,BPMN is designed to visually describe business process and is more intuitive for monitoring.To visually monitor a BPEL process, transformation from BPEL to BPMN is necessary.However,current study of transformation from BPEL to BPMN does not support the transformation of"link"activity.Besides,no work has been done to add supplementary information into BPMN during transformation.In this paper,we transform nested BPEL process into a flat BPMN process graph without hierarchy through applying a flattening strategy.Especially, we analyze various scenarios of the transformation of link activity,and provide a method to deal with it. Besides,we analyze the mapping between BPEL activities and BPMN graph,through which we found out that some supplementary information cannot automatically obtained from BPEL process.These supplementary information need to be added during transformation.At the end of this paper,we present the structure of our monitoring tool which is based on our transformation algorithm.