[Haskell] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)
Achim D. Brucker
brucker at spamfence.net
Sun Jul 8 17:22:25 UTC 2018
(Apologies for duplicates)
**********************************************************
** Only one week left until the submission deadline! ***
**********************************************************
CALL FOR PAPERS
18th International Workshop on OCL and Textual Modeling
Co-located with
MODELS 2018: ACM/IEEE 21th International Conference on Model
Driven Engineering Languages and System,
October 14, 2018, Copenhagen, Denmark
http://oclworkshop.github.io
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.
## 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.
## Venue
This workshop will be organized as a part of MODELS 2018 Conference in
Copenhagen, Denmark. Similar to its predecessors, the workshop addresses both
people from academia and industry. The aim is to provide a forum for addressing
integration of OCL and other textual modeling languages, as well as tools for
textual modeling, and for disseminating good practice and discussing the new
requirements for textual modeling.
## Workshop Format
The workshop will include short (about 15 min) presentations, parallel
sessions of working groups, and sum-up discussions.
## Submissions
Two types of papers will be considered:
* Short contributions (between 5 and 7 pages) describing new ideas, innovative
tools or position papers.
* Full papers (between 10 and 14 pages).
in LNCS format. Submissions should be uploaded to
[EasyChair](https://easychair.org/conferences/?conf=ocl2018).
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, as part of the
MODELS workshop proceedings, in [CEUR](http://www.ceur-ws.org).
## Important Dates
- Submission of papers: July 17, 2018
- Notification: August 17, 2018
- Workshop date: October 14, 2018
--
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
More information about the Haskell
mailing list