Log-Based Understanding of Business Processes through Temporal Logic
 Query Checking

Margus Räim; Claudio Di Ciccio; Fabrizio Maria Maggi; Massimo Mecella; Jan Mendling

doi:10.1007/978-3-662-45563-0_5

Log-Based Understanding of Business Processes through Temporal Logic Query Checking

Margus Räim
, Claudio Di Ciccio
, Fabrizio Maria Maggi
, Massimo Mecella
, Jan Mendling

Institute for Data, Process and Knowledge Management (AE Sabou)

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

Original language	English
Title of host publication	On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014
Editors	Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis
Place of Publication	Amantea, Italy
Publisher	Springer
Pages	75 - 92
DOIs	https://doi.org/10.1007/978-3-662-45563-0_5
Publication status	Published - 1 Apr 2014

Austrian Classification of Fields of Science and Technology (ÖFOS)

102
502050 Business informatics
102022 Software development
102001 Artificial intelligence
102013 Human-computer interaction

Access to Document

10.1007/978-3-662-45563-0_5Licence: Unspecified

European Wide Service Platform for Green European Transportation
Jammernegg, W. (PI - Project head), Mendling, J. (PI - Project head), Burgholzer, W. (researchers ), Cabanillas Macias, C. (researchers ), Czapla, N. (researchers ), Di Ciccio, C. (researchers ), Hrusovsky, M. (researchers ), Nolz, P. (researchers ), Rogetzer, P. (researchers ) & Treitl, S. (researchers )
1/10/12 → 30/09/15
Project: Research funding

Cite this

Räim, M., Di Ciccio, C., Maria Maggi, F., Mecella, M., & Mendling, J. (2014). Log-Based Understanding of Business Processes through Temporal Logic Query Checking. In Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis (Ed.), On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014 (pp. 75 - 92). Springer. https://doi.org/10.1007/978-3-662-45563-0_5

Räim, Margus ; Di Ciccio, Claudio ; Maria Maggi, Fabrizio et al. / Log-Based Understanding of Business Processes through Temporal Logic Query Checking. On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. editor / Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis. Amantea, Italy : Springer, 2014. pp. 75 - 92

@inproceedings{07d5d9874a7d433d822be16e1da3b00f,

title = "Log-Based Understanding of Business Processes through Temporal Logic Query Checking",

author = "Margus R{\"a}im and \{Di Ciccio\}, Claudio and \{Maria Maggi\}, Fabrizio and Massimo Mecella and Jan Mendling",

year = "2014",

month = apr,

day = "1",

doi = "10.1007/978-3-662-45563-0\_5",

language = "English",

pages = "75 -- 92",

editor = "\{Robert Meersman, Herv{\'e} Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis\}",

booktitle = "On the Move to Meaningful Internet Systems: \{OTM\} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014",

publisher = "Springer",

address = "Germany",

}

Räim, M, Di Ciccio, C, Maria Maggi, F, Mecella, M & Mendling, J 2014, Log-Based Understanding of Business Processes through Temporal Logic Query Checking. in Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis (ed.), On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. Springer, Amantea, Italy, pp. 75 - 92. https://doi.org/10.1007/978-3-662-45563-0_5

Log-Based Understanding of Business Processes through Temporal Logic Query Checking. / Räim, Margus; Di Ciccio, Claudio; Maria Maggi, Fabrizio et al.
On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. ed. / Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis. Amantea, Italy: Springer, 2014. p. 75 - 92.

Publication: Chapter in book/Conference proceeding › Contribution to conference proceedings

TY - GEN

T1 - Log-Based Understanding of Business Processes through Temporal Logic Query Checking

AU - Räim, Margus

AU - Di Ciccio, Claudio

AU - Maria Maggi, Fabrizio

AU - Mecella, Massimo

AU - Mendling, Jan

PY - 2014/4/1

Y1 - 2014/4/1

U2 - 10.1007/978-3-662-45563-0_5

DO - 10.1007/978-3-662-45563-0_5

M3 - Contribution to conference proceedings

SP - 75

EP - 92

BT - On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014

A2 - Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis, null

PB - Springer

CY - Amantea, Italy

ER -

Räim M, Di Ciccio C, Maria Maggi F, Mecella M, Mendling J. Log-Based Understanding of Business Processes through Temporal Logic Query Checking. In Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis, editor, On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. Amantea, Italy: Springer. 2014. p. 75 - 92 doi: 10.1007/978-3-662-45563-0_5

Log-Based Understanding of Business Processes through Temporal Logic Query Checking

Austrian Classification of Fields of Science and Technology (ÖFOS)

Access to Document

Projects

European Wide Service Platform for Green European Transportation

Cite this