Legacy Model Reconfiguration Using Graph-Theoretic
We present a theory of software model preservation and isomorphism (enhancement) and proving correctness of model of reengineering using graph and set theory (GS). A lot of software applications will be in the legacy state every five years as a result of changes in technology and business processes....
Saved in:
| Main Author: | |
|---|---|
| Format: | Citation Index Journal |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://eprints.utp.edu.my/2514/1/20081125.pdf http://eprints.utp.edu.my/2514/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Teknologi Petronas |
| Summary: | We present a theory of software model preservation and isomorphism (enhancement) and proving correctness of model of reengineering using graph and set theory (GS). A lot of software applications will be in the legacy state every five years as a result of changes in technology and business processes. Modeling has become a de facto standard in software engineering. Developing, deriving from existing models, composing and proving correctness of models are part and parcel of the software development process. We describe a specification technique that combines the methods of adaptive modeling and model composition |
|---|