Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423274 | Electronic Notes in Theoretical Computer Science | 2008 | 10 Pages |
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