Augmenting State Models with Data Flow

Wechselberg, Nis; Schulz-Rosengarten, Alexander; Smyth, Steven; Hanxleden, Reinhard von

doi:10.1007/978-3-319-95246-8_28

Cited by 5 publications

(7 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…KIEL also included structurebased editing, which combines WYSIWYG editing (without a textual source) with continuous automatic layout [34]. More recent work includes the induced data flow approach that synthesizes actor-oriented diagrams from SCCharts [55], and interactive compilation models that visualize intermediate transformation results, which can be helpful for users and compiler developers alike [50].…”

Section: Related Workmentioning

confidence: 99%

Pragmatics Twelve Years Later: A Report on Lingua Franca

Hanxleden

Lee

Fuhrmann³

et al. 2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

In 2010, Fuhrmann et al. argued for enhancing modeler productivity by providing tooling that, put simply, combines the best of textual and graphical worlds. They referred to this as pragmatics, and argued that a key enabler would be the ability to automatically synthesize customized graphical views from a (possibly textual) model. The model would be the “ground truth” used, for example, for downstream code synthesis and simulation; the graphical views would typically be abstractions from the model serving various purposes, including documentation.Twelve years later, we reflect on their proposal, and illustrate the current state with the recently developed polyglot coordination language Lingua Franca (LF). LF has been designed with pragmatics in mind since early on, and some characteristics of LF make it particularly suited for pragmatics-aware programming and modeling. However, the underlying pragmatic principles are broadly applicable, and by now a set of mature open source tools is available for putting them into practice.

show abstract

Section: Related Workmentioning

confidence: 99%

Pragmatics Twelve Years Later: A Report on Lingua Franca

Hanxleden

Lee

Fuhrmann³

et al. 2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Most commonly used IDEs provide some support for tracing the data, through highlighting or function usage trees, but in general they do not give an overview of the intraprocedural dataflow. We propose an actor-based dataflow view, akin to Ptolemy [5] and SCCharts dataflow [29]. This section describes how to visualize such a dataflow model for imperative programming languages.…”

Section: Actor-based Dataflow Visualizationmentioning

confidence: 99%

Extracting Interactive Actor-Based Dataflow Models from Legacy C Code

Rentz

Smyth

Andersen³

et al. 2021

Diagrammatic Representation and Inference

Self Cite

View full text Add to dashboard Cite

Graphical actor-based models provide an abstract overview of the flow of data in a system. They are well-established for the model-driven engineering (MDE) of complex software systems and are supported by numerous commercial and academic tools, such as Simulink, LabVIEW or Ptolemy. In MDE, engineers concentrate on constructing and simulating such models, before application code (or at least a large fraction thereof) is synthesized automatically. However, a significant fraction of today’s legacy system has been coded directly, often using the C language. High-level models that give a quick, accurate overview of how components interact are often out of date or do not exist. This makes it challenging to maintain or extend legacy software, in particular for new team members.To address this problem, we here propose to reverse the classic synthesis path of MDE and to synthesize actor-based dataflow models automatically from source code. Here functions in the code get synthesized into nodes that represent actors manipulating data. Second, we propose to harness the modeling-pragmatic approach, which considers visual models not as static artefacts, but allows interactive, flexible views that also link back to textual descriptions. Thus we propose to synthesize actor models that can vary in level of detail and that allow navigation in the source code. To validate and evaluate our proposals, we implemented these concepts for C analysis in the open source, Eclipse-based KIELER project and conducted a small survey.

show abstract

“…The induced dataflow view [21] shows communication between regions. We propose a variant thereof, the causality dataflow view, which focusses on identifying data dependency cycles.…”

Section: B Causality Dataflow Viewmentioning

confidence: 99%

Practical Causality Handling for Synchronous Languages

Smyth

Schulz-Rosengarten

Hanxleden

2019

2019 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE)

Self Cite

View full text Add to dashboard Cite

The synchronous principle is a wellestablished paradigm for reconciling concurrency with determinism. A key is to establish at compile time that a program or model is causal, which basically means that there exists a schedule that obeys the rules put down by the language. This rules out surprises at run time; however, in practice it can be rather cumbersome for the developer to cure causality problems, in particular as programs/models get more complex.We here propose to tackle this issue in two ways. Firstly, we propose to enrich the scheduling regime allowed by the language to not only consider data dependencies, but also explicit scheduling directives that operate on statements or coarser scheduling units. These directives may be used by the developer, or also by model-to-model transformations within the compiler. Secondly, we propose to enhance programming/modeling environments to guide the developer in finding causality issues. Specifically, we propose dedicated causality views that highlight data dependencies involved in scheduling conflicts, and structure-based editing to efficiently add scheduling directives. We illustrate our proposals for the SCCharts language. An Eclipse-based implementation based on the KIELER framework is available as open source. Index Terms-model-based design, scheduling, synchronous languages, modeling pragmatics, SCCharts (a) Write-Read dependency (b) Write-Write conflict (c) Read-Write SD dependency (d) Write-Write SD dep.

show abstract

Augmenting State Models with Data Flow

Cited by 5 publications

References 14 publications

Pragmatics Twelve Years Later: A Report on Lingua Franca

Pragmatics Twelve Years Later: A Report on Lingua Franca

Extracting Interactive Actor-Based Dataflow Models from Legacy C Code

Practical Causality Handling for Synchronous Languages

Contact Info

Product

Resources

About