Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
作者: Hiroki HoritaHideaki HirayamaYasuyuki TaharaAkihiko Ohsuga
论文集英文名称: Applied Computing
来源数据库: Association for Computing Machinery
DOI: 10.1145/2851613.2851898
关键词: Markov chainsParallel computingProbabilistic boolean networksSteady-state analysis
原始语种摘要: Process aware information system (PAIS) is important in the recent business environment. Developments of PAIS need to consider contexts about technical and business elements. They are needed to develop PAIS effectively (e.g. monitoring environment and constructing adequate business process). Process mining is an important method for analyzing a business environment and utilizing PAIS development and improvement. LTL checking is an important method for checking a specific property to be satisfied with business processes, but correctly writing formal language like LTL is difficult. In this paper, we use LTL checking and prediction based on decision-tree learning for checking goal achievement, false detection and oversight detection. It helps writing properly LTL formula for representing the...
全文获取路径: ACM 

  • decision 决定
  • develop 发展
  • checking 检查
  • business 交易
  • analysis 分析
  • oversight 疏忽
  • difficult 困难的
  • learning 学识
  • monitoring 监视
  • process 过程