A High Level Design Framework for Software Systems
In this contribution the problem of relating the various software development stages in an adequate way is discussed. The ViewPoints frameworks is used to express the coupling between software artifacts and processes located at those development stages. A graph transformation based approach is proposed to address the problem of representing in a formal way the information con-tained in related ViewPoints. It is shown how this representation - which adequately denotes soft-ware specifications and processes formally - allows for a description of checks and development actions. Thus retrieval of important context information is possible if inconsistencies are found. A small example is given which shows how our approach actually works.
Dieser Eintrag ist freigegeben.