Towards proving preservation of behaviour of refactoring of UML models
Towards proving preservation of behaviour of refactoring of UML models
复制标题
证明 UML 模型重构行为的保留
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
A. Boake
中科院分区：
文献类型：
--
作者：
M. V. Kempen;M. Chaudron;D. Kourie;A. Boake
在更新和修改软件之前重构设计已成为一种公认的做法，以便为即将到来的更改做好设计准备。本文描述了对特定应用程序的设计的重构，以说明建议的方法。在这种方法中，我们使用 UML 表示设计，更具体地说，使用类图表示结构，并使用状态图表示每个类的行为。检查特定设计的指标，我们建议进行重构，将集中控制结构更改为采用更多委托的结构，并显示重构的类和状态图。由于保留行为是重构的定义属性之一，因此我们使用基于 csp 的形式主义来描述重构，并表明重构确实保留了行为。
Refactoring of a design before updating and modifying software has become an accepted practice in order to prepare the design for the upcoming changes. This paper describes a refactoring of the design of a particular application to illustrate a suggested approach. In this approach, we represent the design using UML, more specifically the structure using class diagrams, and the behaviour of each class using statecharts.Examining metrics of the specific design, we suggest a refactoring that changes a centralized control structure into one that employs more delegation, showing the refactored class and statechart diagrams. As preserving behaviour is one of the defining attributes of a refactoring, we use a csp-based formalism to describe the refactoring, and show that the refactoring indeed preserves behaviour.