| A coalgebraic semantic framework for reasoning about UML sequence diagrams |
Abstract
Model transformation plays an important role in the process of software development. In recent years, refactoring of UML models has been used as basic transformations to improve the design of systems. However, most current refactoring approaches are static and operate on source code level, and a generic definition of behavior preservation is still needed for model refactoring. In this paper, the notion of UML interaction model, represented by sequence diagrams, is formalized by using coalgebra. Such a generic coalgebraic semantic framework provides suitable notion of behavior preservation for refactoring of UML models as behavioral refinement. A family of refactoring laws are inves- tigated and we explain how they can be applied to UML sequence diagrams while preserving the behavior of a UML interaction model.