15-20 Sep 2019
Munich, Germany
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
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: 14 Jul 2019
- Notification: 25 Aug 2019
- Pre-Workshop CRC: 9 Sep 2019
- Post-Workshop CRC: 5 Oct 2019
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam