Article ID Journal Published Year Pages File Type
423274 Electronic Notes in Theoretical Computer Science 2008 10 Pages PDF
Abstract

Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of graphs and graph transformation for programming graph-based systems. Our case study, the flattening of hierarchical statecharts, reveals that cloning, a recently proposed transformation concept, makes graph transformation rules (in the double-pushout approach) more expressive. Thus programming becomes easier, and gets along with simpler control conditions in particular.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics