支持快速构建领域应用系统的业务过程模型研究*

针对基于业务基础平台快速构建领域应用系统,建立了业务过程模型BPM4DBL(business process model for dynamic business logic).模型中包括活动和规则元素,可以描述领域应用中宏观实体和微观知识结构;给出了模型中元素的构建步骤和原则,并定义了模型向XPDL(XML process definition language)和BPEL4WS(bussiness process execution language for Web service)的映射规则,从而支持领域应用系统的快速构建.最后给出了一个具体的应用实例.     

一种分离业务规则的灵活业务过程建模方法

针对动态环境中业务应用的不断变化,将易变的业务逻辑从过程控制结构中分离,并且通过业务规则的声明性表达式描述,由此构建了业务过程模型BPM4DBL(Business Process Model for Dynamic Business Logic)。在建立规则元素的模型定义后,给出了业务规则的定义、分类和可执行语言描述,最后给出一个BPM4DBL的具体应用实例。     

一种适合于电子政务中业务处理的过程模型

目前，电子政务系统一般通过业务过程模型支持电子政务业务处理，而当前已有的业务过程模型在灵活性和安全性方面尚存在不足。为此，提出了一种适合于电子政务中业务处理的过程模型，它将多变的业务规则从过程流中分离出来，通过耦合机制实现业务规则与过程流的结合。该模型简化了过程流的定义，使过程流的变更相对容易，而且可以在不改变过程流的情况下独立、便捷地维护业务规则，确保业务处理的安全性。最后给出了一个使用该模型的电子政务业务处理应用实例。     

基于PRO/E的压铸模CAPP系统中压铸机选择的实现

介绍了VC 环境下利用Pro/Toolkit的接口函数进行Pro/E二次开发的环境设置,论述了通过建立VC对话框实现压铸模CAPP(Computer Aided Process Plan)系统中压铸机选择的方法和代码,所生成的压铸机选择人机对话框为确定压铸工艺及设计模具提供快捷实用的参考.     

工作流模型中多粒度时间约束描述及其分析

流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了MG-TWF模型的多粒度时间约束工作流网、多粒度相对时间和多粒度绝对时间约束一致性问题的一般分析方法.最后给出一个具体MG-TWF模型的一致性分析实例.     

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

一种用于软件过程建模的适应性Agent 协商

大多软件过程模型是预定义的.在变化的应用环境中,需要由相应人员进行适应性调整.提出一种用于软件过程建模的适应性多边协商模型—— AMNM-PA,其采用Agent 封装软件过程中所涉及的个体,包含组织、团队、个人等,通过Agent 间的协商动态、适应地建立针对给定软件项目的软件过程模型.AMNM-PA 基于非静态有限阶段Markov 决策过程,采用模型无关的Q 学习算法选取协商策略,因此能够支持动态、非预知环境下的适应性协商,从而满足软件过程建模对环境的适应性需求.AMNM-PA 已经实施于软件过程管理系统——SoftPM.     

两阶段联合聚类协同过滤算法

提出一种两阶段评分预测方法.该方法基于一种新的联合聚类算法(BlockClust)和加权非负矩阵分解算 法.首先对原始矩阵中的评分模式进行用户和物品两个维度的联合聚类,然后在这些类别的内部通过加权非负矩阵 分解方法进行未知评分预测.这种方法的优势在于,首阶段聚类后的矩阵规模远远小于原始评分矩阵,并且同一类别 内部的评分具有相似的模式,这样,在大幅度降低预测阶段计算量的同时又提高了非负矩阵分解算法在面对稀疏矩 阵预测上的准确度.进一步给出了推荐系统的3 种更新模式下如何高效更新预测模型的增量学习方法.在MovieLens数据集上比较了新算法及其他7种相关方法的性能,从而验证了该方法的有效性及其在大型实时推荐系 统中的应用价值.     

支持DFMC的柔性工作流模型研究

针对大规模定制设计中设计过程动态性特点，建立了一个基于对象元结构的柔性工作流模型——对象元工作流模型0MWM。首先定义了模型中各个对象、对象提取方法，进而给出工作流概念模型，并论述了模型的工作流程控制策略。对象元工作流模型可以适应大规模定制设计过程的动态调整，并可随设计过程变化方便地修改、扩充。实践证明，对象元工作流模型对于处理大规模定制设计中的复杂流程及非确定型业务流程处理，能给出满意的解决结果。     

基于界面构件关联图的软件功能测试技术

针对具有图形用户界面（GUI）且进行事务处理软件系统的功能测试，从界面构件间关联特征出发，提出了界面构件关联图，描述界面中各个构件之间相互联结，制约关系，进而提出了基于界面构件关联图的软件测试覆盖准则和测试用例生成方法，最后给出一个利用界面构件关联图进行软件测试的应用实例。