Automating software evolution: Towards using constraints with action for model evolution.

摘要

In this thesis we examine two issues and propose solutions to resolve them. The first is the automation of model evolution and the second is the support of software evolution in modeling languages. We extend Object Constraint Language with actions and define a new language CAL (Constraints with Action Language), which gives a user the ability to use constraints with actions on models. We have added a data type, directed acyclic graph (DAG) to CAL to automate model evolution and optimize impact analysis, and to make CAL more accessible to non-programmers. The DAG has been annotated (ADAG) with dependency weights and a labeling scheme has been improved in size and used to optimize basic ADAG operations. CAL contains a small set of constructs, but is powerful enough to be used efficiently for typical software evolution management operations. A prototype tool VCAL, for dependency analysis of UML Class Diagrams is presented.