Research
My research focus are (conceptual) models in a variety of domains and applications. We develop domain-specific languages (DSLs) and methods for domains such as Ambient Assisted Living, Controlling and Finances, Energy, Health, Manufacturing, Internet of Things (IoT), or Smart Homes. The models created with such languages can be used to develop information systems, assistive systems and services and digital twins in an agile model-based way using generators for code synthesis. This website presents selected research topics and related publications. The full list of publications is available on the publications page.
Assistive Systems
Assistive systems provide situational support for human behaviour based on information from previously stored and real-time monitored structural context and behaviour data at the time a person needs or asks for it HMR+19. They provide critical functionality, or ensure safety in potentially dangerous work environments. Research is needed, as most of them are restricted to certain use cases which allows for less reusability. We investigate needed context information MS17, modeling languages used during runtime and to support the engineering MM13, MRV20, MRZ21, and how to automate the engineering of assistive systems.
Selected Publications:
-
[MRZ21] J. Michael, B. Rumpe, L.T. Zimmermann: Goal Modeling and MDSE for Behavior Assistance.
In: Int. Conf. on Model Driven Engineering Languages and Systems Companion (MODELS-C), pages 370-379, 2021. -
[MRV20] J. Michael, B. Rumpe, S. Varga. Human Behavior, Goals and Model-Driven Software Engineering for Assistive Systems. In: Agnes Koschmider, Judith Michael, Bernhard Thalheim, editors, Enterprise Modeling and Information Systems Architectures (EMSIA 2020), 2628, pages 11-18, June, 2020, CEUR Workshop Proceedings.
-
[SM20] C. Steinberger, J. Michael: Using Semantic Markup to Boost Context Awareness for Assistive Systems. In: F. Chen, R. I. García-Betances, L. Chen, M. F. Cabrera-Umpiérrez, C. Nugent, editors, Smart Assisted Living: Toward An Open Smart-Home Infrastructure, pp. 227-246, Springer, 2020.
-
[MS17] J. Michael, C. Steinberger. Context Modeling for Active Assistance. In: Cristina Cabanillas, Sergio España, Siamak Farshidi, editors, Proc. of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th Int. Conference on Conceptual Modelling (ER 2017), pages 221-234, 2017.
-
[MM13] J. Michael, H. C. Mayr. Conceptual Modeling for Ambient Assistance. In: Conceptual Modeling - ER 2013, LNCS 8217, pages 403-413, 2013, Springer.
Digital Twins & Digital Shadows
In our understanding, a digital twin consists of a set of models of the system, a set of digital shadows, and provides a set of services to use the data and models purposefully with respects to the original systemDMR+20.
Selected Publications
-
[BHK+21] T. Brockhoff, M. Heithoff, I. Koren, J. Michael, J. Pfeiffer, B. Rumpe, M.S. Uysal, W. M. P. van der Aalst, A. Wortmann: Process Prediction with Digital Twins. Models@runtime’21 (MODELS’21)
-
[MW21] J. Michael, A. Wortmann: Towards Development Platforms for Digital Twins: A Model-Driven Low-Code Approach. In: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems, pp. 333-341, IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 2021.
-
[BBD+21] F. Becker, P. Bibow, M. Dalibor, A. Gannouni, V. Hahn, C. Hopmann, M. Jarke, I. Koren, M. Kröger, J. Lipp, J. Maibaum, J. Michael, B. Rumpe, P. Sapel, N. Schäfer, G. J. Schmitz, G. Schuh, and A. Wortmann: A conceptual model for digital shadows in industry and its application. In: Ghose, A. and Horkoff, J. and Silva Souza, V.E. and Parsons, J. and Evermann J. (eds), Conceptual Modeling. ER 2021, LNCS 13011, pages 271-281, October, 2021, Springer.
-
[DMR+20] M. Dalibor, J. Michael, B. Rumpe, S. Varga, A. Wortmann: Towards a Model-Driven Architecture for Interactive Digital Twin Cockpits. In: G. Dobbie, U. Frank, G. Kappel, S. Liddle, H. Mayr, editors, Conceptual Modeling, pp. 377-387, Springer, Oct. 2020.
-
[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, pages 90-101, October, 2020, ACM.
Model-Based Software Engineering of Information Systems
Using a small set of models, it is possible to generate large parts of information systems. With MontiGem, the generator framework for information systems [GMN+20], we have created a tool to support such a process in an agile, model-driven way.
Selected Publications
-
[DGM+21] I. Drave, A. Gerasimov, J. Michael, L. Netz, B. Rumpe, S. Varga: A Methodology for Retrofitting Generative Aspects in Existing Applications. In: Journal of Object Technology, Volume 20, no. 2 , pages 1-24, November, 2021, AITO - Association Internationale pour les Technologies Objets.
-
[GMNR21] A. Gerasimov, J. Michael, L. Netz, B. Rumpe. Agile Generator-Based GUI Modeling for Information Systems. In: Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim, editors, Modelling to Program (M2P), pages 113-126, March, 2021, Springer.
-
[GMN+20] A. Gerasimov, J. Michael, L. Netz, B. Rumpe, S. Varga.: Continuous Transition from Model-Driven Prototype to Full-Size Real-World Enterprise Information Systems. In: Bonnie Anderson, Jason Thatcher, Rayman Meservy, editors, 25th Americas Conference on Information Systems (AMCIS 2020), AIS Electronic Library (AISeL), pages 1-10, August, 2020, Association for Information Systems (AIS).
Modeling Law
Domain-specific languages provide means to formulate law and contracts. This allows to verify plans according to contracts [DHH+20] and to generate related IT systems from law [RMK+21].
Selected Publications
-
[RMK+21] B. Rumpe, J. Michael, O. Kautz, R. Krebs, S. Gandenberger, J. Standt, U. Weber. Digitalisierung der Gesetzgebung zur Steigerung der digitalen Souveränität des Staates. Berichte des NEGZ, Nationales E-Government Kompetenzzentrum e. V., June, 2021.
-
[DHH+20] I. Drave, T. Henrich, K. Hölldobler, O. Kautz, J. Michael, B. Rumpe. Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen. In: Dominik Bork, Dimitris Karagiannis, Heinrich C. Mayr, editors, Modellierung 2020, pages 173-188, February, 2020, Gesellschaft für Informatik e.V.
Privacy
Due to the General Data Protection Regulation (GDPR) organizations are obliged to consider privacy throughout the complete development process. In our work, we have created privacy preserving information systems and demonstrated it on an IoT manufacturing use case [MKM+19], we have created an approach for differential privacy for event logs [MKB+19] and we have shown how MDSE can be used to create privacy-preserving IoT systems [MNRV19].
Selected Publications
-
[MNRV19] J. Michael, L. Netz, B. Rumpe, S. Varga. Towards Privacy-Preserving IoT Systems Using Model Driven Engineering. In: Nicolas Ferry, Antonio Cicchetti, Federico Ciccozzi, Arnor Solberg, Manuel Wimmer, Andreas Wortmann, editors, MDE4IoT & ModComp 2019, Model-Driven Engineering for the Internet of Things (MDE4IoT) & Interplay of Model-Driven and Component-Based Software Engineering (ModComp), pages 15-22, Sep, 2019, CEUR-WS.org.
-
[MKB+19] F. Mannhardt, A. Koschmider, N. Baracaldo, M. Weidlich, J. Michael. Privacy-Preserving Process Mining: Differential Privacy for Event Logs. Business & Information Systems Engineering (BISE), 61, pages 595-614, 2019.
-
[MKM+19] J. Michael, A. Koschmider, F. Mannhardt, N. Baracaldo, B. Rumpe. User-Centered and Privacy-Driven Process Mining System Design for IoT. Chapter in Information Systems Engineering in Responsible Information Systems, Springer, ISBN 978-3-030-21296-4, LNBIP 350, pages 194-206, 2019.