山东科技大学学报（自然科学版）
山東科技大學學報（自然科學版）
산동과기대학학보（자연과학판）
JOURNAL OF SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2015年
1期
42-46,53
,共6页
Petri网%流程模型%质量维度%校准%动作映射%大数据
Petri網%流程模型%質量維度%校準%動作映射%大數據
Petri망%류정모형%질량유도%교준%동작영사%대수거
以Petri网作为描述流程模型的形式化方法.利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法.通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域.通过网上购物的实例验证了方法的有效性和实用性.
以Petri網作為描述流程模型的形式化方法.利用工作流的四種基本結構描述流程中活動之間的關繫;結閤流程模型質量維度中的擬閤度、簡化度、精確度和汎化度,給齣瞭流程模型中執行序列與事件日誌中跡的校準方法.通過所提齣的校準動作序列與流程模型的映射方法,可以識彆流程模型的問題域.通過網上購物的實例驗證瞭方法的有效性和實用性.
이Petri망작위묘술류정모형적형식화방법.이용공작류적사충기본결구묘술류정중활동지간적관계;결합류정모형질량유도중적의합도、간화도、정학도화범화도,급출료류정모형중집행서렬여사건일지중적적교준방법.통과소제출적교준동작서렬여류정모형적영사방법,가이식별류정모형적문제역.통과망상구물적실례험증료방법적유효성화실용성.
