CAL: USING CONSTRAINTS WITH ACTION LANGUAGE FOR AUTOMATING MODEL EVOLUTION1

Shahid Alam

Keywords

Action languages, object constraint languages, model evolution, ADAG, impact analysis

Abstract

In this paper 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 constraints with action language (CAL), which gives a user the ability to use constraints with actions on software models. We have added a data type, directed acyclic graph (DAG) to CAL to optimize impact analysis and automate model evolution, and to make CAL more accessible to nonprogrammers. 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 visual CAL, for dependency analysis of unified modeling language (UML) class diagrams is presented.

Important Links:



Go Back