工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

基于构建软件功能描述的可复用软件检索方法

软件复用技术能够有效降低新软件产品开发的时间、人力和成本.在软件复用中，基于待开发软件的基本描述与简单需求，如何衡量已有软件的可复用性并对大量已有软件进行快速、自动的可复用性评估，已成为首要解决的问题.目前已有较多评价软件产品或软件项目相似度的研究工作，但相似性并不等于可复用性.因此，该文通过调研软件产品可复用性的相关研究，定义了一套适用于开源软件仓库中软件项目的可复用性评价指标，并设计了基于待开发软件项目的基本需求快速查询可复用软件项目的算法，实现了可复用软件项目检索系统.通过实验及专家对检索结果的评价，验证了所提描述方法的高效性和可用性.     

基于改进的MMR算法的新闻文本抽取式摘要方法

提出了基于最大边缘相关（maximal marginal relevance，MMR）的新闻摘要方法以及基于支持向量机（support vector machine，SVM）和MMR相结合的新闻摘要方法。其中，第1种方法是对传统MMR模型进行了改进，第2种方法使用了改进MMR模型对SVM分类结果进行了二次选择。实验表明：相比于传统MMR模型，该文提出的基于改进MMR的摘要方法和基于SVM-MMR的摘要方法的平均准确率分别提升了0.148、0.204，且基于MMR的新闻摘要方法的摘要效率约为基于SVM-MMR的摘要方法的3倍。改进的MMR算法更加适用于对摘要效率要求高的应用场景，特别是对长文本进行摘要。基于SVM-MMR的摘要方法则更适用于生成对文本内容覆盖相对全面的摘要。     

一种分层的软件过程执行机制的研究

选择不同的过程执行机制会对软件过程支持的灵活性产生影响,两种传统的过程执行机制———前摄式和反应式存在模型复杂性和执行灵活性之间的矛盾.借鉴了Alf Inge Wanget al.所提出的基于组织中过程执行主体分层支持的思想,提出了一种分层过程机制,该机制将软件过程分为两个层次,底层是具有流程稳定的子过程,采用前摄式机制支持,而高层是易于变化的过程,则用反应式机制支持,通过过程片段将两层过程统一在一个过程模型中既增加了过程执行的灵活性,又降低了过程模型的复杂性.为了说明该过程机制的实践有效性,分析了一个案例所发生的“例程”、“并发”、“反馈”和“等待”的各种情况并且阐述了在CPMS系统中应用分层机制对上述情况的解决方案.