一种新的工作流模型及其在产品开发过程中的应用

分析了传统工作流模型的不足之处，在此基础上提出了一种新的工作流模型。文章通过定义活动、参入者、工作流、活动实例、过程实例、发送、工作项、工作项列表八个基本概念建立了这种模型的数学描述，介绍了工作流的运行算法。最后给出了这种模型在产品开发过程中的一个应用实例。

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.