OCL 2021 - 20th International Workshop on OCL and Textual Modeling

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. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases.
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. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.
OCL 2021 will be part of the Software Technologies: Applications and Foundations federated conferences (STAF 2021).
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
Empirical studies about the benefits and drawbacks of textual modeling languages
Innovative textual modeling tools
Comparison, evaluation and integration of modeling languages
Correlation between modeling languages and modeling tasks