STAF 2025 (series) / OCL 2025 (series) /
OCL 2025 Program
This is the OCL 2025 program - see the full program for STAF 2025 and all affiliated events.
Filter Program
Dates
Tue 10 Jun 2025
Rooms
D 239
Tracks
OCL
Badges
Nothing to filter
Your Program
Nothing to filter
Tue 10 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 10 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
11:00 - 12:30 | |||
11:00 5mDay opening | Welcome OCL | ||
11:05 10mTalk | 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 25mTalk | 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 25mTalk | Using LLMs to Extract OCL Specifications from Java and Python Programs: An Empirical Study OCL | ||
12:05 25mTalk | 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 | |||
13:30 25mTalk | Verifying OCL Pre/Post Condition using Cyclone OCL | ||
13:55 25mTalk | A New Set of Metrics for Measuring Complexity of OCL Expressions OCL | ||
14:20 25mTalk | Measuring Complexity of Logical Puzzles with Metrics Expressed in OCL OCL | ||
14:45 15mDay closing | Discussion and closing remarks OCL |