RIGOROUSLY AUTOMATING TRANSFORMATIONS OF UML BEHAVIOR MODELS
Jon Whittle, Jo�ão Araújo, Ambrosio Toval, José Luis Fernández‐Alemán · 2000
UML is a standard modeling language that enables the specification of applications at many different levels of abstraction using a wide range of notations. However, there is currently only limited research investigating the maintenance of UML models throughout the software lifecycle. In particular, UML behavior models are typically not orthogonal but each model shows similar behaviors from different perspectives. Hence, modifications to one behavior model will have possibly unforeseen ramifications elsewhere. We propose a framework in which to express automated transformations on UML models using a formalization of UML in rewriting logic. These transformations include abstractions and refinements of behavior models as well as translations between models. What they have in common is that they take into account the global behavior of the system, expressed over multiple models, rather than being localized to a particular notation.