Tue 10 Jun 2025 11:15 - 11:40 at D 239 - OCL Session 1: OCL and beyond
The OCL collection types defined in the OMG v2.4 standard are a key part of the language, and corresponding types can now be found in most modern programming languages such as Java, C# and Python. Further aggregate types, particularly maps, have been added in revised OCL versions. In this paper we give a rationale for extending the OCL collection and map type system with intrinsically-sorted versions of these aggregate types, and present the appropriate revisions of OCL operators for these types.
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 | ||