Program 
   

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" 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:
Maintained by Hans Vangheluwe. Last Modified: 2014/02/28 03:55:44.