GRIDS---graph-based, integrated development of software

摘要

The paper presents a multi dimensional software engineering model, based on a formal graph specification. In contrast to other software engineering approaches, we concentrate on the integration of the "partial" models of software processes, system architectures and views onto the system into one consistent project framework, in order to enhance large scale software development. We first introduce the static part of the so called three dimensional model of software engineering (3DM), which meta models partial models and integrated project frameworks. We further describe the dynamic part of the 3DM, which defines the necessary actions to generate, manipulate and maintain the entities of the static part. Using the programmed graph rewriting system PROGRES gives us a powerful means to formally specify our conceptual model. We show how we apply PROGRES to formalize the 3DM, and present the prototype of a project supporting tool, generated from the formal specification of the static and dynamic parts ofthe 3DM.