A Set of Refactoring Rules for UML-B Specifications
Mehrnaz Najafi; Shahid Beheshti University G.C., Evin, Tehran ; Hassan Haghighi; Shahid Beheshti University G.C., Evin, Tehran ; Tahereh Zohdi Nasab; Shahid Beheshti University G.C., Evin, Tehran
Computing and Informatics, Tome 34 (2016) no. 4, / Harvested from Computing and Informatics
Text on Computing and Informatics
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.
Publié le : 2016-07-11
Classification:  Software Engineering,  UML-B, refactoring, refinement, object-oriented design, annealing, introduce subtyping,  68N30 
@article{cai1454,
     author = {Mehrnaz Najafi; Shahid Beheshti University G.C., Evin, Tehran and Hassan Haghighi; Shahid Beheshti University G.C., Evin, Tehran and Tahereh Zohdi Nasab; Shahid Beheshti University G.C., Evin, Tehran},
     title = {A Set of Refactoring Rules for UML-B Specifications},
     journal = {Computing and Informatics},
     volume = {34},
     number = {4},
     year = {2016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/cai1454}
}

Mehrnaz Najafi; Shahid Beheshti University G.C., Evin, Tehran; Hassan Haghighi; Shahid Beheshti University G.C., Evin, Tehran; Tahereh Zohdi Nasab; Shahid Beheshti University G.C., Evin, Tehran. A Set of Refactoring Rules for UML-B Specifications. Computing and Informatics, Tome 34 (2016) no. 4, . http://gdmltest.u-ga.fr/item/cai1454/