检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]山东科技大学信息科学与工程学院,山东青岛266590
出 处:《山东科技大学学报(自然科学版)》2015年第1期42-46,53,共6页Journal of Shandong University of Science and Technology(Natural Science)
基 金:国家自然科学基金项目(61170078;61472228);教育部高等学校博士学科点专项科研基金博导类项目(20113718110004);青岛市科技计划基础研究项目(13-1-4-116-jch);山东科技大学科研创新团队支持计划项目(2011KYTD102)
摘 要:以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。Petri nels were employed as a formalization method of process models in this research and the four basic structures of workflows were used to describe the relationships in the processing activities. A process describing on- line shopping was used as a running example to explain how to identify problem areas within a process model. The fitness,simplicity, precision, generalization of model quality dimensions were given concern to align execution se- quences in process models and traces in event logs. Based on the alignment move mapping,a process model was pro- posed,and the negative effect parts were identified. The validity and effectiveness of the proposed method were thus illustrated through the analysis of the online shopping examples.
关 键 词:PETRI网 流程模型 质量维度 校准 动作映射 大数据
分 类 号:TP311.13[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.3