Shekoufeh Kolahdouz Rahimi

Slicing Techniques for UML Models

This paper defines techniques for the slicing of UML models, that is, for the restriction of models to those parts which specify the properties and behaviour of a subset of the elements within them. The purpose of this restriction is to produce a smaller model which permits more effective analysis and comprehension than the complete model, and also to form a step in factoring of a model. We consider class diagrams, single state machines, and communicating sets of state machines.

Case study: Class diagram restructuring

This case study is an update-in-placerefactoringtransformationon UML class diagrams. Its aim is toremove clones of attributes from a class diagram, and to identify new classes which abstract groupsof classes that share common data features.It is used as one of a general collection of transformations (such as the removal of redundantinheritance, or multiple inheritance) which aim to improve the quality of a specification or designlevel class diagram.The transformationis a typical example of a model refactoring,and illustrates the issues involvedin such transformations.

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS.

This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.

Integrating goal-oriented measurement for evaluation of model transformation

Model transformations have become a key element of model-driven software development, being used to transform platform-independent models to platform-specific models, to improve model quality, to introduce design patterns and refactorings, and to map models from one language to another. In this paper, a survey is presented to review different model transformation techniques. In addition, the Goal/Question/Metric (G/Q/M) paradigm has been used to evaluate the comprehensibility of these model transformation approaches.

Specification of UML Model Transformations

The purpose of our research is to evaluate and compare different approaches for the specification, verification and implementation of model transformations, and to make recommendations for a transformation specification language which is modular, verifiable, and supports reuse and implementation. In this paper we survey existing approaches to model transformations and propose a new specification and implementation approach for transformations. We describe case studies, of state machine slicing, and re-architecting systems for achieving quality of service in service-oriented architectures, which are used to evaluate model transformation specification approaches and languages.

Solving the TTC 2011 Model Migration Case with UML-RSDS

In this paper we apply the UML-RSDS notation and tools to the GMF model migration case study and explain how to use the UML-RSDS tools.