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
Vortrag
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
Veranstalter
Kontakt
Monika Hofer-Mozelt
Fakultät für Informatik
Forschungsgruppe WST
01/4277/79102
monika-hofer.mozelt@univie.ac.at
Erstellt am Dienstag, 10. November 2015, 14:08
Letzte Änderung am Mittwoch, 11. November 2015, 07:55