A Set of Refactoring Rules for UML-B Specifications

In: Computing and Informatics, vol. 35, no. 2

M. Najafi - H. Haghighi - T. Zohdi Nasab

Details:

Year, pages: 2016, 411 - 440

Keywords:

UML-B, refactoring, refinement, object-oriented design, annealing, introduce subtyping

About article:

UML-B is a graphical formal modelling notation which is based on UML and relies on Event-B and its verification tools. In this paper, we propose annealing and introduce subtyping rules as well-known refactoring rules which can improve and assist the derivation of object-oriented design from an abstract specification written in UML-B. We prove that the proposed annealing rules are behavior preserving. We also demonstrate the applicability and effectiveness of our refactoring rules by applying them on two UML-B specifications.

How to cite:

ISO 690:

Najafi, M., Haghighi, H., Zohdi Nasab, T. 2016. A Set of Refactoring Rules for UML-B Specifications. In Computing and Informatics, vol. 35, no.2, pp. 411-440. 1335-9150.

APA:

Najafi, M., Haghighi, H., Zohdi Nasab, T. (2016). A Set of Refactoring Rules for UML-B Specifications. Computing and Informatics, 35(2), 411-440. 1335-9150.