延迟绑定任务间相互依赖型业务流程的建模与实现

使业务流程模型适应环境的变化是企业保持竞争力的重要任务.建模期间无法预知的变化是一类常见且困难的挑战,需在运行时根据流程实例和上下文动态绑定.前人的工作(如Worklet)可将任务延迟到运行时绑定或建模到子流程.但是,尚无有效方法处理流程中这些任务延迟绑定到的子流程间的依赖关系.提出一种业务流程依赖建模方法,设计了一个基于WSCoordination的协同规范使处理任务延迟绑定的Web服务在前述依赖关系下协同工作,并通过扩展YAWL和Worklet实现的原型系统证实所提出机制的可行性.该机制是一种兼顾流程运行时灵活性和流程约束的业务流程管理方法.

利用反射实现商业软件组件(COTS)的测试

由于商业软件组件可以全面地削减开发成本和缩短开发时间,所以被越来越多的大型软件项目所采用。然而,撇开这些优点不谈,为了确保它的功能和开发商所说的相符,为了校验质量,还是需要对它们进行有效的测试。同样重要的是,我们需要确保当它们被集成到最终系统中时,不执行有害代码,比如特洛伊木马和间谍软件,为此本文提出一种测试COTS的方法,可以对这些组件进行全面的测试。