A Set of Refactoring Rules for UML-B Specifications

Authors

  • 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

Keywords:

UML-B, refactoring, refinement, object-oriented design, annealing, introduce subtyping

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.

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 https://www.cai.sk/ojs/index.php/cai/article/view/1454

Issue

Vol. 35 No. 2 (2016): Computing and Informatics

Section

Articles

Most read articles by the same author(s)