research-article

An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations

Authors:

Hafsteinn Þór Einarsson,

Helmut NeukirchenAuthors Info & Claims

WRT '12: Proceedings of the Fifth Workshop on Refactoring Tools

Pages 16 - 23

https://doi.org/10.1145/2328876.2328879

Published: 01 June 2012 Publication History

Abstract

When refactorings are applied to software models that are specified using the Unified Modeling Language (UML), the actual model and the graphical presentation of the model using a diagram need to be distinguished. While UML refactoring tools exist, they typically perform transformations only on the model level and are not able to transform the corresponding diagram as well. Thus, the UML model and the diagram representation of the model may get out of sync. This paper presents an approach that can be used in UML tools to refactor UML models together with their diagrams. To this aim model-to-model transformations are applied to the underlying model as well as to the related diagram. To prove the applicability of this approach, a prototype plug-in for the Eclipse-based Papyrus UML editor has been implemented. The model transformation language Query/View/-Transformation (QVT) is used to specify the transformation of the UML model and the diagrams.

References

[1]

T. Arendt, E. Bierman, S. Jurack, C. Krause, and G. Taentzer. Henshin: Advanced concepts and tools for in-place EMF model transformations. In MoDELS'10: Proc. 13th international conference on Model Driven Engineering Languages and Systems, Part I, volume 6394 of LNCS. Springer, 2010.

Digital Library

[2]

M. Boger, T. Sturm, and P. Fragemann. Refactoring Browser for UML. In Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, volume 2591 of LNCS. Springer, 2003.

Digital Library

[3]

Z. Diskin, Y. Xiong, and K. Czarnecki. From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology, 10:6:1--25, 2011.

[4]

Ł. Dobrzański. UML Model Refactoring-Support for Maintenance of Executable UML Models. Master's thesis, Blekinge Institute of Technology, School of Engineering, Ronneby, Sweden, 2005.

[5]

Eclipse Foundation. EMF Refactor Project. http://www.eclipse.org/modeling/emft/refactor/, 2012.

[6]

Eclipse Foundation. Eclipse Modeling Project. http://www.eclipse.org/modeling/, 2012.

[7]

H. Þ. Einarsson. Refactoring UML Diagrams and Models with Model-to-Model Transformations. Master's thesis, Faculty of Industrial Engineering, Mechinal Engineering and Computer Science, University of Iceland, Reykjavík, Iceland, 2011. URL http://hdl.handle.net/1946/8624.

[8]

M. Fowler. Refactoring -- Improving the Design of Existing Code. Addison-Wesley, Boston, 1999.

Digital Library

[9]

S. Markovic and T. Baar. Synchronizing Refactored UML Class Diagrams and OCL Constraints. In 1st Workshop on Refactoring Tools (WRT 2007), Berlin, Proceedings, 2007.

[10]

S. Markovic and T. Baar. Refactoring OCL annotated UML class diagrams. Software and System Modeling, 7(1):25--47, 2008.

[11]

OMG. UML Diagram Interchange Version 1.0.0 (formal/2006-04-04), 2006.

[12]

OMG. Meta Object Facility (MOF) Core Specification Version 2.4.1 (formal/2011-08-07), 2011.

[13]

OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification Version 1.1 (formal/2011-01-01), 2011.

[14]

OMG. Unified Modeling Language (OMG UML) Infrastructure Version 2.4.1 (formal/2011-08-05), 2011.

[15]

OMG. Unified Modeling Language (OMG UML) Superstructure Version 2.4.1 (formal/2011-08-06), 2011.

[16]

OMG. MOF 2 XMI Mapping Specification Version 2.4.1 (formal/2011-08-09), 2011.

[17]

OMG. Object Constraint Language (OCL) Version 2.3.1 (formal/2012-01-01), 2012.

[18]

J. Reimann, M. Seifert, and U. Aßmann. Role-based generic model refactoring. In MoDELS 10: Proc. 13th international conference on Model Driven Engineering Languages and Systems, Part II, volume 6395 of LNCS. Springer, 2010.

Digital Library

Cited By

Ghaedi Heidari SAjoudanian S(2024)Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving methodInnovations in Systems and Software Engineering10.1007/s11334-022-00525-820:1(65-84)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s11334-022-00525-8
Yousaf NAhmad AHamdani MAshfaq MSiddiqui H(2019)Investigation of Modern Tools and Techniques Provided by Modeling EditorsProceedings of the 7th International Conference on Computer and Communications Management10.1145/3348445.3348468(96-103)Online publication date: 27-Jul-2019
https://dl.acm.org/doi/10.1145/3348445.3348468
Rajabi BLee S(2018)Current Issues in UML Diagrams Coevolution and Consistency Techniques and ApproachesInternational Journal of Computer and Electrical Engineering10.17706/IJCEE.2018.10.2.158-17310:2(158-173)Online publication date: 2018
https://doi.org/10.17706/IJCEE.2018.10.2.158-173
Show More Cited By

