Automatic layout of statecharts

Castelló, Rodolfo; Mili, Rym; Tollis, Ioannis G.

doi:10.1002/spe.418

Cited by 9 publications

(6 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Third, a readable layout of the generated HFSMs is a difficult problem (see, for example, Castello et al [2002]; Harel and Yashchin [2000]). Most graph layout algorithms do not take into account hierarchical states.…”

Section: Scalability and Usabilitymentioning

confidence: 99%

Synthesizing hierarchical state machines from expressive scenario descriptions

Whittle

Jayaraman

2010

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

There are many examples in the literature of algorithms for synthesizing state machines from scenario-based models. The motivation for these is to automate the transition from scenario-based requirements to early behavioral design models. To date, however, these synthesis algorithms have tended to generate flat state machines which can be difficult to understand or adapt for practical systems. One of the reasons for this is that relationships between scenarios are often not taken into account during synthesis-either because the relationships are not explicitly defined or because the synthesis algorithms are not sophisticated enough to cope with them. If relationships are not considered, it is impossible for a synthesis algorithm to know, for example, where one scenario stops and another continues. Furthermore, the lack of relationships makes it difficult to introduce structure into the generated state machines. With the introduction of interaction overview diagrams (IODs) in UML2.0, relationships such as continuation and concurrency can now be specified between scenarios in a way that conforms to the UML standard. But synthesis algorithms do not currently exist that take into account all of these relationships. This article presents a novel synthesis algorithm for an extended version of interaction overview diagram. This algorithm takes into account not only continuation and concurrency, but also preemption, suspension and the notion of a negative scenario. Furthermore, the synthesis algorithm generates well-structured state machines. These state machines are executable and can therefore be used to validate the scenarios. The hierarchy generated aids readability and so the state machines are more amenable to subsequent design steps. Our IOD extensions have a formal semantics and are supported by a synthesis and execution tool, UCSIM, which is currently provided as a plug-in to IBM Rational Software Modeler.The work described in this article is an extension of work described in two previous articles, Whittle and Jayaraman [2006] and Jayaraman and Whittle [2007].

show abstract

Section: Scalability and Usabilitymentioning

confidence: 99%

Synthesizing hierarchical state machines from expressive scenario descriptions

Whittle

Jayaraman

2010

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

show abstract

“…Eichelberger and Gudenberg [28] discuss existing automatic layout methods for class diagrams and present their approach to laying out class diagrams that respect aesthetic rules, such as those described by [27]. Castello et al [42] propose an automatic layout algorithm that improves the readability of state chart diagrams. It reduces the number of edge crossings and edge bends.…”

Section: Graphical Refactoringsmentioning

confidence: 99%

Towards an Integrated Quality Assessment and Improvement Approach for UML Models

Jalbani

Grabowski

Neukirchen

et al. 2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Models defined using the Unified Modeling Language (UML) are nowadays common parts of software documentations, specifications and sometimes even implementations. However, there is a broad variety of how UML is used. Reasons can be found, for example, in the lack of generally accepted modeling norms and guidelines, the semi-formal semantics of UML, or the complexity of the language. In practice, these factors inevitably lead to quality problems in UML models that need to be addressed. We investigate and discuss existing work in the field of quality assessment and improvement of UML models and present how we envision an integrated approach to quality assessment and improvement of UML models. We assess a model with a Factor-Criteria-Metrics (FCM) based quality model, detect issues by finding smells and violated metric thresholds in UML models, and improve UML models by applying refactorings using model-to-model transformations.

show abstract

“…17 The approach is highly adaptable and a lot of variants and extensions were introduced to handle applicationspecific requirements like compound graphs 35,36 constraint vertex order 37,38 or vertices of arbitrary size. 39 It was successfully applied in different areas like visualization of UML class diagrams, 40,41 statecharts, 42,43 biochemical pathways 44,45 or compiler graphs. 46…”

Section: Visualization Of Layered Graph Structuresmentioning

confidence: 99%

Visualization Aided Performance Tuning of Irregular Task-Parallel Computations

Blochinger

Kaufmann

Siebenhaller

2006

Information Visualization

View full text Add to dashboard Cite

This paper deals with a visualization-based approach to performance analyzing and tuning of highly irregular task-parallel applications. At its core lies a novel automatic layout algorithm for execution graphs which is based on Sugiyama's framework. Our visualization enables the application designer to reliably detect manifestations of parallel overhead and to investigate on their individual root causes. We particularly focus on structural properties of taskparallel computations which are hard to detect in a more analytical way, for example, false sharing and false parallelism. In addition, we discuss embedding our visualization into an integrated development environment, realizing a seamless work-flow for implementation, execution, analysis, and tuning of parallel programs.

show abstract

Automatic layout of statecharts

Cited by 9 publications

References 26 publications

Synthesizing hierarchical state machines from expressive scenario descriptions

Synthesizing hierarchical state machines from expressive scenario descriptions

Towards an Integrated Quality Assessment and Improvement Approach for UML Models

Visualization Aided Performance Tuning of Irregular Task-Parallel Computations

Contact Info

Product

Resources

About