Computing Trace Alignment against Declarative Process Models through Planning

Computing Trace Alignment against Declarative Process Models through Planning. Giacomo, G. D., Maggi, F. M., Marrella, A., & Sardina, S. In

Paper abstract bibtex

Process mining techniques aim at extracting non-trivial knowledge from event traces, which record the concrete execution of business processes. Typically, traces are "dirty" and contain spurious events or miss relevant events. Trace alignment is the problem of cleaning such traces against a process specification. There has recently been a growing use of declarative process models, e.g., Declare (based on LTL over finite traces) to capture constraints on the allowed task flows. We demonstrate here how state-of-the-art classical planning technologies can be used for trace alignment by presenting a suitable encoding. We report experimental results using a real log from a financial domain.

@inproceedings {icaps16-91,
    track    = {Applications Track},
    title    = {Computing Trace Alignment against Declarative Process Models through Planning},
    url      = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094},
    author   = {Giuseppe De Giacomo and  Fabrizio Maria Maggi and  Andrea Marrella and  Sebastian Sardina},
    abstract = {Process mining techniques aim at extracting non-trivial knowledge from event traces, which record the concrete execution of business processes. Typically, traces are "dirty" and contain spurious events or miss relevant events. Trace alignment is the problem of cleaning such traces against a process specification. There has recently been a growing use of declarative process models, e.g.,
Declare (based on LTL over finite traces) to capture constraints on the allowed task flows. We demonstrate here how state-of-the-art classical planning technologies can be used for trace alignment by presenting a suitable encoding. We report experimental results using a real log from a financial domain.},
    keywords = {Evaluation; testing; and validation of P&S applications,Description and modeling of novel application domains}
}

Downloads: 0

{"_id":"gtYiQiJ2HpJgnCNaH","bibbaseid":"giacomo-maggi-marrella-sardina-computingtracealignmentagainstdeclarativeprocessmodelsthroughplanning","downloads":0,"creationDate":"2016-03-09T03:08:50.194Z","title":"Computing Trace Alignment against Declarative Process Models through Planning","author_short":["Giacomo, G. D.","Maggi, F. M.","Marrella, A.","Sardina, S."],"year":null,"bibtype":"inproceedings","biburl":"icaps16.icaps-conference.org/papers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","track":"Applications Track","title":"Computing Trace Alignment against Declarative Process Models through Planning","url":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Fabrizio","Maria"],"propositions":[],"lastnames":["Maggi"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Marrella"],"suffixes":[]},{"firstnames":["Sebastian"],"propositions":[],"lastnames":["Sardina"],"suffixes":[]}],"abstract":"Process mining techniques aim at extracting non-trivial knowledge from event traces, which record the concrete execution of business processes. Typically, traces are \"dirty\" and contain spurious events or miss relevant events. Trace alignment is the problem of cleaning such traces against a process specification. There has recently been a growing use of declarative process models, e.g., Declare (based on LTL over finite traces) to capture constraints on the allowed task flows. We demonstrate here how state-of-the-art classical planning technologies can be used for trace alignment by presenting a suitable encoding. We report experimental results using a real log from a financial domain.","keywords":"Evaluation; testing; and validation of P&S applications,Description and modeling of novel application domains","bibtex":"@inproceedings {icaps16-91,\r\n track = {Applications Track},\r\n title = {Computing Trace Alignment against Declarative Process Models through Planning},\r\n url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094},\r\n author = {Giuseppe De Giacomo and Fabrizio Maria Maggi and Andrea Marrella and Sebastian Sardina},\r\n abstract = {Process mining techniques aim at extracting non-trivial knowledge from event traces, which record the concrete execution of business processes. Typically, traces are \"dirty\" and contain spurious events or miss relevant events. Trace alignment is the problem of cleaning such traces against a process specification. There has recently been a growing use of declarative process models, e.g.,\r\nDeclare (based on LTL over finite traces) to capture constraints on the allowed task flows. We demonstrate here how state-of-the-art classical planning technologies can be used for trace alignment by presenting a suitable encoding. We report experimental results using a real log from a financial domain.},\r\n keywords = {Evaluation; testing; and validation of P&S applications,Description and modeling of novel application domains}\r\n}\r\n\r\n","author_short":["Giacomo, G. D.","Maggi, F. M.","Marrella, A.","Sardina, S."],"key":"icaps16-91","id":"icaps16-91","bibbaseid":"giacomo-maggi-marrella-sardina-computingtracealignmentagainstdeclarativeprocessmodelsthroughplanning","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094"},"keyword":["Evaluation; testing; and validation of P&S applications","Description and modeling of novel application domains"],"metadata":{"authorlinks":{}}},"search_terms":["computing","trace","alignment","against","declarative","process","models","through","planning","giacomo","maggi","marrella","sardina"],"keywords":["evaluation; testing; and validation of p&s applications","description and modeling of novel application domains"],"authorIDs":[],"dataSources":["iMkx859KiXcegwsin","EZtZjCTnxcdTTyeij"]}