[Haskell-cafe] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension

[Achim D. Brucker]

                        CALL FOR PAPERS
       19th International Workshop on OCL and Textual Modeling

                       Co-located with 
       MODELS 2019 ACM/IEEE 22nd International Conference on Model
              Driven Engineering Languages and System,
            September 15-20, 2019, Munich, Germany
                     http://oclworkshop.github.io



*******************************************************************
**** Deadline Extension: One week (21st of July, 2019 - AoE)   **** 
****                     left to submit your papers!           ****
*******************************************************************

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 (e.g., OCL, textual MOF, Epsilon, or Alloy) 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.

## 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 applications and case studies 
of textual modeling as well as test suites and benchmark collections for evaluating 
textual modeling tools.

## 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 LNCS format guidelines and should be
uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019).

Accepted papers will be published online in [CEUR](http://www.ceur-ws.org).

## Important Dates

- Submission of papers:      21 Jul 2019, AoE (extended)
- Notification:              25 Aug 2019, AoE
- Pre-Workshop CRC:           9 Sep 2019, AoE
- Post-Workshop CRC:          5 Oct 2019, AoE

-- 
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
           https://www.brucker.ch | https://logicalhacking.com/blog
                         @adbrucker | @logicalhacking