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

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

FacebookTwitterLinkedInGoogle

Link: https://oclworkshop.github.io/2021/cfp.html
 
When Jun 25, 2021 - Jun 25, 2021
Where Virtual
Abstract Registration Due Apr 27, 2021
Submission Deadline May 4, 2021
Notification Due May 25, 2021
Final Version Due Jun 15, 2021
Categories    software engineering   modeling   modeling languages   model-based engineering
 

Call For Papers

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:
o validation, verification, and testing,
o model transformation and code generation,
o meta-modeling and DSLs, and
o 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:
o usage of textual modeling languages and tools in complex domains,
o 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

We particularly encourage submissions describing:

- Applications and industrial case studies of textual modeling, with a focus on both strengths and shortcomings.
- Test suites and benchmark collections for evaluating textual modeling tools.
- Evolution and perspectives of textual modeling languages, such as its compatibility and integration with other languages.

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 (between 5 and 7 pages) describing new ideas or position papers.
- Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools
- Full papers (between 10 and 14 pages).

All submissions should follow the CEUR 1 column style (available from CEUR or Overleaf) and should be uploaded to EasyChair.

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 published online in CEUR.

Important Dates

- Abstract submission: Apr 27 2021, AoE
- Paper submission: May 4 2021, AoE
- Notification: May 25 2021, AoE
- Pre-Workshop CRC: June 15 2021
- Workshop: June 25 2021
- Post-Workshop CRC: July 25 2021

Should you have any problem to meet the deadlines, please contact the organizers.

Related Resources

ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
CSMO 2022   2022 6th International Conference on Simulation, Modeling and Optimization (CSMO 2022)
ACM--ICMLSC--EI Compendex, Scopus 2022   ACM--2022 The 6th International Conference on Machine Learning and Soft Computing (ICMLSC 2022)--Ei compendex, scopus
MODELSWARD 2022   10th International Conference on Model-Driven Engineering and Software Development
CMSA 2022   2022 4th International Conference on Computer Modeling, Simulation and Algorithm (CMSA2022)
MDPI Mathematics InSysModGraph 2021   Special Issue Information Systems Modeling Based on Graph Theory
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
China-ACFPE 2022   2022 Asian Confernce on Frontiers of Power and Energy (ACFPE 2022)
Bioinspired Intelligent Algorithms 2021   Special Issue Bioinspired Intelligent Algorithms for Optimization, Modeling and Control: Theory and Applications
ECOOP 2022   European Conference on Object-Oriented Programming