Stresa, Italy
September 5-7, 2001

Symposium on Visual Languages and Formal Methods

Statechart Modeling Contest


Mark Minas <>
Andy Schürr <>

Scope and Objectives

Over the time, a large number of formal methods has been invented to describe visual languages. They are, e.g., based on different kinds of grammars, logic, or algebra, they use graphs or other data structures as intermediate representations, or they "work" without such an intermediate representation. Bringing together people who work with these different methods was one of the main tasks of this Symposium on Visual Languages and Formal Methods. In order to foster a lively discussion on the formal methods and allow to compare the different approaches directly, everybody was invited to apply their favourite approach to specify any reasonable variant of the family of Statechart languages with a main emphasis on syntax and static semantics, to submit their solution, and to present it at the Symposium. In order to emphasize the comparison of the submitted approaches and the demonstration of their specific strength, the term "Statecharts Modeling Contest" has been chosen, though no winner was going to be selected. The main focus was to offer a forum where as many different formal methods as possible can be applied to a single, fairly well-defined visual language.

Submitted Approaches

[ List sorted alphabetically by author names ]
  • Defining a Statechart Language using UML
    D.H. Akehurst and S.J.H. Kent (University of Kent at Canterbury, UK)

  • Visual Specification and Parsing of a Statechart Variant using GenGEd
    Roswitha Bardohl and Claudia Ermel (Technical University of Berlin, Germany)
    [pdf, ps]

  • Incremental construction of UML Statechart Diagrams
    Paolo Bottoni (Universitá La Sapienza di Roma, Italy)
    [pdf, ps]

  • Parsing And Semantics of a Statechart Variant by Contextual Layered Graph Transformation
    Paolo Bottoni (Universitá La Sapienza di Roma, Italy) and Gabriele Taentzer (University of Paderborn, Germany)
    [pdf, ps]

  • Implementing Statecharts using Extended Positional Grammars
    G. Costagliola, V. Deufemia, F. Ferrucci and C. Gravino (Universitá di Salerno, Italy)
    [pdf, ps]

  • The definition of hierarchical finite state machines in GTDL
    Robert Esser (Adelaide University, Australia) and Jörn W. Janneck (UC Berkeley, USA)

  • The definition of hierarchical finite state machines in VisualGTDL
    Jörn W. Janneck (UC Berkeley, USA), Robert Esser (Adelaide University, Australia) and Manuel Hilty (ETH Zurich, Switzerland)

  • A Note on Formalizing UML State Machines With Structured Graph Transformation
    Sabine Kuske (University of Bremen, Germany)
    [pdf, ps]

  • Specifying Statecharts with DiaGen
    Mark Minas (University of Erlangen, Germany)
    [pdf, ps]

  • A Pattern-Based Specification of the Statechart Visual Language
    Carsten Schmidt (University of Paderborn, Germany)
    [pdf, ps]


The "contest" session as part of the HCC'01 program will take place on Friday, Sept. 7, 2001, 14:30 - 18:00, in room Azzurra. Each of the submitted approaches will be presented in a 10 min presentation. Afterwards, we will discuss and compare the different approaches as well as their individual strengths.

Back to VLFM '01 Home page