A Set of Refactoring Rules for UML-B Specifications
Keywords:UML-B, refactoring, refinement, object-oriented design, annealing, introduce subtyping
AbstractUML-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.
Download data is not yet available.
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://www.cai.sk/ojs/index.php/cai/article/view/1454