Important dates for all the workshops (but GCM)
• Abstract submission: 24 April 2015
• Paper submission: 8 May 2015
• Author notification: 5 June 2015
• Camera-ready version: 19 June 2015
The workshops will be held according to the following schedule:
|Monday July 20, 2015|
|BM-FA||Behaviour Modelling – Foundations and Applications|
|GCM||Graph Computation Models|
|Tuesday July 21, 2015|
|PAME||Patterns in Model Engineering|
|VAO||View-Based, Aspect-Oriented and Orthographic Software Modelling|
|MORSE||Model-Driven Robot Software Engineering|
|Thursday 23, 2015|
|BigMDE||Scalable Model Driven Engineering|
|VOLT||Verification Of Model Transformations|
|Friday 24, 2015|
MORSE – Model-Driven Robot Software Engineering
Abstract: Robots are already an indispensable part of modern production facilities and will soon become an essential part of 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-specic and, thus, non reusable solutions. Consequently, there is a need for a new engineering methodology for the design, implementation, and execution of software systems for future robotic platforms. Model-Driven Robot Software Engineering (MORSE) is a promising new research eld combining Model-Driven Software Engineering and Robotics. Its objectives are to adapt software reuse approaches, such as Model-Driven Architecture, Domain-Specic Languages, and Model-Driven Software Development, for the development of robot software. As well as making “robot apps” easier to develop and evolve, this will allow formal methods, such as model checking, to be used in their certification and verification. The goal of the MORSE workshop series is to discuss how model driven software engineering technologies can make it easier for third-party developers to create and evolve “robot apps” for standard robot platforms.
• Colin Atkinson (Software Engineering Group University of Mannheim, Germany)
BM-FA: Behaviour Modelling – Foundations and Applications
Abstract: Model-based Software Engineering (MBSE) is mostly used for the structural parts of the software. Except for the Business Process Management areas, models for the behaviour or the functional specification of the software are not very often used for code generation or direct execution. The complexity of today’s software systems is increasing in various ways. There is an increasing demand for smart and self-adaptive software systems, which can effectively cope with changes in their execution environment. Complex software systems are developed as systems of systems, which are composed of many independently developed and managed software systems. Such a composition leads to various kinds of emergent behavior, which must be modelled and its impacts must be analyzed. Last but not least, software engineers have to deal with massively parallel and distributed software systems. In this ear, behavioral modelling is no longer a luxury; instead, it is a necessity to facilitate comprehending the behavior of software systems and reasoning about it. The 7th edition of workshop on Behaviour Modelling – Foundations and Applications (BM-FA) attracts attention to the role of behaviour modelling in development of today’s complex software systems.
• Somayeh Malakuti (Technical University of Dresden, Germany)
• Ashley McNeile (Metamaxim Ltd, UK)
• Ekkart Kindler (Technical University of Denmark)
• Christian Gerth (Osnabrück University of Applied Sciences, Germany)
• Mehmet Aksit (University of Twente, The Netherlands)
GCM – Graph Computation Models
Abstract: The aim of the International Workshop GCM 2015 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques. It 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. Previous editions of the GCM series were held in Natal, Brazil (GCM 2006), in Leicester, UK (GCM 2008), in Enschede, The Netherlands (GCM 2010), in Bremen, Germany (GCM 2012) and in York, UK (GCM 2014).
• Detlef Plump (The University of York, United Kingdom)
PAME – Patterns in Model Engineering
Abstract: The field of Model-Driven Engineering (MDE) has evolved tremendously since its early stages. Current development activities in MDE span very different techniques such as metamodeling, model transformation, domain-specfic modeling, model evolution, model verification and validation. Although some preliminary work on design patterns has been proposed for some of them, this is an area of MDE that yet needs to be explored. The first international workshop on Patterns in Model Engineering (PAME 2015) offers researchers a dedicated forum to identify, discuss, formulate and analyze the recurring patterns that occur during different modeling activities, and with different modeling languages, tools and operations. PAME 2015 provides an arena to discuss, identify, between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF.
VAO – View-Based, Aspect-Oriented and Orthographic Software Modelling
Abstract: Modern software engineering paradigms, such as model-driven development, multi-view modelling, or role-based software development, use different types and combinations of abstraction techniques to decompose systems into human-tractable pieces. This leads to an increasing number of artefacts and views that have to be considered, which presents fundamental challenges for engineers of complex software-intensive systems. Software developers need technologies for operationally managing views of systems in a consistent way, and software architects require concepts that indicate in which way views and models should be developed, evolved, and navigated as projects evolve. The previous edition of this workshop successfully brought together researchers and practitioners from the field of model-driven software development. The presentations and discussions showed that many of the concepts for managing software artefacts can also be applied for the modelling of non-software artefacts that interact with software artefacts, for example, hardware models, commonunication networks and energy infrastructure. The overall goal of this workshop is to distil a common understanding of existing approaches and current research directions in software and systems modelling. Furthermore, the workshop aims to provide a forum for the latest scientific advancements in the field of view-based, aspect-oriented, or orthographic software modelling with a special focus on the modeling of non-software artifacts.
• Uwe Aßmann (Dresden University of Technology, Germany)
• Erik Burger (Karlsruhe Institute of Technology, Germany)
• Thomas Goldschmidt (ABB Corporate Research, Ladenburg, Germany)
• Ralf H. Reussner (Karlsruhe Institute of Technology, Germany)
BigMDE – Scalable Model Driven Engineering
Abstract: 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 related to scalability in MDE.
• Dimitris Kolovos (University of York)
• Nicholas Matragkas (University of York)
• Davide Di Ruscio (University of L’Aquila)
• Jesús Sánchez Cuadrado (Universidad Autónoma de Madrid)
• István Ráth (Budapest University of Technology and Economics)
• Massimo Tisi (École des Mines de Nantes)
VOLT – Verification Of Model Transformations
Abstract: Model transformations are everywhere in software development, implicitly or explicitly. They have been described in 2003 as “the heart and soul of Model-Driven Development (Mdd)”. It is generally accepted that Mdd is a very promising means for raising the level of abstraction of current software development techniques, while making it more reliable, efficient, safe, and cost effective. Model transformations became first-class citizens with the advent of Mdd. Later, in 2005, several experts have identied the verification of model transformations as one of the grand challenges of Mdd. Despite some recent activity in the field, the work on the verification of model transformations remains scattered and a clear perspective on the subject is still not in sight. Furthermore, current model transformation tools most often lack verification techniques to support such activities. The Fourth International Workshop on the Verification Of modeL Transformation (VolT 2015) is one of the most accurate venue to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VolT 2015 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF.
BX – Bidirectional Transformations
Abstract: Bidirectional transformations (Bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. BX 2015 is a dedicated venue for BX in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop rotated between venues in different fields. In 2015, Bx is co-located with STAF for the first time.