Research

Research at Software Engineering at RWTH Aachen, Bernhard Rumpe

Our research mission: Improving software and systems development by identifying:

  • methods, concepts, tools and infrastructures for
  • innovative and efficient incremental development
  • of software and software intensive high quality systems
  • in less time while
  • flexibly integrating evolving requirements.

We use model-based development of software (model-based software engineering, MBSE), generative and synthesis techniques, and model-driven digitalisation of system development.

During our scientific endeavour we contributed a number of publications to this mission and the overall approach has successfully evaluated in various industrial projects in the areas of embedded systems, artificial intelligence, autonomous vehicles, IoT, smart buildings, energy, robotics, and cloud systems, but also in administration, e.g. leveraging on the model based formalization of contracts, laws, and standards.

Our language workbench MontiCore [HKR21], is a key framework for creating and processing domain-specific languages. It has successfully been used to demonstrate that code generation increases software quality and developer efficiency. This means, MBSE enables and improves agile development.

Projects include requirements elicitation, as well as cyber-physical function, version, and variant modeling. All this is based on a sound theoretical knowledge of modeling languages and their semantics and our ability to leverage this in industrial practice.

Below we have collected and grouped especially interesting publications around our main research topics, application domains, and tools. Each topic page describes our contributions to this topic in a consolidated, compact form.

Foundations of Model-Based Software Engineering

Application Domains

Our Most Important Software Tools