Index Terms

An approach and tool for synchronous refactoring of UML diagrams and models using model-to-model transformations
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software reverse engineering

Recommendations

Two techniques for UML model transformations

One of the basic activities within the software development process is the performing of model transformations. This work presents two techniques for realizing transformations of models expressed in the unified modeling language (UML). The techniques ...
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications

This contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) ...
A new tool for URDAD to Java EE EJB transformations
SAICSIT '13: Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

Following the Object Management Group's (OMG) Model-Driven Architecture (MDA) approach, the semi-formal, service-orientated "Use Case, Responsibility Driven Analysis and Design" (URDAD) method is used by requirements engineers to specify a software ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

WRT '12: Proceedings of the Fifth Workshop on Refactoring Tools

June 2012

69 pages

ISBN:9781450315005

DOI:10.1145/2328876

Conference Chair:
Peter Sommerlad
University of Applied Sciences Rapperswil, Rapperswil, Switzerland

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

ICSE: International Conference on Software Engineering
SWEN: SWEN - Software Engineering Network

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

WRT '12

Sponsor:

ICSE
SWEN

WRT '12: Fifth Workshop on Refactoring Tools 2012

June 1, 2012

Rapperswil, Switzerland

Acceptance Rates

Overall Acceptance Rate 9 of 9 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
271
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ghaedi Heidari SAjoudanian S(2024)Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving methodInnovations in Systems and Software Engineering10.1007/s11334-022-00525-820:1(65-84)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s11334-022-00525-8
Yousaf NAhmad AHamdani MAshfaq MSiddiqui H(2019)Investigation of Modern Tools and Techniques Provided by Modeling EditorsProceedings of the 7th International Conference on Computer and Communications Management10.1145/3348445.3348468(96-103)Online publication date: 27-Jul-2019
https://dl.acm.org/doi/10.1145/3348445.3348468
Rajabi BLee S(2018)Current Issues in UML Diagrams Coevolution and Consistency Techniques and ApproachesInternational Journal of Computer and Electrical Engineering10.17706/IJCEE.2018.10.2.158-17310:2(158-173)Online publication date: 2018
https://doi.org/10.17706/IJCEE.2018.10.2.158-173
Singh SKaur S(2018)A systematic literature review: Refactoring for disclosing code smells in object oriented softwareAin Shams Engineering Journal10.1016/j.asej.2017.03.0029:4(2129-2151)Online publication date: Dec-2018
https://doi.org/10.1016/j.asej.2017.03.002
Cunha JPaulo Fernandes JMartins PMendes JPereira RSaraiva J(2016)Evaluating refactorings for spreadsheet modelsJournal of Systems and Software10.1016/j.jss.2016.04.043118:C(234-250)Online publication date: 1-Aug-2016
https://dl.acm.org/doi/10.1016/j.jss.2016.04.043
Khan YEl-Attar M(2016)Using model transformation to refactor use case models based on antipatternsInformation Systems Frontiers10.1007/s10796-014-9528-z18:1(171-204)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10796-014-9528-z
Rago AMarcos CDiaz-Pace J(2016)Identifying duplicate functionality in textual use cases by aligning semantic actionsSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0431-315:2(579-603)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10270-014-0431-3
Ben Ammar BBhiri M(2015)Pattern-based model refactoring for the introduction association relationshipJournal of King Saud University - Computer and Information Sciences10.1016/j.jksuci.2014.06.01227:2(170-180)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1016/j.jksuci.2014.06.012
Misbhauddin MAlshayeb M(2015)UML model refactoring: a systematic literature reviewEmpirical Software Engineering10.1007/s10664-013-9283-720:1(206-251)Online publication date: 1-Feb-2015
https://dl.acm.org/doi/10.1007/s10664-013-9283-7
Cunha JFernandes JMartins PPereira RSaraiva J(2014)Refactoring Meets Model-Driven Spreadsheet Evolution2014 9th International Conference on the Quality of Information and Communications Technology10.1109/QUATIC.2014.34(196-201)Online publication date: Sep-2014
https://doi.org/10.1109/QUATIC.2014.34
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten