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.

This year, MODELS workshops share a common theme of "Modeling for social good". Thus, we particularly encourage submissions considering the application of textual modeling to intelligent systems, and social/ethical issues.

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
- 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 submissions should follow the ACM sigconf style and should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl2022).

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. Accepted papers will be included in a joint MODELS' workshop proceedings volume to appear in the ACM digital library.

Important Dates (AoE - Anywhere on Earth)

- Abstract submission: July 13, 2022
- Paper submission: July 20, 2022
- Notification: August 19, 2022
- Camera ready: August 26, 2022
- Workshop: October 23-25, 2022 (To be decided)