posted by user: rclariso || 1357 views || tracked by 4 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://oclworkshop.github.io/2020/
 
When Jun 26, 2020 - Jun 26, 2020
Where Bergen, Norway
Abstract Registration Due Apr 27, 2020
Submission Deadline May 4, 2020
Notification Due May 25, 2020
Final Version Due Jun 19, 2020
Categories    software engineering   modeling   modeling languages   model-based engineering
 

Call For Papers

CALL FOR PAPERS
===========================================================
20th International Workshop on OCL and Textual Modeling
June 26, 2020, Bergen, Norway
http://oclworkshop.github.io/2020/
                       
Co-located with
   STAF 2020 - Software Technologies: Applications and Foundations          
https://staf2020.hvl.no/
===========================================================
             
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.

## 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

We particularly encourage submissions describing:
1. Applications and industrial case studies of textual modeling, with
a focus on both strengths and shortcomings.
2. Test suites and benchmark collections for evaluating textual
modeling tools.
3. 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 Springer LNCS format guidelines
(ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) and should be
uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl2020).

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 (http://www.ceur-ws.org).

## Important Dates

- Abstract submission: April 27, 2020
- Paper submission: May 4, 2020
- Notification: May 25, 2020
- Pre-Workshop CRC: June 19, 2020
- Workshop: June 26, 2020
- Post-Workshop CRC: To be confirmed

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

Related Resources

ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
EI/SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
PEOPLES 2020   THIRD WORKSHOP ON COMPUTATIONAL MODELING OF PEOPLE’S OPINIONS, PERSONALITY, AND EMOTIONS IN SOCIAL MEDIA
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
EI/SCOPUS-RobCE 2021   2021 International Conference on Robotics and Control Engineering (RobCE 2021)
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
GRAPP 2021   16th International Conference on Computer Graphics Theory and Applications
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
EI/SCOPUS-IC4M 2021   6th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2021)