Object Constraint Language

The Object Constraint Language (OCL) is a formal language used to specify constraints and queries within object-oriented models, primarily UML diagrams, ensuring model integrity and facilitating automated processes. Current research focuses on leveraging large language models (LLMs), like GPT-3 and GPT-4, to automate OCL generation from natural language requirements and improve the efficiency of OCL-based tasks such as test data generation. This work addresses challenges like prompt engineering for LLMs and the development of efficient algorithms to handle large models, ultimately aiming to improve software development productivity and reliability, particularly in safety-critical domains like avionics.