A Set of Refactoring Rules for UML-B Specifications
Keywords:
UML-B, refactoring, refinement, object-oriented design, annealing, introduce subtypingAbstract
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.Downloads
Download data is not yet available.
Downloads
Published
2016-07-11
How to Cite
Najafi, M., Haghighi, H., & Zohdi Nasab, T. (2016). A Set of Refactoring Rules for UML-B Specifications. Computing and Informatics, 35(2), 411–440. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/1454
Issue
Section
Articles