Abstract
Process models capture the behavior of systems in an unambiguous way by describing (often infinite) collections of process instances, where a process instance is an arrangement of activities and/or events in relation to each other according to an order in which they can be executed by a system. Process Querying studies applications of theoretical computer science fundamentals, e.g., results in distributed and parallel computing, model checking, and formal methods, to problems in process modelling and analysis, in particular management of collection of process models. Process Querying addresses the problem of automatically managing (collections of) process models based on process instances that these models describe. A user interacts with a collection of process models via process querying intents. A process querying intent is a formally specified request to manage a collection of process models for a particular purpose. Process Querying research initiative spans a range of topics from theoretical studies of algorithms and the limits of computability of process querying techniques to the practical issues of implementing process querying technologies in software. In this talk, Dr Artem Polyvyanyy will propose a research agenda on process querying as well as will report on his recent research activities that fit the proposed agenda. Specifically, this presentation will focus on works that aim at improving the expressive power of process querying techniques, the design of a formal language for specifying process querying intents, and results of empirical research that targets evaluation of the process querying ideas.

Bio
Dr. Artem Polyvyanyy is a Lecturer at the Business Process Management Discipline, Information Systems School, Science and Engineering Faculty, of the Queensland University of Technology, Brisbane, Australia. He has a strong background in Computer Science, Software Engineering, and Business Process Management from the National University of Kyiv-Mohyla Academy, Kyiv, Ukraine, and the Hasso Plattner Institute, Potsdam, Germany. In March 2012, he received a Ph.D. degree (Dr. rer. nat.) in the scientific discipline of Practical Computer Science from the University of Potsdam, Germany. Artem's industry experience includes internships at Wincor-Nixdorf GmbH in Hamburg, Germany, and SAP Labs in Palo Alto, CA, USA. His research and teaching interests include Distributed and Parallel Systems, Automata Theory, Formal Methods, Information Systems, Software Engineering, and Workflow Management. He has published more than 40 scientific works on these topics in academic book chapters, journal articles, and conference papers. More recently, he has conducted research on the fundamentals of process analysis, the foundations of behavior abstraction in concurrent systems, and querying of process model repositories.