A graph-based approach to the construction of tools for the life cycle integration between software documents

In the construction of a software system, software documents (requirements definitions, software architectures, module implementations, etc.) are produced which are written in different languages and describe the system from different points of view. The construction of tools for the integration of such documents is addressed. A formal approach to the semi-automatic construction of incremental integration tools is presented. Passive and active support for interdocument dependencies (consistency analyses and generation/updating of templates for dependent documents, respectively) are provided. For formally specifying incremental integration tools, graph rewriting systems are used. It is shown that certain parts of such a graph rewriting system may be generated from a simple description of language correspondences