STAF 2025
Tue 10 - Fri 13 June 2025 Koblenz, Germany
Tue 10 Jun 2025 12:05 - 12:30 at D 239 - OCL Session 1: OCL and beyond

The rise of Node.js in 2010, followed by frameworks like Angular, React, and Vue.js, has accelerated the growth of low-code development platforms. These platforms harness modern UIX paradigms, component-based architectures, and the SaaS model to enable non-experts to build software. The widespread adoption of single-page applications (SPAs), driven by these frameworks, has shaped low-code tools to deliver responsive, client-side experiences. In parallel, many modeling platforms have moved to the cloud, adopting either server-centric architectures (e.g., GSLP) or client-side intelligence via SPA frameworks, anchoring core components in JavaScript or TypeScript. Within this context, OCL.js, a JavaScript-based implementation of the Object Constraint Language, offers a web-aligned approach to model validation, yet faces challenges such as partial standard coverage, limited adoption, and weak integration with modern frontend toolchains.

In this paper, we explore JSX—a declarative, functional subset of JavaScript/TypeScript used in the React ecosystem—as an alternative for constraint expression in SaaS-based modeling environments. Its component-oriented structure supports inductive definitions for syntax, code generation, and querying. Through empirical evaluation, we compare JSX-based constraints with OCL.js across representative modeling scenarios. Results show JSX provides broader expressiveness and better fits frontend-first architectures, indicating a promising path for constraint specification in modern modeling tools.

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