STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
Tue 10 Jun 2025 13:55 - 14:20 at D 239 - OCL Session 2: Correctness and complexity metrics

The Object Constraint Language (OCL) is extensively used in model-driven engineering to specify constraints on UML class diagrams. Evaluating the complexity of OCL expressions remains a challenge, particularly in the context of verification. This paper introduces a complete new set of metrics for measuring OCL expressions. This gives us an advantage of measuring OCL in a customizable way. First, we enhance the Structural Complexity. Second, we propose two new types of metrics: Computational and Dependency Complexity. Finally, we calculate overall complexity by using Total Complexity metric. Our experimental results demonstrate how one can measure the complexity of an OCL benchmark in terms of verification time that is used to define the weights for OCL constructs.

Tue 10 Jun

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

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
14:45
15m
Day closing
Discussion and closing remarks
OCL