[ecoop-info] CfP: 20th International Workshop on OCL and Textual Modeling (OCL'2020 @ STAF)
Robert Clarisó Viladrosa
rclariso at uoc.edu
Fri Feb 21 11:19:57 CET 2020
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.
----
Daniel Calegari, Robert Clarisó and Edward Willink
OCL 2020 Workshop Organizers
--
INFORMACIÓ SOBRE PROTECCIÓ DE DADES DE LA UNIVERSITAT OBERTA DE
CATALUNYA (UOC)
Us informem que les vostres dades identificatives i les
contingudes en els missatges electrònics i fitxers adjunts es poden
incorporar a les nostres bases de dades amb la finalitat de gestionar les
relacions i comunicacions vinculades a la UOC, i que es poden conservar
mentre es mantingui la relació. Si ho voleu, podeu exercir el dret a
accedir a les vostres dades, rectificar-les i suprimir-les i altres drets
reconeguts normativament adreçant-vos a l'adreça de correu emissora o a
fuoc_pd at uoc.edu <mailto:fuoc_pd at uoc.edu>.
Aquest missatge i qualsevol
fitxer que porti adjunt, si escau, tenen el caràcter de confidencials i
s'adrecen únicament a la persona o entitat a qui s'han enviat.
Així
mateix, posem a la vostra disposició un delegat de protecció de dades que
no només s'encarregarà de supervisar tots els tractaments de dades de la
nostra entitat, sinó que us podrà atendre per a qualsevol qüestió
relacionada amb el tractament de dades. La seva adreça de contacte és
dpd at uoc.edu <mailto:dpd at uoc.edu>.
INFORMACIÓN SOBRE PROTECCIÓN DE DATOS DE
LA UNIVERSITAT OBERTA DE CATALUNYA (UOC)
Os informamos de que vuestros
datos identificativos y los contenidos en los mensajes electrónicos y
ficheros adjuntos pueden incorporarse a nuestras bases de datos con el fin
de gestionar las relaciones y comunicaciones vinculadas a la UOC, y de que
pueden conservarse mientras se mantenga la relación. Si lo deseáis, podéis
ejercer el derecho a acceder a vuestros datos, rectificarlos y suprimirlos
y otros derechos reconocidos normativamente dirigiéndoos a la dirección de
correo emisora o a fuoc_pd at uoc.edu <mailto:fuoc_pd at uoc.edu>.
Este mensaje y
cualquier fichero que lleve adjunto, si procede, tienen el carácter de
confidenciales y se dirigen únicamente a la persona o entidad a quien se
han enviado.
Así mismo, ponemos a vuestra disposición a un delegado de
protección de datos que no solo se encargará de supervisar todos los
tratamientos de datos de nuestra entidad, sino que podrá atenderos para
cualquier cuestión relacionada con el tratamiento de datos. Su dirección de
contacto es dpd at uoc.edu <mailto:dpd at uoc.edu>.
UNIVERSITAT OBERTA DE
CATALUNYA (UOC) DATA PROTECTION INFORMATION
Your personal data and the data
contained in your email messages and attached files may be stored in our
databases for the purpose of maintaining relations and communications
linked to the UOC, and the data may be stored for as long as these
relations and communications are maintained. If you so wish, you can
exercise your rights to access, rectification and erasure of your data, and
any other legally held rights, by writing to the sender’s email address or
to fuoc_pd at uoc.edu <http://fuoc_pd@uoc.edu>.
This message and, where
applicable, any attachments are confidential and addressed solely to the
individual or organization they were sent to.
The UOC has a data protection
officer who not only supervises the data processing carried out at the
University, but who will also respond to any questions you may have about
this data processing. You can contact our data protection officer by
writing to dpd at uoc.edu <http://dpd@uoc.edu>.
More information about the ecoop-info
mailing list