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 条
  • [41] A Vision on Mining Visual Logs of Software
    Pham, Hung Viet
    Nguyen, Tam The
    Vu, Phong Minh
    Nguyen, Tung Thanh
    [J]. ACMSE 2020: PROCEEDINGS OF THE 2020 ACM SOUTHEAST CONFERENCE, 2020, : 284 - 287
  • [42] A Workflow Management Model Based on Workflow Node Property
    Deng, Ning
    Zhu, Xiaodong
    Liu, Yuanning
    Li, Yanpu
    Chen, Ying
    [J]. MATERIALS ENGINEERING AND MECHANICAL AUTOMATION, 2014, 442 : 450 - +
  • [43] Mining Web Logs - An Automated Approach
    Sudhamathy, G.
    [J]. PROCEEDINGS OF THE FIRST AMRITA ACM-W CELEBRATION OF WOMEN IN COMPUTING IN INDIA (A2WIC), 2010,
  • [44] Mining Users' Intents from Logs
    Khodabandelou, Ghazaleh
    Hug, Charlotte
    Salinesi, Camille
    [J]. INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN, 2015, 6 (02) : 43 - 71
  • [45] Mining railway traffic control logs
    Mannhardt, Felix
    Landmark, Andreas D.
    [J]. 21ST EURO WORKING GROUP ON TRANSPORTATION MEETING (EWGT 2018), 2019, 37 : 227 - 234
  • [46] Mining Patterns in Mobile Network Logs
    Zargarian, Golnazsadat
    Vassio, Luca
    Munafo, Maurizio M.
    Mellia, Marco
    [J]. 2019 IFIP/IEEE SYMPOSIUM ON INTEGRATED NETWORK AND SERVICE MANAGEMENT (IM), 2019,
  • [47] Query expansion by mining user logs
    Cui, H
    Wen, JR
    Nie, JY
    Ma, WY
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (04) : 829 - 839
  • [48] Data mining of search engine logs
    Whittle, Martin
    Eaglestone, Barry
    Ford, Nigel
    Gillet, Valerie J.
    Madden, Andrew
    [J]. JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE AND TECHNOLOGY, 2007, 58 (14): : 2382 - 2400
  • [49] Mining Logs to Model the Use of a System
    Gadler, Daniele
    Mairegger, Michael
    Janes, Andrea
    Russo, Barbara
    [J]. 11TH ACM/IEEE INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2017), 2017, : 334 - 343
  • [50] Mining Call Spammers from Logs
    Liu, Zhipeng
    Duan, Weihua
    [J]. 2014 INTERNATIONAL CONFERENCE ON IDENTIFICATION, INFORMATION AND KNOWLEDGE IN THE INTERNET OF THINGS (IIKI 2014), 2014, : 142 - 145