基于Web的产品工艺分工规划研究

针对制造企业联盟的产品工艺分工问题,研究并开发了基于Web的产品工艺分工规划系统。阐述了工艺分工的设计方法,提出了逻辑制造单元、逻辑加工路线等新概念,并对产品工艺分工系统的体系结构与功能组成,以及基于网络化制造资源的零件与逻辑制造单元建模方法、基于知识的逻辑加工路线设计及可执行加工路线生成方法进行了详细讨论。

基于可执行路径分析的隐藏进程检测方法

研究了内核模式下进程隐藏的原理和进程隐藏检测技术。在此基础上,提出了一种Windows操作系统内核模式下基于可执行路径分析(EPA)的隐藏进程检测技术。通过检查某些关键系统函数执行时所用的指令个数,来判断这些函数是否执行了多余的代码,从而断定系统被Windows Rootkit修改过了。利用该方法,可以检测出当前常规安全检测工具不能发现的系统恶意程序的进程隐藏。

BPEL谓词约束建模及可行路径分析

为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.

A Testing Method for Web Services Composition Based on Data-Flow

This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.

基于Animate的循环嵌套演示动画设计与开发

循环嵌套结构是一种重要的程序设计方法,为形象展示其执行流程,使用ActionScript编写循环嵌套运行过程动画。制作时将循环体执行一次的过程形象化为MovieClip元件沿固定路径运动一周的动画,内循环则抽象为嵌入外循环路径动画中的动画。同时,使用输入文本控制内外层循环次数,实现不同的循环嵌套结构。在C语言和Java程序设计课程教学实践中运用该演示动画后,对学生进行课堂测试和章节测试,结果表明学生循环嵌套结构程序设计的能力显著提升。