posted by user: rclariso || 1722 views || tracked by 1 users: [display]

OCL 2023 : 22nd International Workshop on OCL and Textual Modeling

FacebookTwitterLinkedInGoogle

Link: https://oclworkshop.github.io/2023
 
When Oct 1, 2023 - Oct 3, 2023
Where Vasteras, Sweden
Submission Deadline Jul 17, 2023
Notification Due Aug 15, 2023
Final Version Due Aug 22, 2023
Categories    software engineering   model-based engineering   modeling languages
 

Call For Papers

==================================================
CALL FOR PAPERS
22th International Workshop on OCL and Textual Modeling
October 1-3, 2023 - Vasteras, Sweden
http://oclworkshop.github.io/2023/

Co-located with
MODELS 2023 - 26th ACM/IEEEInternational Conference on
Model Driven Engineering Languages and Systems
==================================================

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.

## 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 manage textual modeling specifications (creation, refactoring, …)
- 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 IEEE style and should be uploaded
to EasyChair (https://easychair.org/conferences/?conf=ocl2023).

The program committee will review the submissions 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 be published by IEEE.

## Important Dates (AoE - Anywhere on Earth) ##

- Paper submission: July 17, 2023
- Notification: August 15, 2023
- Camera ready: August 22, 2023
- Workshop: October 1-3, 2023 (To be decided)

## Organizers ##

- Robert Clarisó, Universitat Oberta de Catalunya, Spain
- Lars Hamann, Hamburg Univ. of Applied Sciences, Germany

Related Resources

SIMUL 2025   The Seventeenth International Conference on Advances in System Modeling and Simulation
IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
ICCSM--EI 2025   2025 9th International Conference on Computer, Software and Modeling (ICCSM 2025)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
GENAIDOC 2024   The First International Workshop on Generative AI for Textual Document Analysis
ICMLSC 2025   2025 The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025)
BPMDS 2024   Business Process Modeling, Development, and Support
ICMLT 2025   2025 10th International Conference on Machine Learning Technologies (ICMLT 2025)
IEEE DSIT 2024   2024 IEEE 7th International Conference on Data Science and Information Technology (DSIT 2024)
SIMULTECH 2025   15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications