Modellieren mit Heraklit: Prinzipien und Fallstudie

TL;DR

Heraklit is a research project developing an infrastructure for modeling large-scale, integrated systems, emphasizing hierarchical, user-centric, and formalized approaches, demonstrated through a practical case study.

Contribution

The paper introduces Heraklit, a novel framework supporting hierarchical, user-oriented, and formal modeling of complex systems, with a practical case study illustrating its application.

Findings

Heraklit effectively models large-scale systems with hierarchical and user views.

The framework supports transforming informal ideas into formal models.

A case study demonstrates Heraklit's practical applicability.

Abstract

Heraklit is an ongoing research program and development project aimed at creating an infrastructure for modeling large-scale, computer-integrated systems. We discuss the key requirements for such models (hierarchies, user view, transformation of informal into formal ideas, schematic models, equal treatment of digital and person-bound processes) and explain how Heraklit supports these requirements. A case study demonstrates the applicability of Heraklit in practice.