Abstract

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.

Keywords

Cite this article

@article{cai-1454,
  author  = {Mehrnaz Najafi and Hassan Haghighi and Tahereh Zohdi Nasab},
  title   = {A Set of Refactoring Rules for UML-B Specifications},
  journal = {Computing and Informatics},
  volume  = {35},
  number  = {2},
  pages   = {411--440},
  year    = {2016},
  issn    = {1335-9150},
  url     = {https://cai.type.sk/content/2016/2/a-set-of-refactoring-rules-for-uml-b-specifications/}
}
Download .bib