Program - STAF 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

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 at D 239

11:00 5m Day opening		Welcome OCL
11:05 10m Talk		OCL on Life Support: Can We Revitalize the Community for a Stronger Future? OCL 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 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 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 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 at D 239

13:30 25m Talk		Verifying OCL Pre/Post Condition using Cyclone OCL Yuelou Ding , Hao Wu Maynooth University
13:55 25m Talk		A New Set of Metrics for Measuring Complexity of OCL Expressions OCL 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 Martin Gogolla , Jesús Sánchez Cuadrado Universidad de Murcia
14:45 15m Day closing		Discussion and closing remarks OCL

Hide past events

OCL 2025 Program

This program is tentative and subject to change.

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

Tracks

Co-hosted Conferences

Workshops

Co-located Conference

Contests

OCL 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

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

Get Calendar (iCal)

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