Karsten Hölscher

To be used only in the SegraVis School 2006! Autonomous Units and their Semantics — the Sequential Case ⋆ (2008)

Karsten Hölscher, Hans-jörg Kreowski, Sabine Kuske, Karsten Hölscher, Hans-jörg Kreowski, Sabine Kuske

Abstract. In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational device to model processes that run interactively but independently of...

Autonomous Units for Communication-based Dynamic Scheduling (2008)

Karsten Hölscher, Peter Knirsch, Melanie Luderer

Logistics is a field characterized by mainly two types of dynamics. First, the organized supply with goods and information demands for controlled material and information flows. In addition, these...

Autonomous Units: Basic Concepts and Semantic Foundation (2008)

Karsten Hölscher, Renate Klempien-hinrichs, Peter Knirsch, Sabine Kuske

Today, most data processing systems and most logistic systems comprise various, possibly distributed, components. These components typically act autonomously, but they may also communicate and...

Autonomous Units and their Semantics — the Sequential Case ⋆ (2008)

Karsten Hölscher, Hans-jörg Kreowski, Sabine Kuske

Abstract. In this paper, we introduce the notion of a community of autonomous units as a rule-based and graph-transformational device to model processes that run interactively but independently of...

Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations (2008)

Paul Ziemann, Karsten Hölscher, Martin Gogolla

Abstract. In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams...