Modellieren mit Heraklit: Prinzipien und Fallstudie

03/17/2022
by   Peter Fettke, et al.
0

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.

READ FULL TEXT
research
03/18/2022

Formal Modeling and Initial Analysis of the 4SECURail Case Study

We present the case study developed in the context of the 4SECURail proj...
research
03/17/2022

Towards Axiomatic Foundations for Conceptual Modeling: An Example

Conceptual modeling is a strongly interdisciplinary field of research. A...
research
03/08/2022

Digital Twin in Practice: Emergent Insights from an ethnographic-action research study

Based on an ethnographic action research study for a Digital Twin (DT) d...
research
05/11/2018

iLCM - A Virtual Research Infrastructure for Large-Scale Qualitative Data

The iLCM project pursues the development of an integrated research envir...
research
07/12/2021

Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal

Currently, practitioners follow a top-down approach in automotive develo...
research
04/10/2018

A Manga-Driven System Requirements Development PBL Exercise

We conducted a Project-Based Learning (PBL)-type exercise incorporating ...
research
06/11/2020

The development and deployment of formal methods in the UK

UK researchers have made major contributions to the technical ideas unde...

Please sign up or login with your details

Forgot password? Click here to reset