Property driven mining in workflow logs

被引:1
|
作者
Roubtsova, EE [1 ]
机构
[1] Tech Univ Eindhoven, NL-5600 MB Eindhoven, Netherlands
关键词
D O I
10.1007/3-540-32392-9_55
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We present a language for property specification for workflows and a tool for property checks. The language is based on the Propositional Linear Temporal Logic and the structure of workflow logs. These language and tool help companies to diagnose business processes, react to changes in business environment and collect formal definitions of business properties. We give examples of specifications of business properties that set relations between events of business processes.
引用
收藏
页码:471 / 475
页数:5
相关论文
共 50 条
  • [1] Mining process models from workflow logs
    Agrawal, R
    Gunopulos, D
    Leymann, F
    [J]. ADVANCES IN DATABASE TECHNOLOGY - EDBT'98, 1998, 1377 : 469 - 483
  • [2] Organizational Structure Mining Based on Workflow Logs
    Gao, Ang
    Yang, Yang
    Zeng, Ming
    Zhang, Jing-Le
    Wang, Yue-Wei
    [J]. 2009 INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING, PROCEEDINGS, 2009, : 455 - 459
  • [3] Mining workflow processes from distributed workflow enactment event logs
    Kim, Kwanghoon Pio
    [J]. KNOWLEDGE MANAGEMENT & E-LEARNING-AN INTERNATIONAL JOURNAL, 2012, 4 (04) : 528 - 553
  • [4] Mining workflow recovery from event based logs
    Gaaloul, W
    Godart, C
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 169 - 185
  • [5] Mining event logs to support workflow resource allocation
    Liu, Tingyu
    Cheng, Yalong
    Ni, Zhonghua
    [J]. KNOWLEDGE-BASED SYSTEMS, 2012, 35 : 320 - 331
  • [6] Mining Workflow Processes from XML-based Distributed Workflow Event Logs
    Kim, Kwanghoon
    [J]. 2009 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS (ICPPW 2009), 2009, : 587 - 594
  • [7] Workflow mining: Discovering process models from event logs
    van der Aalst, W
    Weijters, T
    Maruster, L
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2004, 16 (09) : 1128 - 1142
  • [8] Workflow mining and outlier detection from clinical activity logs
    Bouarfa, L.
    Dankelman, J.
    [J]. JOURNAL OF BIOMEDICAL INFORMATICS, 2012, 45 (06) : 1185 - 1190
  • [9] Mining batch processing workflow models from event logs
    Wen, Yiping
    Chen, Zhigang
    Liu, Jianxun
    Chen, Jinjun
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (13): : 1928 - 1942
  • [10] Workflow Model Mining Based On Educational Management Data Logs
    Cheng, Naike
    Wang, Lei
    Fei, Rong
    Li, Wei
    Wang, Bin
    [J]. PROCEEDINGS OF THE 2019 31ST CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2019), 2019, : 5450 - 5455