TY - RPRT TI - From OCL to JSX: declarative constraint modeling in modern SaaS tools AU - Antonio Bucchiarone AU - Juri Di Rocco AU - Damiano Di Vincenzo AU - Alfonso Pierantonio PY - 2025 UR - https://arxiv.org/abs/2509.17629 ID - 2509.17629 ER -