Prof. Dr.-Ing. Jan Himmelspach

Professoren / Dozenten

Stelle(n):

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

Ämter

  • stellv. Ombudsmann Forschung

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.

Tagungsbeitrag

S. Rybacki, J. Himmelspach, A. Uhrmacher

WORMS- A Framework to Support Workflows in M&S (2011)

In Proceedings of the 2011 Winter Simulation Conference; S Jain, R Creasey, J Himmelspach, K White, M Fu(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 716- 727

Workflows are a promising mean to increase the quality of modeling and simulation (M&S) products such as studies and models. In exploiting workflows for M&S, requirements arise that need to be reflected in the structure and components of a workflow supporting framework, such as WORMS (WORkflows for Modeling and Simulation). In WORMS, we adapt concepts of business process modeling and scientific workflows. Particular attention is given to extensibility and flexibility which is supported by a plug-in based design and by selecting workflow nets as intermediate representation for workflows. The first application of WORMS has been realized for the modeling and simulation framework JAMES II. A small case-study illuminates the role of components and their interplay during evaluating a cell biological model.

WORMS- A Framework to Support Workflows in M&S

Buchkapitel

A. Uhrmacher, J. Himmelspach, R. Ewald

Effective and efficient modeling and simulation of DEVS variants (2011)

In Discrete-Event Modeling and Simulation; G Wainer, P Mosterman(Ed): CRC Press, Boca Raton, Fla.; 139- 176

Tagungsband

Proceedings of the 2011 Winter Simulation Conference (2011)

S Jain, R Creasey, J Himmelspach, K White, M Fu(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey

Tagungsband

Proceedings of the 2011 Conference on TMS/DEVS (2011)

J Himmelspach, R Heckel, M Traore, G Wainer(Ed)

Tagungsbeitrag

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

A DEVS Model For Demographic Microsimulation (2010)

In Spring Simulation Multi-Conference; R McGraw, E Imsand, M Chinni(Ed): ACM Press, Newy York, NY, USA; 146:1- 146:8

Microsimulation is increasingly applied in demography to project the development of populations. A stochastic model is being introduced that describes individual life courses on a continuous time base. Life courses are determined by sequences of demographic events. We show how this demographic multi-state projection model can be specified as an atomic model in DEVS. Thereby, strengths but also limitations of this approach are revealed. The limitations are addressed by exploiting a DEVS variant that supports variable structures, i.e., DYNPDEVS, and by modeling individuals as atomic models and the population as a network model. An example projection of a synthetical population based on the population of Italy shows the plausibility and the feasibility of the developed model.

A DEVS Model For Demographic Microsimulation

Tagungsbeitrag

J. Himmelspach, R. Ewald, S. Leye, A. Uhrmacher

Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization (2010)

In Proceedings of the Ninth International Workshop on Parallel and Distributed Methods in Verification; J Barnat, M Weber, P Ballarini(Ed): IEEE Computer Society Press, Los Alamitos, Calif.

Current and upcoming architectures of desktop and high performance computers offer increasing means for parallel execution. Since the computational demands induced by ever more realistic models increase steadily, this trend is of growing importance for systems biology. Simulations of these models may involve the consideration of multiple parameter combinations, their replications, data collection, and data analysis - all of which offer different opportunities for parallelization. We present a brief theoretical analysis of these opportunities in order to show their potential impact on the overall computation time. The benefits of using more than one opportunity for parallelization are illustrated by a set of benchmark experiments, which furthermore show that parallelizability should be exploited in a flexible manner to achieve speedup.

Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization

Zeitschriftenaufsatz

J. Himmelspach, M. Röhl, A. Uhrmacher

Component based modelling and simulation for valid multi-agent system simulations (2010)

International Journal for Applied Artificial Intelligence, 24(5); 414- 442

The more simulation becomes an established tool in the design of multi-agent systems, the more urgent the question becomes how valid the induced properties and behavior patterns are. Answering this question depends on the validity of the models, the correctness of the simulators, and the simulations. In all of these aspects, reuse and a declarative representation plays a crucial role. With James II, we developed a customizable framework for modeling and simulation. Its component-based architecture supports a reuse of models, simulators, and experimental settings. The benefits of this architecture for agent-based modeling and simulation will be illuminated by an excerpt of a simulation study about trading strategies for mobile ad hoc networks.

Component based modelling and simulation for valid multi-agent system simulations

Zeitschriftenaufsatz

R. Ewald, J. Himmelspach, M. Jeschke, S. Leye, A. Uhrmacher

Flexible Experimentation in the Modeling and Simulation Framework JAMES II - Implications for Computational Systems Biology (2010)

Briefings in Bioinformatics, 11(3); 290- 300

Dry-lab experimentation is increasingly used to complement wet-lab experimentation. However, conducting dry-lab experiments is a challenging endeavor that requires the combination of diverse techniques. JAMES II, a plug-in based open source modeling and simulation framework, facilitates the exploitation and configuration of these techniques. The different aspects that form an experiment are made explicit to facilitate repeatability and reuse. Each of those influences the performance and the quality of the simulation experiment. Common experimentation pitfalls and current challenges are discussed along the way.

Flexible Experimentation in the Modeling and Simulation Framework JAMES II - Implications for Computational Systems Biology

Tagungsbeitrag

S. Rybacki, J. Himmelspach, E. Seib, A. Uhrmacher

Using workflows in M&S software (2010)

In Proceedings of the 2010 Winter Simulation Conference; B Johansson, S Jain, J Montoya-Torres, J Hugan, E Yücesan(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 535- 545

The usage of workflows to standardize processes, as well as to increase their efficiency and the quality of the results is a common technique. So far it has only been rarely applied in modeling and simulation. Herein we argue for employing this technique for the creation of various products in modeling and simulation. This includes the creation of models, simulations, modeling languages, and modeling and simulation software modules. Additionally we argue why roles should be incorporated into modeling and simulation workflows, provide a list of requirements for the workflow management system and sketch first steps in how to integrate workflows into the M&S framework JAMES II.

Using workflows in M&S software

Tagungsbeitrag

B. Wang, J. Himmelspach, R. Ewald, A. Uhrmacher

Experimental Analysis of Logical Process Simulation Algorithms in JAMES II (2009)

In Proceedings of the 2009 Winter Simulation Conference; M Rossetti, R Hill, B Johansson, A Dunkin, R Ingalls(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 1167- 1179

The notion of logical processes is a widely used modeling paradigm in parallel and distributed discrete-event simulation. Yet, the comparison among different simulation algorithms for LP models still remains difficult. Most simulation systems only provide a small subset of available algorithms, which are usually selected and tuned towards specific applications. Furthermore, many modeling and simulation frameworks blur the boundary between model logic and simulation algorithm, which hampers the extensibility and the comparability. Based on the general-purpose modeling and simulation framework JAMES II, which has already been used for experiments with algorithms several times, we present an environment for the experimental analysis of simulation algorithms for logical processes. It separates model from simulator concepts, is extensible (in regards to the benchmark models, the algorithms used, etc.), and facilitates a fair comparison of algorithms.

Experimental Analysis of Logical Process Simulation Algorithms in JAMES II