摘要：In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology[Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the abilityto define the relation of intentional and extensional entities within one level, allowing not only for thedescription of structural relations among the modeling entities, but also for a formal definition of structuralconstraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional levelmeans run-time behavior, dynamic semantics on intentional level describes model evolution in the system lifecycle
关键词：formal modeling; system evolution; model evolution; dynamic logic; UML
