Workshops

You are here: Home » Workshops

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
BX Bidirectional Transformations
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-speci c 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-Speci c 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 certifi cation and veri fication. 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.

Chair:
Colin Atkinson (Software Engineering Group University of Mannheim, Germany)

Website: http://swt4.informatik.uni-mannheim.de/morse2015/

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

Chairs:
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)

Website: http://bm-fa-2015.hs-osnabrueck.de/

top
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 diff erent 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).

Chair:
Detlef Plump (The University of York, United Kingdom)

Website: http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html

top
PAME – Patterns in Model Engineering

 

Abstract: The fi eld of Model-Driven Engineering (MDE) has evolved tremendously since its early stages. Current development activities in MDE span very diff erent techniques such as metamodeling, model transformation, domain-specfi c modeling, model evolution, model verifi cation 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) o ffers researchers a dedicated forum to identify, discuss, formulate and analyze the recurring patterns that occur during di fferent modeling activities, and with di fferent 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.

Chairs:
Eugene Syriani (University of Montreal)
Richard Paige (University of York)
Ste ffen Zschaler (King’s College London)
Huseyin Ergin (University of Alabama)

Website: http://www-ens.iro.umontreal.ca/~syriani/pame2015/

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

Chairs:
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)

Website: http://vao.ipd.kit.edu/vao_2015

top
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 bene fits. 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.

Chairs:
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)

Website: http://www.big-mde.eu/

top
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 e ffective. Model transformations became first-class citizens with the advent of Mdd. Later, in 2005, several experts have identi ed the verifi cation of model transformations as one of the grand challenges of Mdd. Despite some recent activity in the fi eld, the work on the verifi cation 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 verifi cation techniques to support such activities. The Fourth International Workshop on the Veri fication Of modeL Transformation (VolT 2015) is one of the most accurate venue to o ffer researchers a dedicated forum to classify, discuss, propose, and advance veri fication techniques dedicated to model transformations. VolT 2015 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF.

Chairs:
Moussa Amrani (University of Namur, Belgium)
Eugene Syriani (University of Montreal, Canada)
Manuel Wimmer (Vienna University of Technology, Austria)

Website: http://volt2015.big.tuwien.ac.at/

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

Chairs:
Ekkart Kindler (Technical University of Denmark, Denmark)
Alcino Cunha (University of Minho, Portugal)

Website: http://bx-community.wikidot.com/bx2015:home

Proceedingshttp://ceur-ws.org/Vol-1396/

top