research-article

Tool supported OCL refactoring catalogue

Authors:

Uwe AßmannAuthors Info & Claims

OCL '12: Proceedings of the 12th Workshop on OCL and Textual Modelling

Pages 7 - 12

https://doi.org/10.1145/2428516.2428518

Published: 30 September 2012 Publication History

Get Access

Abstract

The Object Constraint Language (OCL) as the primary constraint language in model-driven software development is heavily used to specify static semantics of arbitrary languages and models. Models and constraints are therefore interconnected and depend on each other. On the one hand, daily work with models enjoys a good tool support, whereas, on the other hand, mature OCL tools are not widely spread but a niche. Unfortunately, during their life-time, the complexity of models rises and so do their OCL constraints. Thus, the gap between conventional modelling and OCL tools becomes obvious. This fact demands for OCL tool support to cope with the complexity. To bridge this gap, refactoring is well-suited and mighty. In this paper we discuss existing work, present a revised catalogue of OCL-exclusive refactorings and provide an implementation. We do not consider co-refactorings of OCL constraints and their constrained models.

References

[1]

J. Cabot and E. Teniente. Transforming OCL constraints: a context change approach. In ACM symposium on Applied computing, 2006.

Digital Library

Google Scholar

[2]

J. Chimiak-Opoka, B. Demuth, A. Awenius, D. Chiorean, S. Gabel, L. Hamann, and E. Willink. OCL Tools Report based on the IDE4OCL Feature Model. In OCL and Textual Modelling, 2011.

Google Scholar

[3]

A. Correa and C. Werner. Refactoring object constraint language specifications. Software and Systems Modeling, 2007.

Crossref

Google Scholar

[4]

A. Correa, C. Werner, and M. Barros. Refactoring to improve the understandability of specifications written in object constraint language. Software, IET, 3(2):69--90, 2009.

Crossref

Google Scholar

[5]

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

Digital Library

Google Scholar

[6]

M. Giese and D. Larsson. Simplifying Transformations of OCL Constraints. In Model Driven Engineering Languages and Systems. Springer, 2005.

Digital Library

Google Scholar

[7]

K. Hassam, S. Sadou, V. Gloahec, and R. Fleurquin. Assistance System for OCL Constraints Adaptation during Metamodel Evolution. In CSMR2011, 2011.

Digital Library

Google Scholar

[8]

S. Marković and T. Baar. Refactoring OCL Annotated UML Class Diagrams. Software and Systems Modeling, 2008.

Google Scholar

[9]

J. Reimann, M. Seifert, and U. Aßmann. Role-Based Generic Model Refactoring. In Model Driven Engineering Languages and Systems. Springer, 2010.

Digital Library

Google Scholar

[10]

J. Reimann, M. Seifert, and U. Aßmann. On the reuse and recommendation of model refactoring specifications. Software and Systems Modeling, 2012.

Google Scholar

[11]

C. Wilke and B. Demuth. UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure. EASST, 2011.

Google Scholar

Cited By

View all

Cherfa EKesraoui STibermacine CFleurquin RSadou SHung CCerny TShin DBechini A(2020)On investigating metamodel inaccurate structuresProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3374035(1642-1649)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3374035
Lu HWang SYue TAli SNygard J(2019)Automated Refactoring of OCL Constraints with SearchIEEE Transactions on Software Engineering10.1109/TSE.2017.277482945:2(148-170)Online publication date: 1-Feb-2019
https://doi.org/10.1109/TSE.2017.2774829
Cuadrado J(2019)A verified catalogue of OCL optimisationsSoftware & Systems Modeling10.1007/s10270-019-00740-1Online publication date: 2-Jul-2019
https://doi.org/10.1007/s10270-019-00740-1
Show More Cited By

Index Terms

Tool supported OCL refactoring catalogue
1. Software and its engineering
  1. Software creation and management
    1. Software post-development issues
      1. Software reverse engineering
  2. Software notations and tools
    1. Development frameworks and environments

Recommendations

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) ...
Tool-supported method for the extraction of OCL from ORM models
BIS'07: Proceedings of the 10th international conference on Business information systems

It is recognized that conceptual models expressed in ORM are more suitable for analysis stage and the relational database design, and because of natural verbalization are better tolerated by stakeholders, whereas UML models are more often used in the ...
Analysis of the AnyWalker Software Architecture Using the UML Refactoring Tool
Abstract
Refactoring (restructuring of a system, which keeps its functionality invariant) of the software can be aimed at the optimization of such characteristics as modifiability, maintainability and understandability. Model refactoring can be conducted ...

Comments

Information & Contributors

Information

Published In

OCL '12: Proceedings of the 12th Workshop on OCL and Textual Modelling

September 2012

66 pages

ISBN:9781450317993

DOI:10.1145/2428516

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 September 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Federal State of Saxony

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

September 30, 2012

Innsbruck, Austria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
105
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cherfa EKesraoui STibermacine CFleurquin RSadou SHung CCerny TShin DBechini A(2020)On investigating metamodel inaccurate structuresProceedings of the 35th Annual ACM Symposium on Applied Computing10.1145/3341105.3374035(1642-1649)Online publication date: 30-Mar-2020
https://dl.acm.org/doi/10.1145/3341105.3374035
Lu HWang SYue TAli SNygard J(2019)Automated Refactoring of OCL Constraints with SearchIEEE Transactions on Software Engineering10.1109/TSE.2017.277482945:2(148-170)Online publication date: 1-Feb-2019
https://doi.org/10.1109/TSE.2017.2774829
Cuadrado J(2019)A verified catalogue of OCL optimisationsSoftware & Systems Modeling10.1007/s10270-019-00740-1Online publication date: 2-Jul-2019
https://doi.org/10.1007/s10270-019-00740-1
Radke HArendt TBecker JHabel ATaentzer G(2018)Translating essential OCL invariants to nested graph constraints for generating instances of meta-modelsScience of Computer Programming10.1016/j.scico.2017.08.006152:C(38-62)Online publication date: 15-Jan-2018
https://dl.acm.org/doi/10.1016/j.scico.2017.08.006
Ben Ammar BBhiri M(2018)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: 20-Dec-2018
https://dl.acm.org/doi/10.1016/j.jksuci.2014.06.012
Cuadrado J(2018)Optimising OCL Synthesized CodeModelling Foundations and Applications10.1007/978-3-319-92997-2_3(28-45)Online publication date: 29-May-2018
https://doi.org/10.1007/978-3-319-92997-2_3
Kallel STramoni BTibermacine CDony CKacem A(2015)Automatic Translation of Architecture Constraint Specifications into ComponentsSoftware Architecture10.1007/978-3-319-23727-5_27(322-338)Online publication date: 22-Oct-2015
https://doi.org/10.1007/978-3-319-23727-5_27
Reimann JAβmann U(2013)Quality-Aware Refactoring for Early Detection and Resolution of Energy DeficienciesProceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing10.1109/UCC.2013.70(321-326)Online publication date: 9-Dec-2013
https://dl.acm.org/doi/10.1109/UCC.2013.70

View Options

Get Access

Login options

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

Cited By

Index Terms

Recommendations

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool

Tool-supported method for the extraction of OCL from ORM models

Analysis of the AnyWalker Software Architecture Using the UML Refactoring Tool