Hierarchical automata as model for statecharts

Mikk, Erich; Lakhnech, Yassine; Siegel, Michael I.

doi:10.1007/3-540-63875-x_52

Cited by 72 publications

(93 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The S level describes how the system evolves following global information coming from the environment in which it is operating and from the interactions and the evolutions of the entities of the B level. Note that this approach has some similarities to hierarchical models like the hierarchical automata proposed by Mikk et al [18]. However, in our case, the levels cannot be seen as just different levels of abstraction, but they can exist only in the entangled S[B] model.…”

Section: Methodsmentioning

confidence: 80%

Topological Characterization of Complex Systems: Using Persistent Entropy

Merelli

Rucco

Sloot

et al. 2015

Entropy

View full text Add to dashboard Cite

In this paper, we propose a methodology for deriving a model of a complex system by exploiting the information extracted from topological data analysis. Central to our approach is the S[B] paradigm in which a complex system is represented by a two-level model. One level, the structural S one, is derived using the newly-introduced quantitative concept of persistent entropy, and it is described by a persistent entropy automaton. The other level, the behavioral B one, is characterized by a network of interacting computational agents. The presented methodology is applied to a real case study, the idiotypic network of the mammalian immune system.

show abstract

Section: Methodsmentioning

confidence: 80%

Topological Characterization of Complex Systems: Using Persistent Entropy

Merelli

Rucco

Sloot

et al. 2015

Entropy

View full text Add to dashboard Cite

show abstract

“…In order to model-check statecharts, it is necessary to transform them and represent them in a mathematical formalism like Extended Hierarchical Automata (EHAs). EHAs have been proposed in [13] as an intermediate format to facilitate linking new tools to a statechart-based environment.…”

Section: Motivating Examplementioning

confidence: 99%

“…The EHA notation is a simple formalism with a more restricted syntax than statecharts which nevertheless allows us to capture the richer formalism [13]. Figure 1 presents models for a traffic supervisor system for a crossing of a main road and a country road [14].…”

Section: Motivating Examplementioning

confidence: 99%

An OCL-Based Framework for Model Transformations

Dang¹,

Gogolla

2016

JCSCE

View full text Add to dashboard Cite

Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations. This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.

show abstract

“…In order to model-check statecharts, it is necessary to transform them and represent them in a mathematical formalism like Extended Hierarchical Automata (EHAs). EHAs have been proposed in [14] as an intermediate format to facilitate linking new tools to a statechartbased environment. This formalism uses single-source/singletarget transitions (as in usual automata), and forbids interlevel transitions.…”

Section: ) Motivation Of the Transformationmentioning

confidence: 99%

“…This formalism uses single-source/singletarget transitions (as in usual automata), and forbids interlevel transitions. The EHA notation is a simple formalism with a more restricted syntax than statecharts which nevertheless allows us to capture the richer formalism [14]. 2) Example Statechart: Figure 1 shows the example statechart.…”

Section: ) Motivation Of the Transformationmentioning

confidence: 99%

An Approach for Quality Assurance of Model Transformations

Dang

Gogolla

2012

2012 Fourth International Conference on Knowledge and Systems Engineering

View full text Add to dashboard Cite

Abstract-Model transformation is an important building block for model-driven approaches. It puts forward a necessity as well as a challenge for validating and verifying transformations. This paper proposes a specification method and an OCL-based framework for model transformations. The approach is based on an integration of Triple Graph Grammars and the Object Constraint Language (OCL) as a formal foundation. The OCLbased transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.

show abstract

Hierarchical automata as model for statecharts

Cited by 72 publications

References 8 publications

Topological Characterization of Complex Systems: Using Persistent Entropy

Topological Characterization of Complex Systems: Using Persistent Entropy

An OCL-Based Framework for Model Transformations

An Approach for Quality Assurance of Model Transformations

Contact Info

Product

Resources

About