Algorithms & Theories for the Analysis of Event Data 2017
@ PN 2017 & ACSD 2017, June 26–27, Zaragoza, Spain
The workshop Algorithms & Theories for the Analysis of Event Data (ATAED 2017) is a satellite event of both the 38th International Conference
on Application and Theory of Petri Nets and Concurrency and the 17th International Conference on Application of Concurrency
to System Design (PN 2017 and ACSD 2017). The workshop aims
to attract papers related to process mining, region theory and other synthesis techniques. These techniques have in common that "lower level"
behavioral descriptions (event logs, sets of partial orders, transition systems, etc.) are used to create "higher level" process models (e.g.,
various classes of Petri nets, BPMN, or UML activity diagrams).
ATAED 2017 solicits papers related to process mining and region theory. However, the scope is not limited to this. The program committee invites submission of full papers (up to 15 pages) and of short papers (up to 5 pages). Papers should be submitted as pdf-files using the Springer LNCS-format. Papers need to be submitted via Easychair.
Process mining makes it possible to analyze event data, thereby focusing on behavior rather than correlations and simplistic performance
indicators. For example, event logs can be used to automatically learn end-to-end process models based on recorded event data. Next to
the automated discovery of the real underlying process, there are process mining techniques to analyze bottlenecks, to uncover hidden inefficiencies,
to check compliance, to explain deviations, to predict performance, and to guide users towards "better" processes.
Region theory makes it possible to synthesize a process model from a behavioral description. Applying the theory of regions guarantees the behavioral description and the language of the synthesized model to be equivalent. In recent years, various forms of region-based ideas (language-based and state-based variants) have been applied in the context of process mining. Here, there is only example behavior and classical techniques need to be improved. Hence, there are many theoretical challenges with a high practical relevance.
Keynote: Modelling & Mining Event-based Concurrent Declarative Processes as Dynamic Condition Response Graphs. Dynamic Condition Response (DCR) Graphs was introduced in 2010 as a generalisation of prime event structures motivated by the aim to provide a formal foundation for trustworthy, flexible and run-time adaptable workflow management systems for which both safety and liveness properties could be guaranteed. DCR Graphs allow for finite event-based representations of concurrent processes with both finite and infinite behaviours. The formal languages recognised by DCR graphs are exactly languages being the union of a regular and an omega-regular language. Today the DCR graph technology is supported by both commercial tools for collaborative process design and simulation and adaptive case management and academic tools for process design, simulation and analysis and process mining. The theory has also been developed substantially, providing support for inference of independence between events, safe distribution and refinement, time, data and dynamically created sub-processes. In the talk we give an introduction to the theory and tools for DCR graphs and application to the modelling and mining of so-called "truly" concurrent event-based processes.
Thomas Hildebrandt is Associate professor at IT University of Copenhagen and head of the Process Intelligence, Modelling and Optimisation Group. He obtained a PhD in Computer Science in 1999 from BRICS, Aarhus University and has published more than 60 peer-reviewed papers in the areas of formal models for concurrent, distributed and mobile systems and applications to security, business and workflow management systems. He has been the principal investigator of several interdisciplinary research projects with industry partners and member of the management committee for the EU COST action on behavioural types for complex distributed systems. In particular, he initiated and lead the development of the declarative DCR Graphs process technology for flexible and adaptable processes jointly with his research group and the danish company Exformatics. Currently he is co-investigator on the Computational Artefacts (CompArt) project supported by the Velux foundation and facilitates three industry interest groups in the area of processes and IT in two innovation networks (infinit.dk and cfir.dk) and the private knowledge network VidenDanmark.dk.
theory and applications of process mining theory and applications of region theory automated business process model discovery conformance checking, alignments, and replay algorithms business process intelligence and date-driven process oriented approaches techniques combining formal methods with data science approaches algorithms, theories, and tools for region theory and other forms of synthesis case studies and empirical investigations using event data
|Deadline for abstracts|
|Deadline for papers|
|Notification of paper acceptance|
|Early registration deadline||May 29|
Wil van der Aalst, TU Eindhoven, The Netherlands (co-chair)
Eric Badouel, INRIA Rennes, France
Robin Bergenthum, FernUni Hagen, Germany (co-chair)
Luca Bernardinello, Università degli studi di Milano-Bicocca, Italy
Seppe vanden Broucke, KU Leuven, Belgium
Andrea Burattin, University of Innsbruck, Austria
Josep Carmona, UPC Barcelona, Spain (co-chair)
Paolo Ceravolo, University of Milan, Italy Claudio Di Ciccio, Vienna University of Economics and Business, Austria
Benoît Depaire, Hasselt University, Belgium
Jörg Desel, FernUni Hagen, Germany
Dirk Fahland, TU Eindhoven, The Netherlands
Diogo Ferreira , Universidade de Lisboa, Portugal
Luciano García-Bañuelos, University of Tartu, Estonia
Stefan Haar, LSV CNRS & ENS de Cachan, France
Gabriel Juhás, Slovak University of Technology, Slovak Republic
Anna Kalenkova, Higher School of Economics NRU, Russia
Jetty Kleijn, Leiden University, The Netherlands
Wen Lijie, Tsinghua University, China
Robert Lorenz, Uni Augsburg, Germany
Manuel Mucientes, University of Santiago de Compostela, Spain
Marta Pietkiewicz-Koutny, Newcastle University, GB
Hernán Ponce de León, fortiss GmbH, Germany
Matthias Weidlich, Humboldt-Universität zu Berlin, Germany
Jochen De Weerdt, KU Leuven, Belgium
Moe Wynn, Queensland University of Technology, Australia
Alex Yakovlev, Newcastle University, GB
Algorithms and Theories for the Analysis of Event Data 2016, Toruń, Poland Algorithms and Theories for the Analysis of Event Data 2015, Brussels, Belgium Applications of Region Theory 2013, Barcelona, Spain Applications of Region Theory 2011, Newcastle upon Tyne, UK Applications of Region Theory 2010, Braga, Portugal