国家教育部博士点基金(20113718110004) 作品数:13 被引量:46 H指数:5 相关作者: 杜玉越 薛洁 王路 杜军威 吴洪越 更多>> 相关机构: 山东科技大学 青岛科技大学 青岛农业大学 更多>> 发文基金: 国家教育部博士点基金 国家自然科学基金 青岛市科技发展计划项目 更多>> 相关领域: 自动化与计算机技术 自然科学总论 更多>>
流程交换重复偏差的识别方法 2015年 针对现有流程偏差模式无法正确识别流程组合偏差的情况,提出一种流程组合偏差模式。该模式以构建偏差模式约束为前提,将活动替换、交换和重复偏差模式相互组合。以标准代价函数为基础,给出改进代价函数。根据组合偏差模式及改进代价函数,设计交换重复偏差模式。将交换重复偏差模式应用于签证申请流程,获得的校准结果可以识别流程中存在的偏差,验证了组合偏差模式能够有效识别流程组合偏差。 王瑞莹 杜玉越关键词:校准 大数据 一种基于校准的模型问题域识别方法 被引量:6 2015年 以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。 王路 杜玉越关键词:PETRI网 校准 大数据 医疗急诊流程挖掘与模型改进 被引量:4 2015年 基于流程挖掘中的α算法和流程挖掘平台ProM(process miner),将医疗急诊流程的事件日志转化为Petri网模型,并将其与医疗急诊日志及实际流程对比分析。由于α算法的局限性,对于一些复杂结构,可能会导致错误的挖掘流程。基于逻辑Petri网,给出了一种挖掘模型的改进方法,利用逻辑变迁来避免选择结构,并进行医疗急诊流程的二次建模,进而保证构建的流程模型与实际流程保持一致。 高立哲 杜玉越 刘伟关键词:PETRI网 Web服务流程的结构范式及其判定算法 被引量:8 2015年 服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层次.基于逻辑Petri网建模服务流程为服务网,将服务流程结构范式的判定转化为对服务网组成结构的分析.在服务网的基础上构建控制流网,从而将服务流程中的控制流和数据流进行分离.定义了控制流网语言,并提出一种通过约简求解控制流网语言的方法.通过对控制流网语言中字符序列组成结构特征的分析,获取服务网的结构性质,完成对服务流程结构范式层次的判定.给出了服务流程结构范式的定义、判定定理以及算法,并通过实例验证了文中方法对流程结构范式进行判定的可行性和有效性. 胡强 杜军威 杜玉越关键词:WEB服务 服务网 健壮性 一种面向聚类的语义Web服务发现方法 被引量:2 2012年 提出了一种基于聚类的语义Web服务发现方法。通过计算Web服务的功能相似度及输入输出参数的语义相似度,利用聚类算法对服务库中的服务进行聚类。统一标注服务簇的输入输出参数,得到输入输出概念集,构造出服务簇网元模型,并提出标识服务簇网元的矩阵模型,从而实现服务的快速发现,找出最符合用户需求的服务类。给出了服务簇的形式化描述及构建算法,并进行服务发现。实验例证了所提出方法的有效性和合理性,以及在查准率和查全率方面的明显提高。 薛洁 吴兵 杜玉越关键词:本体 语义相似度 服务聚类 业务过程管理研究现状与关键技术 被引量:4 2015年 综述了业务过程管理(BPM,business process management)不同侧面的研究现状,阐述BPM的内容、视图及生命周期,分析BPM在过程模型建模、实施、分析和管理方面的关键技术,概括了模型实例获得、模型的可配置性、模型实例诊断及新实例产生方法等方面的研究进展。同时,对BPM与web服务和数据库管理之间的联系进行分析。最后,从过程管理的数据来源、过程模型的确定、模型与日志的一致性检查问题、模型库的管理以及仿真系统等方面展望了BPM下一步的发展方向。 李洪霞 杜玉越关键词:大数据 事件日志 工作流管理 业务过程管理 一种最优校准的分组算法 被引量:2 2015年 为了选取最优校准的代表项简化迹与模型的一致性检查,提出一种基于质数权值的分组算法,实现对所有最优校准的分组。给不同的偏差分配互异的质数权值,将权值之积作为最优校准的代价。包含相同移动多重集但移动出现位置不同的相似最优校准具有相同的代价。证明了分组算法的正确性,应用实例描述了分组的具体执行过程。算法首次明确简洁地实现了相似最优校准的分组,时间复杂度为O(m2 n2)。 田银花 杜玉越关键词:PETRI网模型 逻辑Petri网的S-组合及活性分析 2016年 基于Petri网和逻辑Petri网,提出了S-组合逻辑Petri网的概念。深入研究了S-组合逻辑Petri网的活性继承问题,给出了S-组合逻辑Petri网活性的判定定理和算法,并分析了S-组合网中几种资源共享情况。针对组合逻辑Petri网的几种资源共享情况,提出了相应的利用控制库所实现S-组合逻辑Petri网活性控制的方法。 王路 蒋霞 杜玉越关键词:活性 资源共享 一种基于逻辑Petri网的Web服务簇组合方法 被引量:8 2015年 Web服务组合是实现快速服务增值和软件重用的重要方式,但现有的静态服务组合和动态服务组合方式都有待于进一步完善.文中集成静态服务组合和动态服务组合的优点,提出了一种在虚拟层面上基于服务簇进行服务组合的思想;研究并提出了一种基于服务簇的服务组合方法,并应用逻辑Petri网对其进行形式化建模描述;给出了服务簇网的基本组合模型,并分别对其完备性继承作了分析;研究了服务簇网组合的代数运算性质.最后,通过实验证明了服务簇网组合运算的可行性和有效性. 吴洪越 杜玉越关键词:WEB服务 基于服务簇的Web服务绑定方法 2014年 针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。 宁玉辉 杨栋 杜玉越