STAF 2017 Workshops: Joint Call for Contributions

Joint Call for Contributions

Workshops of STAF 2017

BigMDE, GCM, GRAND, MORSE, OCL, VOLT

July 17-21, 2017 | Marburg | http://www.informatik.uni-marburg.de/staf2017/

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies:
ECMFA, ICGT, ICMT, TAP.

In addition to these conferences, STAF features six related workshops and cordially invites interested participants to actively contribute to the workshops.


*** Workshops of STAF 2017 ***

BigMDE: Scalability in Model Driven Engineering http://www.big-mde.eu/

GCM: Graph Computation Models
http://pages.di.unipi.it/corradini/Workshops/GCM2017/

GRAND: Grand Challenges in Modeling
http://www.edusymp.org/Grand2017/

MORSE: Model-driven Robot Software Engineering http://st.inf.tu-dresden.de/MORSE17/

OCL: OCL and Textual Modeling
https://oclworkshop.github.io/2017/

VOLT: Verification of Model Transformations http://www.informatik.uni-marburg.de/staf2017/

*** Important Dates ***

• Submission: around April 20 please check on the workshops' websites
• Notification: May 25
• Workshop Dates:
• July 17: GCM
• July 20: OCL
• July 21: BigMDE, GRAND, MORSE, VOLT

*** Submissions ***

For submission details, please check the individual workshop homepages.

*** Publication ***

STAF 2017 plans to organize joint Springer LNCS post-proceedings for
the workshops (confirmation by Springer pending).

*** Venue ***

In 2017, STAF will be hosted at Philipps-Universitat Marburg.

Marburg is located in the heart of Germany, one train-hour to the
north of Frankfurt. The castle and the beautiful old town Oberstadt
with its numerous bars and restaurants make Marburg highly attractive
for a visit.

*** Workshop Organizers ***

BigMDE
Dimitris Kolovos, University of York
Davide Di Ruscio, University of L'Aquila
Nicholas Matragkas, University of Hull
Jesus Sanchez Cuadrado, Universidad Autonoma de Madrid
Istvan Rath, Budapest University of Technology and Economics
Massimo Tisi, Ecole des Mines de Nantes

GCM
Andrea Corradini, Dipartimento di Informatica, Pisa

GRAND
Jordi Cabot, ICREA - Open University of Catalonia
Richard Paige, University of York
Alfonso Pierantonio, University of L'Aquila

MORSE
Sebastian Gotz, University of Technology Dresden
Christian Piechnick, University of Technology Dresden
Andreas Wortmann, RWTH Aachen University

OCL
Robert Bill, Vienna University of Technology
Achim D. Brucker, The University of Sheffield
Jordi Cabot, ICREA - Open University of Catalonia
Martin Gogolla, University of Bremen

VOLT
Moussa Amrani, University of Namur
Eugene Syriani, University of Montreal
Manuel Wimmer, Vienna University of Technology

*** Workshop Co-Chairs ***

Martina Seidl, JKU Linz,
http://fmv.jku.at/seidl

Steffen Zschaler, King's College London,
http://www.steffen-zschaler.de

*** Workshop Descriptions ***

Grand Challenges in Modeling (GRAND)

This workshop will bring together researchers and practitioners interested
in the future of model-driven engineering. A lot has been achieved, but big
challenges remain. The purpose of this workshop is to help identify these
challenges and a research roadmap for model-driven engineering over the next
years.

4th International Workshop on Model-driven Robot Software Engineering (MORSE)

Robots are an indispensable part of modern production facilities. In the future,
robots will also become more common in daily life. Currently, however, there is a
lack of standardization w. r. t. hardware/software platforms for robots, leading to
a vast landscape of isolated, incompatible, task-specific and, thus, non-reusable
solutions. Consequently, there is a need for new engineering methodologies for the
design, implementation and execution of software for robotic platforms. MORSE
provides a venue for discussing new ideas on the application of model-driven
engineering to robotics.

5th International Workshop on Scalable Model Driven Engineering (BigMDE)

As Model Driven Engineering (MDE) is increasingly applied to larger and more complex
systems, the current generation of modelling and model management technologies are
being pushed to their limits in terms of capacity and efficiency. As such, additional
research and development is imperative in order to enable MDE to remain relevant with
industrial practice and to continue delivering its widely-recognised productivity,
quality, and maintainability benefits. The aim of this workshop is to provide a
venue where developers and users of modelling and model management languages and
tools can present problems and solutions around the scalability of MDE.

6th International Workshop on Verification and Validation Of modeL Transformations (VOLT)

This workshop offers researchers a dedicated forum to classify, discuss,
propose, and advance verification and validation techniques dedicated to
model transformations. VOLT 2017 promotes discussions between theoreticians
and practitioners from academy and industry. A significant part of the workshop
includes a forum for discussing practical applications of model transformations
and related problems. One of the goals of the forum is to collect enough
industrial case studies so that those problems can be stated at a theoretical
level.

8th International Workshop on Graph Computation Models (GCM)

Graphs are common mathematical structures which are visual and intuitive. They
constitute a natural and seamless way for system modeling in science, engineering
and beyond, including computer science, life sciences, business processes, etc.
Graph computation models constitute a class of very high-level models where graphs
are first-class citizens. Their mathematical foundation, in addition to their visual
nature, facilitates specification, validation and analysis of complex systems. The
aim of GCM 2017 is to bring together researchers interested in all aspects of
computation models based on graphs and graph transformation techniques. The workshop
promotes the cross-fertilizing exchange of ideas and experiences among researchers
and students from the different communities interested in the foundations,
applications, and implementations of graph computation models and related areas.

17th International Workshop in OCL and Textual Modeling (OCL)

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