UML packages for PROgrammed Graph REwriting Systems

Specification and rapid prototyping of graph manipulation software by means of PROgrammed Graph REwriting Systems (PROGRES) is a paradigm attracting more and more interest in various fields of computer science. Specifications for process modeling tools, database query languages, etc. suffer from the lack of any module concept. This paper introduces a module concept for the graph rewriting (transformation) language PROGRES that is closely related to the package concept of the standardized OO modeling language UML. It supports a variety of software design patterns including the construction of "Abstract Graph Types" and "Updatable Graph Views".