一种基于校准的模型问题域识别方法

被引：7

作者：

王路

杜玉越

机构：

[1] 山东科技大学信息科学与工程学院

来源：

山东科技大学学报(自然科学版) | 2015年 / 34卷 / 01期

基金：

高等学校博士学科点专项科研基金;

关键词：

Petri网; 流程模型; 质量维度; 校准; 动作映射; 大数据;

D O I：

10.16452/j.cnki.sdkjzk.20150317.015

中图分类号：

TP301.1 [自动机理论];

学科分类号：

081202 ;

摘要：

以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。

引用

页码：42 / 46+53 +53

页数：6

共 8 条

[1] Formalization and verification of event-driven process chains [J].

van der Aalst, WMP .

INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) :639-650

[2]

Petri nets: properties, analysis and applications. Murata T. Proceedings of Tricomm . 1989

[3]

Process mining:Discovery,conformance and enhancement of business processes. van der Aalst W M P. . 2011

[4]

Repairing process models to reflect reality. Fahland D,van der Aalst W M P. Business Process Management . 2012

[5]

Conformance checking using cost-based fitness analysis. Adriansyah A,van Dongen B F,van der Aalst W M P. 15th IEEE International Enterprise Distributed Object Computing Conference . 2011

[6]

A genetic algorithm for discovering process trees. Buijs J C A M,van Dongen B F,van der Aalst W M P. 2012IEEE Congress on Evolutionary Computation . 2012

[7]

A BPMN Extension for the Modeling of Security Requirements in Business Processes. Alfonso Rodríguez,Eduardo Fernández-Medina,Mario Piattini. IEICE - Transactions on Information and Systems . 2007

[8] Replaying history on process models for conformance checking and performance analysis [J].

van der Aalst, Wil ;

Adriansyah, Arya ;

van Dongen, Boudewijn .

WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, 2012, 2 (02) :182-192

← 1 →