Defining Abstract Graph Views as Module Interfaces

Graph transformation languages offer the ability to model the structure and behavior of a software system visually. While providing extensive language constructs for specifying in the small, they lack sophisticated concepts for specifying in the large. In particular, a mature module concept is still missing. In our project, we develop appropriate concepts and extend the graph transformation languages PROGRES and Fujaba for these concepts. By now, we have already included a mechanism for exporting and importing module interfaces consisting of a subset of specification elements. In this paper, we extend our module concept for supporting updateable abstract graph views as module interfaces. These views may abstract from specification details allowing a convenient usage of modules. For this purpose, a unique mapping between view elements and specification elements has to be defined. Exported view elements may be used by other modules in the same way as locally-defined specification elements.