4 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
Diagram Control and Model Order for Sugiyama Layouts
Sören Domrös, Reinhard von Hanxleden
Graphical WYSIWYG editors programming languages are popular since they allow to control the diagram layout to express intention via secondary notation such as proximity and topolog…
From STPA to Safe Behavior Models
Jette Petzold, Reinhard von Hanxleden
Model checking is a proven approach for checking whether the behavior model of a safety-critical system fulfills safety properties that are stated as LTL formulas.We propose rules…
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
Niklas Rentz, Reinhard von Hanxleden
For most service architectures, such as OSGi and Spring, architecture-specific tools allow software developers and architects to visualize otherwise obscure configurations hidden i…
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement +6
Behavior Trees (BTs) provide a lean set of control flow elements that are easily composable in a modular tree structure. They are well established for modeling the high-level behav…