Prof. Dr.-Ing. Jan Himmelspach

Professoren / Dozenten

Stelle(n):

  • Studiengangsleiter Angewandte Informatik/Software Engineering (M.Sc.)
  • Professur für Softwareentwicklung

Ämter

  • stellv. Ombudsmann Forschung

Kontakt
Anwesenheitszeiten

Forschungsschwerpunkte:

  • Softwareentwicklung (komponentenbasiert, effiziente Algorithmen)
  • Modellierung (Modelle, Sprachen, ...)
  • Simulation (Berechnung, Experimente, Software, ...)

Projekte:

  • JAMES II (Open Source Framework for Modeling and Simulation)

Vorlesungen:

  • Analytische Informationssysteme
  • Automatentheorie und formale Sprachen
  • Datenbanken und Business Intelligence
  • Einführung in die Programmierung
  • Einführung in die objektorientierte Programmierung
  • Gestaltung von Informationssystemen
  • Modellierung und Simulation
  • Praxis der Softwareentwicklung
  • Projektmanagement
  • Software Engineering
  • Unternehmensmodellierung
  • Systemmodellierung

Betreute Bachelorarbeiten (exemplarisch):

  • The integration of software to compute BioPEPA models in JAMES II
  • Fallstudie zum Reengineering von ausführbarem Code über objektorientierte Spezifikationen in UML am Beispiel des Spiels "Duke Nukem"
  • Eine Testumgebung für Algorithmen zum Tracking sich bewegender Objekte
  • Data-Mining Methoden in der Simulation
  • Model checking of models in JAMES II by using LoLA
  • Ein Vergleich unterschiedlicher Netzwerkkommunikationsbibliotheken für verteiltes Rechnen in Simulationssoftware basierend auf Java
  • Efficient parallel computation of cellular automata

Betreute Masterarbeiten (exemplarisch):

  • Exemplarische Migration einer klassischen Client-Server-Architektur zu einer reaktiven Microservices-Architektur mit asynchron angebundenem Webclient
  • Analyse und Simulation im Rahmen modellbasierter Entwicklung am Beispiel zukünftiger Türsteuerungssysteme für zivile Passagierflugzeuge
  • Simulation of load balancing algorithms for discrete event simulations
  • Ein Rahmenwerk für die Erstellung von parallel-verteilten Simulationsalgorithmen in JAMES II
  • Coupling Autominder and James
  • Komponentenbasierte Modellierung in der Systembiologie
  • Implementation und Evaluierung einer Umgebung zur parallelen Simulation am Beispiel eines Simulators für Beta-Binders in JAMES II
  • Aggregation verteilter Simulationsdaten
  • Entwicklung eines flexiblen Komponentenbaukastens für Lehr-/Lernsysteme
  • ExML - ein Austauschformat für valide Experimentbeschreibungen zum Austausch zwischen verschiedenen Simulationssystemen
  • Entwicklung einer Methodik zur automatisierten Gestaltung von Luftraumsektorisierungen in der Flugsicherung
  • Selektive Instrumentierung von Modellen in JAMES II
  • Parameteroptimierung und Sensitivitätsanalyse in James II
  • Effizientes Speichern und Lesen von Trajektorien während der Berechnung einer Simulation
  • Ein Werkzeug für die Erstellung und Migration von Testdaten
  • Arbeitsabläufe in der Modellierung und Simulation
  • Parallele Optimierung von Simulationsmodellen
  • Web-basiertes visuelles Monitoring von JAMES II Simulationen
  • Integration einer Simulations-Engine in eine komponentenbasierte eLearning-Architektur am Beispiel der Entwicklung eines simulationsbasierten Geographie-Lernspiels

Lebenslauf:

  • Promotion an der Universität Rostock, Fakultät für Elektrotechnik und Informatik, zum Dr.-Ing. (2007)
  • Abschluss als Diplom-Informatiker (2003)

Akademische Ausbildung:

  • Promotion an der Universität Rostock

Tätigkeiten in der Wirtschaft:

  • IT Unternehmensberatung [Softwareentwicklung] (2013-2015)
  • Unternehmensarchitektur bei einer Versicherung (2015-2016)

Tätigkeiten in der Lehre:

  • Universität Rostock (2003-2013)

Gutachtertätigkeiten:

  • Diverse Fachzeitschriften (TOMACS, Simulation, SimPat, ...)
  • Diverse Fachkonferenzen (Winter Simulation Conference, PADS, TMS/DEVS, ...)
  • Mitglied des technischen Programmkommitees der SimuTools 2017

Mitgliedschaften:

  • GI e.V.

Buchkapitel

J. Himmelspach, S. Rybacki

Processes - Processes to support the quality of M&S (2015)

In Modeling and Simulation-Based Systems Engineering Handbook; D Gianni, A D'Ambrogio, A Tolk(Ed): CRC Press; 321- 338

Zeitschriftenaufsatz

S. Zinn, J. Himmelspach, J. Gampe, A. Uhrmacher

Building MicCore, a Specialized M&S Software to Simulate Multi-State Demographic Micro Models, Based on JAMES II, a General M&S Framework (2013)

Journal of artificial social societies, 16(3)

Often new modeling and simulation software is developed from scratch with no or only little reuse. The benefits that can be gained from developing a modeling and simulation environment by using (and thus reusing components of) a general modeling and simulation framework refer to reliability and efficiency of the developed software, which eventually contributes to the quality of simulation experiments. Developing the tool Mic-Core which supports continuous-time micro modeling and simulation in demography based on the plug-in-based modeling and simulation framework JAMES II will illuminate some of these benefits of reuse. Thereby, we will focus on the development process itself and on the quality of simulation studies, e.g., by analyzing the impact of random number generators on the reliability of results and of event queues on efficiency. The "lessons learned" summary presents a couple of insights gained by using a general purpose framework for M&S as a base to create a specialized M&S software.

Building MicCore, a Specialized M&S Software to Simulate Multi-State Demographic Micro Models, Based on JAMES II, a General M&S Framework

Tagungsband

Proceedings of the 6th SimuTools Conference (2013)

J Himmelspach, W Cai, K Vanmechelen(Ed): ICST; ACM Press

Tagungsbeitrag

S. Rybacki, S. Leye, J. Himmelspach, A. Uhrmacher

Template and Frame based Experiment Workflows in Modeling and Simulation Software with WORMS (2012)

In IEEE Eighth World Congress on Services (SERVICES), 2012: IEEE Computer Society Press, Los Alamitos, CA, USA; 25- 32

The integration of workflows into modeling and simulation tools promises to provide easier reproduction and provenance of simulation data and its generating process. We present the use of workflow templates and frames realized in WORMS to support and document activities involved in executing simulation experiments. Thereby we make use of functionalities provided by the validation environment FAMVal and the plug-in-based modeling and simulation framework JAMES II. The role of workflows, templates, and frames in modeling and simulation research will be illuminated by a simple simulation study in which the amount of a chemical species in the equilibrium state shall be maximized.

Template and Frame based Experiment Workflows in Modeling and Simulation Software with WORMS

Tagungsbeitrag

T. Helms, J. Himmelspach, C. Maus, O. Röwer, J. Schützel, A. Uhrmacher

Toward a language for the flexible observation of simulations (2012)

In Proceedings of the 2012 Winter Simulation Conference; C Laroque, J Himmelspach, R Pasupathy, O Rose, A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 3857- 3868

Simulation studies typically imply the generation and interpretation of data. Collecting, storing, and filtering data can be expensive. Therefore, it is important to allow a user to specify these processes flexibly depending on the modeling language, the model, and the objective of the simulation study. An instrumentation language is presented and applied to collect, aggregate, store, and filter data generated during experimentation with models specified in ml-rules, a rule-based multilevel modeling language for cell biological systems.

Toward a language for the flexible observation of simulations

Tagungsbeitrag

J. Himmelspach

JAMES II: Extending, Using, and Experiments (2012)

In Proceedings of the 2012 SimuTools; G Riley, F Quaglia, J Himmelspach(Ed): ICST; 208- 210

Tagungsbeitrag

J. Himmelspach

Tutorial on building M&S software based on reuse (2012)

In Proceedings of the 2012 Winter Simulation Conference; C Laroque, J Himmelspach, R Pasupathy, O Rose, A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 1894- 1908

The development of software for modeling and simulation is a common step in the course of projects. Thereby any software development is error prone and expensive and it is very likely that the software produced contains flaws. This tutorial will show which techniques are needed in M&S software, independent from application domains and model description means, and how reuse and the use of state of the art tools can help to improve the quality and to reduce the costs of the software produced. The tutorial is based on our experiences made on developing and using JAMES II, a flexible framework created for building specialized M&S software products, for research on modeling and simulation, and for applying modeling and simulation.

Tutorial on building M&S software based on reuse

Tagungsband

Proceedings of the 2012 Winter Simulation Conference (2012)

C Laroque, J Himmelspach, R Pasupathy, O Rose, A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey

Tagungsbeitrag

S. Rybacki, J. Himmelspach, A. Uhrmacher

Using Workflows to Control the Experiment Execution in Modeling and Simulation Software (2012)

In Proceedings of the 2012 SimuTools; G Riley, F Quaglia, J Himmelspach(Ed): ICST; 93- 102

Tagungsband

Proceedings of the 2012 SimuTools (2012)

G Riley, F Quaglia, J Himmelspach(Ed): ICST