BPMN 2.0编排在交互契约定义中的应用

定义业务过程间协同的交互契约是跨组织业务过程建模的核心关键问题。对象管理组织提出的业务过程模型和符号BPMN 2.0是业务过程管理领域事实上的工业标准。将BPMN 2.0中的编排应用于定义业务过程间的交互契约,不仅可直观描述交互契约,还可得到众多工具的支持,有利于业务过程间协同的实施。     

WEB工程技术研究

随着internet的快速发展,Web已经对各行各业产生了深远的影响。大量传统的信息和数据库正在被移植到互联网上,人类社会己经进Web时代。本文主要介绍Web服务器技术、Web开发技术及Web辅助技术。     

基于反馈的软件演化过程模型*

对软件演化及过程的特征进行了描述,提出软件演化过程的具体活动;分析了软件演化过程中的反馈机制,提出了基于扩展双变迁Petri网和反馈循环的软件演化过程模型.     

业务协同中组织需求的建模与一致性验证

验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。     

组合星图的最优生成树

文章解决了组合星图生成树的构造问题。首先给出了组合星图的定义及其重要的拓扑性质．然后采用构造方法获得了组合星图的一棵高度为D（Sn，k）的生成树，并给出了相应的算法，其中D（Sn,k）为组合星图的直径。该生成树具有最优的高度，且是一棵贪婪树。     

信息安全专业“应用安全方向”CDIO实践探索

为了满足信息安全产业对高素质人才培养质量的要求,为了进一步探索以"做中学"为中心的方法改革,强化实践能力培养,本文以云南大学软件学院信息安全专业为背景,以CDIO先进教育理念为指导,选择本专业"应用安全"方向进行CDIO理念教学实践。并进一步探讨在适当的条件下,把该CDIO工程教育模式推广应用到本专业其他三个发展方向,以培养具有创新精神和实践能力的信息安全学科的优秀创新型人才。     

构造可扩展工作流的语义机制模型*

为了提高复杂多样的应用环境下的工作流性能,基于Petri网构建块定义了工作流元对象模型和工作流领域本体OWLW,在传统工作流系统中引入了元对象协议,构造了一种新的面向语义的工作流模型;在此基础上讨论了一种基于多agent的软件架构来实现面向语义的工作流机制,说明了面向语义的工作流对于提高传统工作流的灵活性和可扩展性是有效的。     

软件演化过程中运行实例的在线可信演化

为了提高演化的实用性, 研究了演化过程实例的在线迁移, 并采用高效的过程继承技术来检验实例的可迁移性。过程继承技术虽然很适合用来检验可信过程的可迁移性, 但其局限性较大, 在多色集合的相关理论基础上, 提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质, 用这种方法使不能按原计划一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性。这种改进的过程继承技术提高了迁移的成功率, 使过程继承技术适用范围更广, 使软件更可信。最后通过一个网上银行支付系统说明方法在实例迁移方面的实用性。     

基于双层特征的彝语数据情感自动标注方法

现有的情感自动标注方法大多仅从声学层或语言层提取单一识别特征，而彝语受分支方言多、复杂性高等因素的影响，对其使用单层情感特征进行自动标注的正确率较低。利用彝语情感词缀丰富等特点，提出一种双层特征融合方法，分别从声学层和语言层提取情感特征，采用生成序列和按需加入单元的方法完成特征序列对齐，最后通过相应的特征融合和自动标注算法来实现情感自动标注过程。以某扶贫日志数据库中的彝语语音和文本数据为样本，分别采用三种不同分类器进行对比实验。结果表明分类器对自动标注结果影响不明显，而双层特征融合后的自动标注正确率明显提高，正确率从声学层的48.1%和语言层的34.4%提高到双层融合的64.2%。     

IDEA密钥空间扩展研究

IDEA是一个著名的加密算法，最著名的是PGP。介绍并改进了标准IDEA算法，提出了扩展密钥空间的算法，把密钥从128位扩展到832位，极大地增强了IDEA算法的安全性，同时又对一种新的扩展IDEA算法的方法进行了探讨，把IDEA算法从16位移植到32位，密钥空间加倍，块的大小也加倍，密钥空间最大可达到21664。