Keynote by Bernhard Rumpe: Compositional Multi-Paradigm Models for Software Development

Abstract:
Model based software development promises to strongly improve efficiency and quality in software development projects. However, MBSE has not yet delivered its promises yet. In the talk, we examine the current state and problems of MBSE and discuss a number of approaches to tackle those. In particular, we identify the "one model describes all" approach to be too clumsy to allow appropriate, view- and paradigm-specific abstractions. These abstractions however need to be composed to fully understand the system under development. We discuss how to make use of concise, view-specific, heterogeneous models in of different languages needs to fit together. A model based development process (both with UML as well as a domain specific modeling language (DSML)) heavily relies on modeling core parts of a system in a redundant free form, having compositional generators to early and repeatedly cut code and tests from these models. We in detail discuss compositionality on models and paradigm-specific heterogeneous modeling languages and how it supports agile development as well as reuse of language and tooling infrastructures. We also discuss what the current status of composition for some more famous languages is. And finally we demonstrate what has already been achieved in the language workbench MontiCore developed in our group over the recent years.

Bio:
Bernhard Rumpe is chair of the Department for Software Engineering at the RWTH Aachen University, Germany. Before that he chaired the Software Engineering Institute at the TU Braunschweig. He completed his Ph.D. and Habilitation at the TU Munich. His main interests are software development methods and techniques that benefit from both rigorous and practical approaches. This includes the impact of new technologies such as model-engineering based on UML-like notations and domain specific languages and evolutionary, test-based methods, software architecture as well as the methodical and technical implications of their use in industry. He has furthermore contributed to the communities of formal methods and UML. Since 2009 he started combining modeling techniques and Cloud Computing. He is author and editor of eight books and Editor-in-Chief of the Springer International Journal on Software and Systems Modeling (www.sosym.org). He is co-Founder and Steering-Committee-member of the GI expert committee on "Modeling" in Germany, Program Committee Chair, PC member, workshop organizer etc. at various opportunities.

Workshop program

8.30 Keynote by Bernhard Rumpe: Compositional Multi-Paradigm Models for Software Development

10.00 Break / Poster session

10.30 Track "Model-driven modeling methodology"

• A Domain-Specific Language for Dependency Management in Model-Based Systems Engineering
  Ahsan Qamar, KTH-Royal Institute of Technology, Stockholm, Sweden
  Sebastian Herzig, Georgia Institute of Technology, Atlanta, Georgia, USA
  Chris Paredis, Georgia Institute of Technology, Atlanta, Georgia, USA
  
• Integrating Prose as a First-Class Citizen with Models and Code
  Markus Voelter, independent
  
• Towards a Multi-Domain Model-Driven Traceability Approach
  Masoumeh Taromirad, Department of Computer Science, University of York, UK
  Nicholas Matragkas, Department of Computer Science, University of York, UK
  Richard F. Paige, Department of Computer Science, University of York, UK
  

12.00 Lunch

13.30 Track "Heterogeneous / hybrid modeling"

• A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models
  Gabor Simko, Vanderbilt University
  Pieter Mosterman, MathWorks
  Justyna Zander, HumanoidWay
  
• A DSL for Explicit Semantic Adaptation
  Bart Meyers, MSDL, Department of Mathematics and Computer Science University of Antwerp, Belgium
  Joachim Denil, MSDL, School of Computer Science, McGill University, Canada
  Frédéric Boulanger, Supelec E3S, Department of Computer Science, France
  Cécile Hardebolle, Supelec E3S, Department of Computer Science, France
  Christophe Jacquet, Supelec E3S, Department of Computer Science, France
  Hans Vangheluwe, MSDL, Department of Mathematics and Computer Science University of Antwerp, Belgium; MSDL, School of Computer Science, McGill University, Canada
  

14.30 Discussion groups

15.00 Break / Poster session

15.30 Discussion groups

17.00 Workshop ends


Posters:

• A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework
  Vasco Amaral, Universidade Nova de Lisboa, Portugal
  Antonio Cicchetti, Malardalen Research and Technology Centre
  Romuald Deshayes, Software Engineering Lab, Universite de Mons-Hainaut, Belgium
  
• Towards Reverse Engineering of Satellite Control Procedures Using Triple Graph Grammars
  Susann Gottmann, Interdisciplinary Centre for Security, Reliability and Trust, Université du Luxembourg, Luxembourg
  Frank Hermann, Interdisciplinary Centre for Security, Reliability and Trust, Université du Luxembourg, Luxembourg
  Claudia Ermel, Technische Universität Berlin, Germany
  Thomas Engel, Interdisciplinary Centre for Security, Reliability and Trust, Université du Luxembourg, Luxembourg
  Gianluigi Morelli, SES, Luxembourg