This paper defines a catalogue of patterns for the specification and design model transformations, provides systematic scheme classification these patterns, together with pattern application examples in leading transformation languages such as ATL, QVT, GrGen.NET, others. We consider improving modularization efficiency reducing data storage requirements. define metamodel-based formalization measurement-based techniques to guide selection patterns. also provide an evaluation effectiveness on...

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

Semantic interoperability is one of the most critical challenges for software developers while integrating two or more context-aware systems. In such circumstances, it essential to understand meaning and interpretation various contexts in different business domains align context ontologies together. Our investigations reveal that existing works poorly address these requirements. To fill this gap, paper proposes Ontology as a Service (OaaS) approach facilitate semantic proposed solution,...

Context. Several activities in model-driven engineering (MDE), like model transformation testing, would require the availability of big sets realistic models. However, commu-nity has failed so far producing large repositories, and lack freely available industrial models been raised as one most important problems MDE. Consequently, MDE researchers have developed various tools methods to generate using different approaches, such graph grammar, partitioning, random generation. these rarely...

Model transformations are a central element of model-driven development (MDD) approaches. The correctness model is critical to their effective use in practical software development, since users must be able rely upon correctly preserving the semantics source models and producing valid target models. In this paper we provide techniques for proving termination, confluence declaratively-specified transformations, relative formal UML OCL. We compare effectiveness syntactic analysis techniques,...

This case study is an update-in-place refactoring transformation on UML class diagrams. Its aim to remove clones of attributes from a diagram, and identify new classes which abstract groups that share common data features. It used as one general collection transformations (such the removal redundant inheritance, or multiple inheritance) improve quality specification design level diagram. The typical example model refactoring, illustrates issues involved in such transformations.

Bidirectional model transformations (Bx) are considered as one of the cornerstones model-driven engineering paradigm. Bx re-establishes consistency between source and target models, when they evolved independently. Recently, a large number approaches for proposed, each with different capabilities characteristics. Among them is novel approach, called EVL+trace, which have previously proposed by authors. In order to choose an appropriate bidirectional transformation language particular task,...