Some Selected Publications

  1. [BR07]
    M. Broy, B. Rumpe:
    Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
    In: Informatik-Spektrum, Band 30(1), pp. 3-18, Springer Berlin, Feb. 2007.
  1. [CGR09]
    M. V. Cengarle, H. Grönniger, B. Rumpe:
    Variability within Modeling Language Definitions.
    In: Conference on Model Driven Engineering Languages and Systems (MODELS’09), pp. 670-684, LNCS 5795, Springer, 2009.
  1. [EBF+98]
    A. Evans, J.- M. Bruel, R. France, K. Lano, B. Rumpe:
    Making UML Precise.
    In: OOPSLA’98 Workshop on “Formalizing UML. Why and How?”, Vancouver, Canada, Oct. 1998.
  1. [GKPR08]
    H. Grönniger, H. Krahn, C. Pinkernell, B. Rumpe:
    Modeling Variants of Automotive Systems using Views.
    In: Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen, pp. 76-89, Informatik Bericht 2008-01, TU Braunschweig, 2008.
  1. [PR94]
    B. Paech, B. Rumpe:
    A new Concept of Refinement used for Behaviour Modelling with Automata.
    In: Proceedings of the Industrial Benefit of Formal Methods (FME’94), pp. 154-174, LNCS 873, Springer, 1994.
  1. [FHR08]
    F. Fieber, M. Huhn, B. Rumpe:
    Modellqualität als Indikator für Softwarequalität: eine Taxonomie.
    In: Informatik-Spektrum, Band 31(5), pp. 408-424, Oktober. 2008.
  1. [KER99]
    S. Kent, A. Evans, B. Rumpe:
    UML Semantics FAQ.
    In: Object-Oriented Technology, ECOOP’99 Workshop Reader, A. Moreira, S. Demeyer (Eds.), LNCS 1743, Springer Verlag, Berlin, 1999.
  1. [MRR11b]
    S. Maoz, J. O. Ringert, B. Rumpe:
    CDDiff: Semantic Differencing for Class Diagrams.
    In: ECOOP 2011 - Object-Oriented Programming, M. Mezini (Eds.), pp. 230-254, Springer Berlin Heidelberg, 2011.
  1. [RSR+99]
    B. Rumpe, M. Schoenmakers, A. Radermacher, A. Schürr:
    UML + ROOM as a Standard ADL?.
    In: Engineering of Complex Computer Systems, ICECCS’99 Proceedings, F. M. Titsworth (Eds.), IEEE Computer Society, 1999.
  1. [BBR07]
    C. Basarke, C. Berger, B. Rumpe:
    Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence.
    In: Journal of Aerospace Computing, Information, and Communication (JACIC), Volume 4(12), pp. 1158-1174, 2007.
  1. [HHK+13]
    A. Haber, K. Hölldobler, C. Kolassa, M. Look, K. Müller, B. Rumpe, I. Schaefer:
    Engineering Delta Modeling Languages.
    In: Software Product Line Conference (SPLC’13), pp. 22-31, ISBN 978-1-4503-1968-3, ACM, 2013.
  1. [Rum17]
    B. Rumpe:
    Agile Modeling with UML: Code Generation, Testing, Refactoring.
    Springer International, May 2017.
  1. [PR97]
    J. Philipps, B. Rumpe:
    Refinement of Information Flow Architectures.
    In: ICFEM’97 Proceedings, M. Hinchey (Eds.), IEEE CS Press, Hiroshima, Japan, 1997.
  1. [KMR+20]
    J. C. Kirchhof, J. Michael, B. Rumpe, S. Varga, A. Wortmann:
    Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems.
    In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 90-101, ACM, Oct. 2020.
  1. [CKM+99]
    S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills:
    Defining UML Family Members Using Prefaces.
    In: Technology of Object-Oriented Languages and Systems, TOOLS’99 Pacific, C. Mingins, B. Meyer (Eds.), IEEE Computer Society, 1999.
  1. [PR01]
    J. Philipps, B. Rumpe:
    Roots of Refactoring.
    In: Tenth OOPSLA Workshop on Behavioral Semantics. Tampa Bay, Florida, USA, October 15, Kilov, H. and Baclavski, K. (Eds.), Northeastern University, 2001.
  1. [BDH+20]
    P. Bibow, M. Dalibor, C. Hopmann, B. Mainz, B. Rumpe, D. Schmalzing, M. Schmitz, A. Wortmann:
    Model-Driven Development of a Digital Twin for Injection Molding.
    In: International Conference on Advanced Information Systems Engineering (CAiSE’20), S. Dustdar, E. Yu, C. Salinesi, D. Rieu, V. Pant (Eds.), Volume 12127, pp. 85-100, Lecture Notes in Computer Science, Springer International Publishing, Jun. 2020.
  1. [HLN+15]
    A. Haber, M. Look, P. Mir Seyed Nazari, A. Navarro Perez, B. Rumpe, S. Völkel, A. Wortmann:
    Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components.
    In: Model-Driven Engineering and Software Development Conference (MODELSWARD’15), pp. 19-31, SciTePress, 2015.
  1. [HLN+15a]
    A. Haber, M. Look, P. Mir Seyed Nazari, A. Navarro Perez, B. Rumpe, S. Völkel, A. Wortmann:
    Composition of Heterogeneous Modeling Languages.
    In: Model-Driven Engineering and Software Development, Volume 580, pp. 45-66, Communications in Computer and Information Science, Springer, 2015.
  1. [HR17]
    K. Hölldobler, B. Rumpe:
    MontiCore 5 Language Workbench Edition 2017.
    Aachener Informatik-Berichte, Software Engineering, Band 32, ISBN 978-3-8440-5713-3, Shaker Verlag, Dec. 2017.
  1. [HKR21]
    K. Hölldobler, O. Kautz, B. Rumpe:
    MontiCore Language Workbench and Library Handbook: Edition 2021.
    Aachener Informatik-Berichte, Software Engineering, Band 48, ISBN 978-3-8440-8010-0, Shaker Verlag, May 2021.
  1. [GKR+96]
    R. Grosu, C. Klein, B. Rumpe, M. Broy:
    State Transition Diagrams.
    TU Munich, Technical Report, TUM-I9630, 1996.
  1. [HKR+11]
    A. Haber, T. Kutz, H. Rendel, B. Rumpe, I. Schaefer:
    Delta-oriented Architectural Variability Using MontiCore.
    In: Software Architecture Conference (ECSA’11), pp. 6:1-6:10, ACM, 2011.
  1. [RKB95]
    B. Rumpe, C. Klein, M. Broy:
    Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab-Systemmodell.
    TU München, TUM-I9510, Technischer Bericht, Deutschland, März. 1995.
  1. [HRR98]
    F. Huber, A. Rausch, B. Rumpe:
    Modeling Dynamic Component Interfaces.
    In: Technology of Object-Oriented Languages and Systems (TOOLS 26), pp. 58-70, IEEE, 1998.
  1. [RRRW15b]
    J. O. Ringert, A. Roth, B. Rumpe, A. Wortmann:
    Language and Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems.
    In: Journal of Software Engineering for Robotics (JOSER), Volume 6(1), pp. 33-57, 2015.
  1. [HRRS12]
    A. Haber, H. Rendel, B. Rumpe, I. Schaefer:
    Evolving Delta-oriented Software Product Line Architectures.
    In: Large-Scale Complex IT Systems. Development, Operation and Management, 17th Monterey Workshop 2012, pp. 183-208, LNCS 7539, Springer, 2012.
  1. [KLPR12]
    T. Kurpick, M. Look, C. Pinkernell, B. Rumpe:
    Modeling Cyber-Physical Systems: Model-Driven Specification of Energy Efficient Buildings.
    In: Modelling of the Physical World Workshop (MOTPW’12), pp. 2:1-2:6, ACM, Oct. 2012.
  1. [BGH+98a]
    R. Breu, R. Grosu, C. Hofmann, F. Huber, I. Krüger, B. Rumpe, M. Schmidt, W. Schwerin:
    Exemplary and Complete Object Interaction Descriptions.
    In: Journal Computer Standards & Interfaces, Volume 19(7), pp. 335-345, Elsevier Science Publishers B. V., Amsterdam, The Netherlands, Nov. 1998.
  1. [CBCR15]
    T. Clark, M. v. d. Brand, B. Combemale, B. Rumpe:
    Conceptual Model of the Globalization for Domain-Specific Languages.
    In: Globalizing Domain-Specific Languages, pp. 7-20, LNCS 9400, Springer, 2015.
  1. [GKR+06]
    H. Grönniger, H. Krahn, B. Rumpe, M. Schindler, S. Völkel:
    MontiCore 1.0: Ein Framework zur Erstellung und Verarbeitung domänspezifischer Sprachen.
    CFG-Fakultät, TU Braunschweig, 2006-04, Informatik-Bericht, Aug. 2006.
  1. [GR11]
    H. Grönniger, B. Rumpe:
    Modeling Language Variability.
    In: Workshop on Modeling, Development and Verification of Adaptive Systems, pp. 17-32, LNCS 6662, Springer, 2011.
  1. [PBI+16]
    D. Plotnikov, I. Blundell, T. Ippen, J. M. Eppler, A. Morrison, B. Rumpe:
    NESTML: a modeling language for spiking neurons.
    In: Modellierung 2016 Conference, Volume 254, pp. 93-108, LNI, Bonner Köllen Verlag, Mar. 2016.
  1. [MRR13]
    S. Maoz, J. O. Ringert, B. Rumpe:
    Synthesis of Component and Connector Models from Crosscutting Structural Views.
    In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’13), Meyer, B. and Baresi, L. and Mezini, M. (Eds.), pp. 444-454, ACM New York, 2013.
  1. [PR03]
    J. Philipps, B. Rumpe:
    Refactoring of Programs and Specifications.
    In: Practical Foundations of Business and System Specifications, Kilov, H. and Baclavski, K. (Eds.), pp. 281-297, Kluwer Academic Publishers, 2003.

Upcoming Research Topics

Fresh research topics not necessarily already come with published articles. We assume results will be published in the near future:

  • SysML 2.0: the SpesML approach
  • Modelling in Production: Systems, Software, Processes and Data (fitting to the RWTH Excellence Cluster Internet of Production, IOP)
  • Low Code / Now Code Environments using Models@Runtime