Mittwoch, 02. Dezember 2015, 14:00 - 15:00 iCal

WST-Talk: Dr. Artem Polyvyanyy

Die Forschungsgruppe Workflow Systems and Technology der Fakultät für Informatik der Universität Wien lädt Sie herzlich ein zum Vortrag "Process Querying: Expressiveness, language, and evaluation".

Fakultät für Informatik / Raum 4.34
Währinger Straße 29, 1090 Wien


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.

Zur Webseite der Veranstaltung


Forschungsgruppe WST


Monika Hofer-Mozelt
Fakultät für Informatik
Forschungsgruppe WST