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”.

[1]  Reiko Heckel,et al.  Classification and comparison of module concepts for graph transformation systems , 1999 .

[2]  Hartmut Ehrig,et al.  Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems , 1994, TAGT.

[3]  Hans-Jörg Kreowski,et al.  On the Interleaving Sematics of Transformation Units - A Step into GRACE , 1994, TAGT.

[4]  Christoph Beierle.  Concepts, Implementation, and Applications of a Typed Logic Programming Language , 1995, Logic Programming: Formal Methods and Practical Applications.

[5]  Reiko Heckel,et al.  Horizontal and vertical structuring of typed graph transformation systems , 1996, Mathematical Structures in Computer Science.

[6]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1975 .

[7]  Hans H. Kron,et al.  Programming-in-the-Large Versus Programming-in-the-Small , 1976, IEEE Trans. Software Eng..

[8]  Mehdi Jazayeri,et al.  Software Engineering — ESEC/FSE'97 , 1997, Lecture Notes in Computer Science.

[9]  Andy Schürr,et al.  Formal Definition and Refinement of UML's Module/Package Concept , 1997, ECOOP Workshops.

[10]  Andy Schürr,et al.  Programmed Graph Transformations and Graph Transformation Units in GRACE , 1994, TAGT.

[11]  Andy Schürr,et al.  Graph Grammar Engineering with PROGRES , 1995, ESEC.

[12]  Annegret Habel,et al.  Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..

[13]  Richard Wiener,et al.  Software Engineering with MODULA-2 and ADA , 1984 .

[14]  Andreas J. Winter,et al.  Modules and Updatable Graph Views for PROgrammed Graph REwriting Systems , 1997 .

[15]  Wilhelm Schäfer,et al.  Software Engineering — ESEC '95 , 1995, Lecture Notes in Computer Science.

[16]  Manfred Nagl,et al.  Building Tightly Integrated Software Development Environments: The IPSEN Approach , 1996, Lecture Notes in Computer Science.

[17]  Gabriele Taentzer,et al.  DIEGO, another step towards a module concept for graph transformation systems , 1995, SEGRAGRA.

[18]  Manfred Nagl,et al.  Software Integration Problems and Coupling of Graph Grammar Specifications , 1994, TAGT.

[19]  Andy Schürr,et al.  Integrity Constraints in the Multi-paradigm Language PROGRES , 1998, TAGT.

[20]  L'ubor Sesera,et al.  Analysis Patterns , 2000, SOFSEM.

[21]  Richard T. Dué,et al.  OBJECT-ORIENTED TECHNOLOGY: The Economics of a New Paradigm , 1993 .

[22]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[23]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[24]  Gregor Engels,et al.  A Framework for Adding Packages to Graph Transformation Approaches , 1998, TAGT.

[25]  Christoph Beierle,et al.  Logic Programming: Formal Methods and Practical Applications , 1994 .

[26]  Peter J. Robinson.  Hierarchical object-oriented design , 1992 .