@article{Najafi_Haghighi_Zohdi Nasab_2016, title={A Set of Refactoring Rules for UML-B Specifications}, volume={35}, url={https://www.cai.sk/ojs/index.php/cai/article/view/1454}, abstractNote={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.}, number={2}, journal={COMPUTING AND INFORMATICS}, author={Najafi, Mehrnaz and Haghighi, Hassan and Zohdi Nasab, Tahereh}, year={2016}, month={Jul.}, pages={411–440} }