Seminar Data-Aware Processes

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Seminar Data-Aware Processes

Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2021

Dozent

Umfang (SWS)

  • 0/2/0

Module

Leistungskontrolle

  • Hausarbeit
  • Referat


Announcements

  • The first session has been on Tuesday, April 14. If you plan to attend the seminar, make sure to take care of the homework assignments (see the first deck of slides) until next time.
  • We'll be using TU-Dresden's Matrix server for further communication: #data-awareness:tu-dresden.de

Contents

Modern system architectures are composed of at least two components, one handling control flow and one that is concerned with the data used by the application. For a long time, control flow modeling and analysis have been studied in separation of external systems managing data. Often only basic data types have been covered if any. Conversely, data analysis is carried out for very simple tasks, not reflecting complex and often distributed control flow interferences. Especially current data-intensive applications (e.g., machine learning) require integration of both worlds.

In this seminar we will be concerned with recent research contributions, that provide integrated methods and tools for (distributed) systems combined with more sophisticated data sources than core data types can provide. We offer a variety of topics, ranging from conceptual and modeling aspects to analysis, such as formal verification. In each branch, we are going to discuss whether the effort of the combination provides actual benefits over the techniques that are commonly used when only considering control flow and data in separation.

Concrete topics will be assigned during the introductory sessions, based on the thematic tendency of each participant.

Schedule and Location

The introductory sessions will take place on Tuesdays DS5 (14:50 to 16:20), most likely virtually. Please check "Dates and Materials" for further details and links to the virtual rooms. From April 27, I'm offering an office hour on Tuesdays DS5.

Opportunities

Upon interest, we can provide seminar attendees with follow-up research-related tasks that may be later developed into master's or bachelor's theses, and/or publications.

Contact

Please, feel free to send me an email if you have any further questions.

TO BE COMPLETED...

Reader for Everybody (Contents of 2nd Session)

Some of the papers cited in this work is available as a topic for yourself.

Survey Papers

Concrete Models

Verification

Logical Modeling

  • Mikołaj Bojańczyk, Claire David, Anca Muscholl, Thomas Schwentick, and Luc Segoufin. 2011. Two-variable logic on data words. ACM Trans. Comput. Logic 12, 4, Article 27 (July 2011), 26 pages.
  • Mikołaj Bojańczyk and Thomas Place. 2012. Toward model theory with data values. In Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II (ICALP'12). Springer-Verlag, Berlin, Heidelberg, 116–127.

Veranstaltungskalender abonnieren (icalendar)

Seminar Kickoff Meeting DS5, 13. April 2021 in Videokonferenz Datei
Seminar Topic Overview DS5, 20. April 2021 in Videokonferenz
Seminar Session 3 (if needed) DS5, 27. April 2021 in Videokonferenz


Kalender