Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed visual representations bear the risk of becoming overcrowded faster than textual models and some of the visual features lack the level of precision required to create complete and unambiguous specifications. These weaknesses of graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy.
The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards.
Previous editions
This program is tentative and subject to change.
Tue 10 JunDisplayed 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 | ||
13:30 - 15:00 | |||
13:30 25mTalk | Verifying OCL Pre/Post Condition using Cyclone OCL | ||
13:55 25mTalk | A New Set of Metrics for Measuring Complexity of OCL Expressions OCL | ||
14:20 25mTalk | Measuring Complexity of Logical Puzzles with Metrics Expressed in OCL OCL | ||
14:45 15mDay closing | Discussion and closing remarks OCL | ||
Accepted Papers
Call for Papers
Topics of interest
Topics of interest include (but are not limited to):
- Mappings between textual modeling languages and other languages/formalisms
- Mathematical models and/or formal semantics for textual modeling languages
- Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for:
- validation, verification, and testing,
- model transformation and code generation,
- meta-modeling and DSLs, and
- query and constraint specifications
- Alternative graphical/textual notations for textual modeling languages
- Evolution, transformation and simplification of textual modeling expressions
- Libraries, templates and patterns for textual modeling languages
- Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants)
- Model-driven security using textual modeling languages
- Complexity results for textual modeling languages
- Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms
- Successful applications of textual modeling languages
- Case studies on industrial applications of textual modeling languages
- Experience reports:
- usage of textual modeling languages and tools in complex domains,
- usability of textual modeling languages and tools for end-users,
- applications of textual modeling in the lifecycle of intelligent systems,
- applications of textual modeling with a positive impact on society
- Empirical studies about the benefits and drawbacks of textual modeling
- Innovative textual modeling tools
- Comparison, evaluation and integration of modeling languages
- Correlation between modeling languages and modeling tasks
- Evaluation of generative AI tools to create textual modeling specifications
- Reflections on the future trends of textual modeling languages and their integrity with other software development technologies
Submissions
Four types of submissions will be considered:
- Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation.
- Short papers (5 pages) describing new ideas or position papers.
- Tool papers (5 pages) describing tools supporting textual modeling.
- Full papers (between 7 and 10 pages).
All papers must follow the CEUR single-column workshop proceedings format. Submissions must be sent through EasyChair, selecting the track “OCL 2025”. The workshop proceedings will be published as a volume in CEUR-WS.org.
The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop.
| Mon 19 May 2025 Camera ready submission |
| Fri 9 May 2025 Author registration deadline |
| Mon 5 May 2025 Notification |
| Fri 4 Apr 2025 Paper submission |
| Fri 28 Mar 2025 Abstract submission |
Robert ClarisóCo-chair
Universitat Oberta de Catalunya
Spain
Lars HamannCo-chair
HAW Hamburg
Germany
Mustafa Al LailCommittee Member
Texas A&M International University
Achim D. BruckerCommittee Member
University of Exeter
Jordi CabotCommittee Member
Luxembourg Institute of Science and Technology
Luxembourg
Daniel CalegariCommittee Member
Universidad de la República Uruguay
Uruguay
Dan Chiorean
Duc-Hanh DangCommittee Member
VNU University of Engineering and Technology
Vietnam
Martin GogollaCommittee Member
Denis NikiforovCommittee Member
Xavier OriolCommittee Member
Universitat Politècnica de Catalunya
Spain
Bernhard RumpeCommittee Member
RWTH Aachen University
Germany
Arnon SturmCommittee Member
Ben-Gurion University of the Negev
Israel
Edward WillinkCommittee Member
Willing Transformations Limited
Hao WuCommittee Member
Maynooth University
Ireland