Software integration problems and coupling of graph grammar specifications

Abstract

This paper discusses graph grammar (gragra) specification and (de)composition problems which are related to the realization of integrated development environments. Gragras are used as an operational specification method for formally describing the effect of tools on internal configurations of such an environment. We propose a new approach for decomposing large unstructured gragra specifications into coupled modules (subspecifieations), sketch how the interfaces of interconnected modules look like, and how coupling can be described by means of correspondence relationships. Furthermore, we discuss a number of technical difficulties coming up with the usage of correspondence relationships for coupling gragra modules.