Paper Search Console

Home Search Page About Contact

Journal Title

Title of Journal: Softw Syst Model

Search In Journal Title:

Abbravation: Software & Systems Modeling

Search In Journal Abbravation:

Publisher

Springer-Verlag

Search In Publisher:

DOI

10.1002/jlac.198819880215

Search In DOI:

ISSN

1619-1374

Search In ISSN:
Search In Title Of Papers:

A graphbased algorithm for consistency maintenanc

Authors: Simon M Becker Sebastian Herold Sebastian Lohmann Bernhard Westfechtel
Publish Date: 2007/01/24
Volume: 6, Issue: 3, Pages: 287-315
PDF Link

Abstract

Development processes in engineering disciplines are inherently complex Throughout the development process the system to be built is modeled from different perspectives on different levels of abstraction and with different intents Since stateoftheart development processes are highly incremental and iterative models of the system are not constructed in one shot rather they are extended and improved repeatedly Furthermore models are related by manifold dependencies and need to be maintained mutually consistent with respect to these dependencies Thus tools are urgently needed which assist developers in maintaining consistency between interdependent and evolving models These tools have to operate incrementally ie they have to propagate changes performed on one model into related models which are affected by these changes In addition they need to support user interactions in settings where the effects of changes cannot be determined automatically and deterministically We present an algorithm for incremental and interactive consistency maintenance which meets these requirements The algorithm is based on graphs which are used as the data model for representing the models to be integrated and graph transformation rules which describe the modifications of the graphs to be performed on a high level of abstraction


Keywords:

References


.
Search In Abstract Of Papers:
Other Papers In This Journal:


Search Result: