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

Data, Process and Knowledge Management (Sabou)

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

Originalsprache	Englisch
Titel des Sammelwerks	On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014
Herausgeber*innen	Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis
Erscheinungsort	Amantea, Italy
Verlag	Springer
Seiten	75 - 92
DOIs	https://doi.org/10.1007/978-3-662-45563-0_5
Publikationsstatus	Veröffentlicht - 1 Apr. 2014

Österreichische Systematik der Wissenschaftszweige (ÖFOS)

102
502050 Wirtschaftsinformatik
102022 Softwareentwicklung
102001 Artificial Intelligence
102013 Human-Computer Interaction

Zugriff auf Dokument

10.1007/978-3-662-45563-0_5Lizenz: Nicht angegeben

European Wide Service Platform for Green European Transportation
Jammernegg, W. (Projektleitung), Mendling, J. (Projektleitung), Burgholzer, W. (Forscher*in), Cabanillas Macias, C. (Forscher*in), Czapla, N. (Forscher*in), Di Ciccio, C. (Forscher*in), Hrusovsky, M. (Forscher*in), Nolz, P. (Forscher*in), Rogetzer, P. (Forscher*in) & Treitl, S. (Forscher*in)
1/10/12 → 30/09/15
Projekt: Forschungsförderung

Zitat

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 (Hrsg.), On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014 (S. 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. Hrsg. / Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis. Amantea, Italy : Springer, 2014. S. 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 (Hrsg.), On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. Springer, Amantea, Italy, S. 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. Hrsg. / Robert Meersman, Hervé Panetto, Tharam Dillon, Michele Missikoff, Lin Liu, Oscar Pastor, Alfredo Cuzzocrea, Timos Sellis. Amantea, Italy: Springer, 2014. S. 75 - 92.

Publikation: Beitrag in Buch/Konferenzband › Beitrag in Konferenzband

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, Hrsg., On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and ODBASE 2014. Amantea, Italy: Springer. 2014. S. 75 - 92 doi: 10.1007/978-3-662-45563-0_5

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

Österreichische Systematik der Wissenschaftszweige (ÖFOS)

Zugriff auf Dokument

Projekte

European Wide Service Platform for Green European Transportation

Zitat