Paper Submission Deadline: 12 July 2019
Author Notification: 26 July 2019
Camera-ready Submission: 11 August 2019
Workshop Date: 15 September 2019
Modern software systems are often so complex that a comprehensive description of their functionality lies beyond the representative capabilities of a single paradigm or software description format (i.e. type of model). Therefore, a growing variety of heterogeneous representations (e.g. specifications, models, programs etc.) are typically used in the various phases of software development to describe different aspects of a system’s behavior and properties. These essentially represent different conceptual views of a software system, and usually present overlapping information that needs to be kept consistent.
Traditional software engineering environments have implicitly adopted a synthesis-based approach to views in which the different representations of software systems are treated as separate, sovereign artefacts. The properties of the system under development are then inferred from a synthesis of the information spread over the different views, and the overall coherence of the information is ensured by maintaining a large number of pairwise “correspondences” between the separate artefacts.
Although this worked in the early years of software engineering, synthesis-based approaches are not easy to scale up to today’s systems. As well as the problems created by the sheer number of correspondence relationships (cf. traceability) that need to be maintained (which grows with the square of the number of views), the step-wise refinement principle underpinning synthesis-based methods does not suit the continuous-evolution style in which software is typically developed today.
Attention is therefore turning to alternative “projective” approaches to software engineering in which view are projected (i.e. transformed) on a demand from a Single Underlying Model (SUM) which contains a comprehensive, coherent description of the system. This dramatically decreases the number of inter-view coherence relationships that need to be maintained and thus the scalability of multi-view approaches. However, it raises many new challenges such as how views are kept consistent with the SUM, how the SUM is created and structured internally, how new viewpoints and view types are defined, what roles are involved in view definition and usage etc.
The goal of this workshop is to illuminate these issues and shed light on the pros and cons of different approaches. The workshop is therefore interested in submissions on all aspects of view-based software systems engineering especially those describing SUM based approaches and comparing projective versus synthetic strategies for modeling software and systems. Potential topics include:
- clarifying the relationship between different views or metamodels
- generating, defining and evolving views and SUMs
- exploring round-trip engineering and co-evolution in a view-based approach
- composition of different views/models, metamodels and SUMs
- creating SUMs in an existing model/metamodel/language landscape
- use of (bidirectional) transformations in view-based environments
- avoiding inconsistencies, overlap and redundancies between views
- using advanced modeling approaches in view-based approaches such as role modeling
- separating and re-integrating cross-cutting concerns or model weaving
- supporting dynamic information hiding for partial views
- integrating software and non-software models
09:00-10:30 Introduction and Invited Talk (Session Chair: Colin Atkinson)
- Introduction to VoSE
- Joao Paulo Almeida: The role of reference ontologies in view-based modeling (invited talk)
A reference ontology is intended to formalize our conceptualization of a certain domain of inquiry, usually by defining categories of entities in that domain, their relations and admissible combinations as governed by axioms. In this talk, I will discuss how a reference ontology can serve as a semantic foundation for a modeling language, informing the design of the language’s metamodel. I will also discuss some implications of the ontology-based approach for a view-based modeling strategy. (slides)
10:30-11:00 Coffee Break
11:00-12:30 Paper Presentations 1 (Session Chair: Andreas Winter)
- Jef Stegen, Stefan Dutre, Joe Zhensheng Guo, Marc Zeller, Stefan Rothbauer: Meta model application for consistency management of models for avionic systems design (slides)
- Heiko Klare, Joshua Gleitze: Commonalities for Preserving Consistency of Multiple Models (slides)
- Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle: Towards Modular Combination and Reuse of Languages with Perspectives (slides)
12:30-14:00 Lunch Break
14:00-15:30 Paper Presentations 2 (Session Chair: Ralf Reussner)
- Christopher Werner, Manuel Wimmer, Uwe Assmann: A Generic Language for Query and Viewtype Generation by Example (slides)
- Théo Le Calvar, Frédéric Jouault, Fabien Chhel, Frédéric Saubion, Mickael Clavreul: Intensional View Definition with Constrained Incremental Transformation Rules (slides)
- Comparison and discussion of the approaches
15:30-16:00 Coffee Break
16:00-17:30 Discussions and Community Building (slides)
- common challenges
- community challenge
- community building
Two kinds of papers may be submitted:
Research papers of up to 8 pages (including references) which presents original work on problems that occur in view-based software engineering and/or solutions that deal with the systematic separation or integration of models, concerns, views, roles, or other modelling artefacts.
Position papers of up to 4 pages (including references) which present an innovative and well-defined position on how view-based software engineering can be improved and applied in the future.
Papers should be formatted according to the IEEE formatting instructions: www.ieee.org/conferences/publishing/templates.html
Authors submit their papers as PDF files to easychair.org/conferences/?conf=vose2019
Accepted papers will be published by IEEE in an online workshop proceedings.
Submissions will be reviewed by program committee members regarding originality, scientific quality and relevance. Each submission will receive at least two reviews.
Olivier Barais, University of Rennes 1 / IRISA, France
Steffen Becker, University of Stuttgart, Germany
Antonio Cicchetti, Mälardalen University, Sweden
Ulrich Frank, Universität Duisburg-Essen, Germany
Mike Godfrey, University of Waterloo, Canada
Michael Goedicke, University of Duisburg/Essen, Germany
Georg Grossmann, University of South Australia, Australia
Anca D. Ionita, Polytechnic University of Bucharest, Romania
Jörg Kienzle, McGill University, Canada
Heiko Klare, Karlsruhe Institute of Technology, Germany
Anne Koziolek, Karlsruhe Institute of Technology, Germany
Dilshodbek Kuryazov, TUIT/Branch Urgench, Uzbekistan
Noël Plouzeau, University of Rennes, France
Marten van Sinderen, University of Twente, Netherlands
Antonio Vallecillo, Universidad de Málaga, Spain
Christopher Werner, Dresden University of Technology, Germany
Manuel Wimmer, Technische Universität Wien, Austria
Steffen Zschaler, King’s College London, United Kingdom
Some more photos are available for participants only.