Token analysis of graph-oriented process models

Götz, Mathias; Roser, Stephan; Lautenbacher, Florian; Bauer, Bernhard

doi:10.1109/edocw.2009.5332020

Cited by 13 publications

(8 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Figure 4. Decomposition of (business) processes [3] The authors of [3] describe an algorithm based on token flow analysis, i.e. tokens which are created and merged at gateways and propagated along the flow direction as can be seen in Figure 3.2.. Tokens originating from the same node converge and are removed (indicated by curly brackets).…”

Section: Business Process Analysismentioning

confidence: 99%

Applying data-flow analysis to models a novel approach for model analysis

Saad

Bauer

2010

Proceedings of the 2010 Spring Simulation Multiconference

Self Cite

View full text Add to dashboard Cite

Using modeling techniques, the structure of an application domain can be captured in an easy and highly expressive way. However, while the use of meta models for the definition of modeling languages is a common and well-understood activity, extracting information about behavioral properties as well as the validation of static semantics is still a challenge. In this paper we present a novel approach for model analysis that addresses these issues by applying the method of dataflow analysis to the modeling domain. By approximating the dynamic behavior of a model, this allows for an abstract interpretation of its runtime characteristics.

show abstract

Section: Business Process Analysismentioning

confidence: 99%

Applying data-flow analysis to models a novel approach for model analysis

Saad

Bauer

2010

Proceedings of the 2010 Spring Simulation Multiconference

Self Cite

View full text Add to dashboard Cite

show abstract

“…The Single Entry Region (SER) analysis is introduced by Kienberger et al in (Kienberger et al, 2014) and further refined in (Kienberger et al, 2016). It is based on work of (Ottenstein and Ottenstein, 1984), (Johnson et al, 1994), (Tip, 1995) and (Gotz et al, 2009). The idea is to identify regions having a loose coupling to other parts of the system and therefore be kind of isolated.…”

Section: Single Entry Regionmentioning

confidence: 99%

Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures

Etzel

Bauer

2019

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

Self Cite

View full text Add to dashboard Cite

The complexity in automotive systems engineering is increasing over the last decade. In particular, new comfort functions as well as functions towards autonomous driving are reasons for this complexity. A new dimension is introduced by the usage of multi-core processors since there is a shift from sequential to parallel thinking in the different development phases. Therefore, in this paper we present an approach for supporting the development process of distributed systems aligned with the EAST-ADL approach, by using partitioning. We present an extension to EAST-ADL for partitioning and show ways how an automatic partitioning on different levels of abstraction can be achieved. These partitions can support system designers during the design process of functional architectures, by giving a first insight how well the functional components can be distributed on hardware in later stages of the development process.

show abstract

“…The immense search space can be remarkably reduced by providing a beneficial starting point for the simulation and optimization that are carried out to evaluate the initial solution and to search for further ones. This approach is based on techniques introduced in previous papers, [30][31][32] which were further developed in an approach by Götz et al 33 Since its initial proposition (in Kienberger et al 8 ), the partitioning algorithm was extended to cope with highly complex models:…”

Section: Data Dependency Analysis and Validationmentioning

confidence: 99%

Parallelizing highly complex engine management systems

Kienberger

Schmidhuber²,

Saad

et al. 2017

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

Summary The automotive industry seeks to include more and more features in its vehicles. For this purpose, the necessary policy shift towards multi‐core technology is in full swing. To eventually exploit the extra processing power, there is much additional effort needed for coping with the tremendously increased complexity. This is largely due to the elaborate parallelization process that spans a vast search space. Consequently, there is a strong need for innovative methods and appropriate tools for the migration of legacy single‐core software. We use the results of a data dependency analysis performed on AUTOSAR system descriptions to determine advantageous partitions as well as initial task‐to‐core mappings. Afterwards, the extracted information serves as input for the simulation within a multi‐core timing tool suite. Here, the initial solution is evaluated with respect to proper scheduling and metrics like cross‐core communication rates, communication latencies, or core load distribution. A subsequent optimization process improves the initial solution and enables a comparative assessment. To demonstrate the benefit, we substantially expand a previous case study by applying our approach to two complex engine management systems and by showing the advantages compared to a parallelization process without preceding dependency analysis and initial partition/mapping suggestions.

show abstract

Token analysis of graph-oriented process models

Cited by 13 publications

References 10 publications

Applying data-flow analysis to models a novel approach for model analysis

Applying data-flow analysis to models a novel approach for model analysis

Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures

Parallelizing highly complex engine management systems

Contact Info

Product

Resources

About