D 239 - OCL 2025

VenueUniversity of Koblenz

Room nameD 239

Floor2

Room number239

Capacity90

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	OCL Session 1: OCL and beyondOCL 2025 at D 239

11:00 5m Day opening		Welcome OCL 2025
11:05 10m Talk		OCL on Life Support: Can We Revitalize the Community for a Stronger Future? OCL 2025 Mauro Dalle Lucca Tosi Luxembourg Institute of Sciences and Technology, Jordi Cabot Luxembourg Institute of Science and Technology
11:15 25m Talk		Sorted collection and map types for OCL OCL 2025 Dr Kevin Lano King's College London, Shekoufeh Rahimi University of Roehampton , Zishan Rahman King's College London
11:40 25m Talk		Using LLMs to Extract OCL Specifications from Java and Python Programs: An Empirical Study OCL 2025 Hanan Abdulwahab Siala , Dr Kevin Lano King's College London
12:05 25m Talk		From OCL to JSX: Declarative Constraint Modeling in Modern SaaS Tools OCL 2025 Antonio Bucchiarone DISIM, University of L'Aquila, Juri Di Rocco University of L'Aquila, Damiano Di Vincenzo Università degli Studi dell'Aquila, Alfonso Pierantonio

13:30 - 15:00	OCL Session 2: Correctness and complexity metricsOCL 2025 at D 239

13:30 25m Talk		Verifying OCL Pre/Post Condition using Cyclone OCL 2025 Yuelou Ding , Hao Wu Maynooth University
13:55 25m Talk		A New Set of Metrics for Measuring Complexity of OCL Expressions OCL 2025 Ankit Jha Maynooth University, Rosemary Monahan , Hao Wu Maynooth University
14:20 25m Talk		Measuring Complexity of Logical Puzzles with Metrics Expressed in OCL OCL 2025 Martin Gogolla , Jesús Sánchez Cuadrado Universidad de Murcia
14:45 15m Day closing		Discussion and closing remarks OCL 2025

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	AI4DPS Welcome & Session 1: Process OptimizationAI4DPS at D 239 We have no firm time slots assigned, as discussion is paramount in this session.

11:00 90m Day opening		Welcome AI4DPS Friedrich Steimann Fernuniversität in Hagen
11:00 90m Industry talk		Invited Talk: Generative KI in der Verwaltung AI4DPS Stefan Kaufmann Wikimedia Deutschland e. V.
11:00 90m Paper		Nutzung von Large Language Models zur Unterstützung bei der Prozessmodellierung von Verwaltungshandeln in FIM AI4DPS Malte Weber , Marianne Mauch Friedrich Schiller University Jena
11:00 90m Paper		KI und BPM als Enabler der Digitalisierung in der Verwaltung AI4DPS Julius Köpke , Robin Bergenthum Fernuniversität in Hagen
11:00 90m Panel		Discussion AI4DPS

13:30 - 15:00	AI4DPS Session 2: Support SystemsAI4DPS at D 239 We have no firm time slots assigned, as discussion is paramount in this session.

13:30 90m Industry talk		Invited Talk: From Files to Agents: How Generative AI Transforms Case Handling and Accelerates Citizen-Centric Public Administration AI4DPS Sharam Dadashnia Insiders Technologies
13:30 90m Paper		Supporting Patients in Administrative Form-Filling through Conversational Agents: A Case from an Orthopedic Technology Provider AI4DPS Oliver Klass Universität Koblenz, Fachbereich Informatik, Jakob Ibrahim Universität Koblenz, Fachbereich Informatik, Isabell Straub Universität Koblenz, Fachbereich Informatik, Sachchit Kolekar Universität Koblenz, Fachbereich Informatik, Svenja Bahle Universität Koblenz, Fachbereich Informatik, Maximilian Theiß Universität Koblenz, Fachbereich Informatik, Justin Wecker Universität Koblenz, Fachbereich Informatik, Gil Veith Universität Koblenz, Fachbereich Informatik, Tom Jaeger , Maria Wimmer Universität Koblenz, Fachbereich Informatik
13:30 90m Paper		AI-based and Model-driven Methods to Guide Citizens through Processes in the Public Sector AI4DPS Lukas Netz RWTH Aachen University, Judith Michael University of Regensburg, Bernhard Rumpe RWTH Aachen University
13:30 90m Panel		Discussion AI4DPS

15:30 - 17:00	AI4DPS Session 3: Legal Text Analysis via GenAIAI4DPS at D 239

15:30 90m Paper		Toward a national repository of administrative procedures: Web Crawling and Process Modeling with Large Language Models AI4DPS Francesca De Luzi Sapienza Università di Roma, Rome, Italy, Mattia Macrì , Massimo Mecella Università di Roma Sapienza
15:30 90m Paper		Structuring Legal Text as Preparation for Chat-Bot Use AI4DPS Lothar Hotz , Karen Wilke Hitec Hamburg
15:30 90m Panel		Discussion AI4DPS

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	ICMM Session 1: Welcome & Paper PresentationsICMM at D 239 Chair(s): Arne Lange Paper presentations of ICMM

