Synchronizing Refactored UML Class Diagrams and OCL Constraints

About
Privacy
Disclaimer

Graph Chatbot

Related publications (4)

Page 1 of 1

Model refactoring using transformations

Modern software is reaching levels of complexity encountered in biological systems; sometimes comprising systems of systems each of which may include tens of millions of lines of code. Model Driven Engineering (MDE) advocates raising the level of abstracti ...

EPFL2008

Visual contracts (VCs) : enriching graphical systemic models to support diagrammatic reasoning in system design

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Refactoring is a powerful technique to improve the quality of software models including implementation code. The software developer applies successively so-called refactoring rules on the current software model and transforms it into a new model. Ideally, ...

2006

RoclET– Refactoring OCL Expressions by Transformations

The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document ...

2006