Title | ||
---|---|---|
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS. |
Abstract | ||
---|---|---|
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 correct goal property. We conducted a case study using a real life log of traffic fine management process in Italy. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1145/2851613.2851898 | SAC |
Field | DocType | Citations |
Information system,Management process,Decision tree,Formal language,Software engineering,Business process,Computer science,Process modeling,Conformance checking,Database,Process mining | Conference | 0 |
PageRank | References | Authors |
0.34 | 4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hiroki Horita | 1 | 1 | 1.41 |
Hideaki Hirayama | 2 | 10 | 3.89 |
Yasuyuki Tahara | 3 | 163 | 49.16 |
Akihiko Ohsuga | 4 | 283 | 73.35 |