11:00 30m Full-paper		Towards Dynamic Views on Heterogeneous Models – The NeoJoin View Definition Language ICMM Lars König Karlsruhe Institute of Technology, Tobias Stickling , Daniel Ritz , Erik Burger Karlsruhe Institute of Technology (KIT) Pre-print
11:30 30m Full-paper		Towards a Unified Model-Based Engineering Framework: Integrating UML Profiles into EMF ICMM Muhammad Asim Minhas , Vitus Lüntzel , Erik Burger Karlsruhe Institute of Technology (KIT)
12:00 30m Short-paper		A Process for Continuous Consistency-aware Quality Management ICMM Martin Armbruster Karlsruhe Institute of Technology (KIT), Manar Mazkatli Karlsruhe Institute of Technology, Anne Koziolek Karlsruhe Institute of Technology

13:30 - 15:00	ICMM KeynoteICMM at D 239 Keynote of ICMM

13:30 90m Keynote		Consistency Management: Successful Practice Meets Research Needs ICMM Heiko Klare Vector Informatik GmbH

	15:30 - 17:00	ICMM Session 2: DiscussionICMM at D 239 Chair(s): Colin Atkinson University of Mannheim

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	TTC Live ContestTTC at D 239 See https://github.com/TransformationToolContest/ttc2025-live/ for the live contest resources; if you want to participate remotely, use https://syddanskuni.zoom.us/j/64808091593?pwd=h8Gc6iCL6PMjRCZr7jithJmNBdOaLZ.1

11:00 90m Keynote		Live Contest introduction and discussion of solutions TTC

13:30 - 15:00	TTC PanelTTC at D 239 Chair(s): Sandra Greiner University of Southern Denmark Do we still need transformation languages in the age of generative AI? If you want to participate remotely, use this link: https://syddanskuni.zoom.us/j/64808091593?pwd=h8Gc6iCL6PMjRCZr7jithJmNBdOaLZ.1

13:30 90m Panel		Model transformation in the age of generative AI TTC Sandra Greiner University of Southern Denmark, Artur Boronat University of Leicester, Jordi Cabot Luxembourg Institute of Science and Technology, Nils Weidmann , Dr Kevin Lano King's College London, Matthias Tichy Ulm University

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30
D 239	OCL 2025 OCL Session 1: OCL and beyond																														OCL 2025 OCL Session 2: Correctness and complexity metrics

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
D 239	AI4DPS AI4DPS Welcome & Session 1: Process Optimization																														AI4DPS AI4DPS Session 2: Support Systems																								AI4DPS AI4DPS Session 3: Legal Text Analysis via GenAI

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
D 239	ICMM ICMM Session 1: Welcome & Paper Presentations																														ICMM ICMM Keynote																								ICMM ICMM Session 2: Discussion

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00						30						12:00						30						13:00						30						14:00						30
D 239	TTC TTC Live Contest																														TTC TTC Panel

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
D 239	OCL Welcome 11:00 - 11:05	OCL OCL on Life Support: Can We Revitalize the Community for a Stronger Future? 11:05 - 11:15		OCL Sorted collection and map types for OCL 11:15 - 11:40					OCL Using LLMs to Extract OCL Specifications from Java and Python Programs: ... 11:40 - 12:05					OCL From OCL to JSX: Declarative Constraint Modeling in Modern SaaS Tools 12:05 - 12:30																	OCL Verifying OCL Pre/Post Condition using Cyclone 13:30 - 13:55					OCL A New Set of Metrics for Measuring Complexity of OCL Expressions 13:55 - 14:20					OCL Measuring Complexity of Logical Puzzles with Metrics Expressed in OCL 14:20 - 14:45					OCL Discussion and closing remarks 14:45 - 15:00

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
D 239	AI4DPS Welcome 11:00 - 12:30 Invited Talk: Generative KI in der Verwaltung 11:00 - 12:30 Nutzung von Large Language Models zur Unterstützung bei der Prozessmode ... 11:00 - 12:30 KI und BPM als Enabler der Digitalisierung in der Verwaltung 11:00 - 12:30 Discussion 11:00 - 12:30																														AI4DPS Invited Talk: From Files to Agents: How Generative AI Transforms Case H ... 13:30 - 15:00 Supporting Patients in Administrative Form-Filling through Conversation ... 13:30 - 15:00 AI-based and Model-driven Methods to Guide Citizens through Processes i ... 13:30 - 15:00 Discussion 13:30 - 15:00																								AI4DPS Toward a national repository of administrative procedures: Web Crawling ... 15:30 - 17:00 Structuring Legal Text as Preparation for Chat-Bot Use 15:30 - 17:00 Discussion 15:30 - 17:00

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
D 239	ICMM Towards Dynamic Views on Heterogeneous Models – The NeoJoin View Defini ... 11:00 - 11:30						ICMM Towards a Unified Model-Based Engineering Framework: Integrating UML Pr ... 11:30 - 12:00						ICMM A Process for Continuous Consistency-aware Quality Management 12:00 - 12:30																		ICMM Consistency Management: Successful Practice Meets Research Needs 13:30 - 15:00

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
D 239	TTC Live Contest introduction and discussion of solutions 11:00 - 12:30																														TTC Model transformation in the age of generative AI 13:30 - 15:00

Room information: D 239

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

OCL 2025

OCL 2025

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

AI4DPS

AI4DPS

AI4DPS

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICMM

ICMM

ICMM

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

TTC

TTC

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: D 239

Program Display Configuration

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

OCL 2025

OCL 2025

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

AI4DPS

AI4DPS

AI4DPS

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ICMM

ICMM

ICMM

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

TTC

TTC

Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 11 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 12 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 13 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change