Pattern-based model refactoring for the introduction association relationship
Refactoring is an important software development process involving the restructuring of a model to improve its internal qualities without changing its external behavior. In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are describe...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2015-04-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Subjects: | |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1319157815000208 |
| _version_ | 1811267804660236288 |
|---|---|
| author | Boulbaba Ben Ammar Mohamed Tahar Bhiri |
| author_facet | Boulbaba Ben Ammar Mohamed Tahar Bhiri |
| author_sort | Boulbaba Ben Ammar |
| collection | DOAJ |
| description | Refactoring is an important software development process involving the restructuring of a model to improve its internal qualities without changing its external behavior. In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are described by class diagrams, OCL constraints, and state machine diagrams. We detail a refactoring pattern that allows for the introduction of an association relationship between two existing classes. We illustrate our proposal by giving a case study involving the SAAT (Software Architecture Analysis Tool) system. |
| first_indexed | 2024-04-12T21:09:22Z |
| format | Article |
| id | doaj.art-54e38fa76dc446b89a0b5da949917a18 |
| institution | Directory Open Access Journal |
| issn | 1319-1578 |
| language | English |
| last_indexed | 2024-04-12T21:09:22Z |
| publishDate | 2015-04-01 |
| publisher | Elsevier |
| record_format | Article |
| series | Journal of King Saud University: Computer and Information Sciences |
| spelling | doaj.art-54e38fa76dc446b89a0b5da949917a182022-12-22T03:16:37ZengElsevierJournal of King Saud University: Computer and Information Sciences1319-15782015-04-0127217018010.1016/j.jksuci.2014.06.012Pattern-based model refactoring for the introduction association relationshipBoulbaba Ben AmmarMohamed Tahar BhiriRefactoring is an important software development process involving the restructuring of a model to improve its internal qualities without changing its external behavior. In this paper, we propose a new approach of model refactoring based on the combined use of UML, B and CSP. UML models are described by class diagrams, OCL constraints, and state machine diagrams. We detail a refactoring pattern that allows for the introduction of an association relationship between two existing classes. We illustrate our proposal by giving a case study involving the SAAT (Software Architecture Analysis Tool) system.http://www.sciencedirect.com/science/article/pii/S1319157815000208Model refactoringUMLBCSPAssociation relationship |
| spellingShingle | Boulbaba Ben Ammar Mohamed Tahar Bhiri Pattern-based model refactoring for the introduction association relationship Journal of King Saud University: Computer and Information Sciences Model refactoring UML B CSP Association relationship |
| title | Pattern-based model refactoring for the introduction association relationship |
| title_full | Pattern-based model refactoring for the introduction association relationship |
| title_fullStr | Pattern-based model refactoring for the introduction association relationship |
| title_full_unstemmed | Pattern-based model refactoring for the introduction association relationship |
| title_short | Pattern-based model refactoring for the introduction association relationship |
| title_sort | pattern based model refactoring for the introduction association relationship |
| topic | Model refactoring UML B CSP Association relationship |
| url | http://www.sciencedirect.com/science/article/pii/S1319157815000208 |
| work_keys_str_mv | AT boulbababenammar patternbasedmodelrefactoringfortheintroductionassociationrelationship AT mohamedtaharbhiri patternbasedmodelrefactoringfortheintroductionassociationrelationship |