Design pattern based model transformation with tool support

2013 ◽  
Vol 45 (4) ◽  
pp. 473-499 ◽  
Author(s):  
Dae-Kyoo Kim
Keyword(s):  
Design Pattern ◽  
Model Transformation ◽  
Tool Support

scholarly journals A Visual Language for Design Pattern Modeling and Instantiation

2011 ◽  
pp. 20-43 ◽  
Author(s):  
David Maplesden ◽  
John Hosking ◽  
John Grundy
Keyword(s):  
Design Pattern ◽  
Design Patterns ◽  
Visual Language ◽  
Tool Support ◽  
Modeling Language ◽  
Formal Specifications ◽  
Prototype Tool ◽  
Pattern Modeling ◽  
Generic Design ◽  
Solution Specification

In this chapter we describe the Design pattern modeling language, a notation supporting the specification of Design pattern solutions and their instantiation into UML design models. DPML uses a simple set of visual abstractions and readily lends itself to tool support. DPML Design pattern solution specifications are used to construct visual, formal specifications of Design patterns. DPML instantiation diagrams are used to link a Design pattern solution specification to instances of a UML model, indicating the roles played by different UML elements in the generic Design pattern solution. A prototype tool is described, together with an evaluation of the language and tool.

scholarly journals ADM-Based Hybrid Model Transformation for Obtaining UML Models from PHP Code

2019 ◽  
Vol 7 (1) ◽  
pp. 32
Author(s):  
Abdelali Elmounadi ◽  
Naoual Berbiche ◽  
Nacer Sefiani ◽  
Nawfal El Moukhi
Keyword(s):  
Model Transformation ◽  
Unified Modeling Language ◽  
Hybrid Approach ◽  
Language Models ◽  
Tool Support ◽  
Web Based ◽  
Automated Generation ◽  
Unified Modeling ◽  
Transformation Language ◽  
Model Transformation Language

In this paper, we present a hybrid-based model transformation, according to the Architecture Driven Modernization (ADM) approach, intended for getting UML (Unified Modeling Language) models from the PHP (Hypertext Preprocessor) code. This latter has been done by offering a tool support for automated generation of UML platform independent models from PHP ASTM (Abstract Syntax Tree Metamodel) representations, which are specific platform models. The model transformation rules are expressed in ATL (Atlas Transformation Language), which is a widely used model transformation language based on the hybrid approach. This work aims to fill the gap between the web-based applications maintenance, especially PHP-based implementations, and the model transformation processes in the ADM context.

scholarly journals Implementing QVT-R via semantic interpretation in UML-RSDS

2020 ◽  
Author(s):  
K. Lano ◽  
S. Kolahdouz-Rahimi
Keyword(s):  
Model Transformation ◽  
Semantic Interpretation ◽  
Model Transformations ◽  
Tool Support ◽  
Transformation Language ◽  
Efficient Code ◽  
Model Transformation Language ◽  
Multiple Languages ◽  
Mathematical Semantics ◽  
Qvt Relations

Abstract The QVT-Relations (QVT-R) model transformation language is an OMG standard notation for model transformation specification. It is highly declarative and supports (in principle) bidirectional (bx) transformation specification. However, there are many unclear or unsatisfactory aspects to its semantics, which is not precisely defined in the standard. UML-RSDS is an executable subset of UML and OCL. It has a precise mathematical semantics and criteria for ensuring correctness of applications (including model transformations) by construction. There is extensive tool support for verification and for production of 3GL code in multiple languages (Java, C#, C++, C, Swift and Python). In this paper, we define a translation from QVT-R into UML-RSDS, which provides a logically oriented semantics for QVT-R, aligned with the RelToCore mapping semantics in the QVT standard. The translation includes variation points to enable specialised semantics to be selected in particular transformation cases. The translation provides a basis for verification and static analysis of QVT-R specifications and also enables the production of efficient code implementations of QVT-R specifications. We evaluate the approach by applying it to solve benchmark examples of bx.

scholarly journals The Role-Based Metamodeling Language for Specifying Design Patterns

2011 ◽  
pp. 183-205 ◽  
Author(s):  
Dae-Kyoo Kim
Keyword(s):  
Design Pattern ◽  
Design Patterns ◽  
Specification Language ◽  
Tool Support ◽  
Future Trends ◽  
Solution Domain ◽  
The Future ◽  
Role Based ◽  
Pattern Specification

This chapter describes a UML-based pattern specification language called the role-based metamodeling language (RBML), which defines the solution domain of a Design pattern in terms of roles at the metamodel level. The goal of the RBML is to support the development of precise pattern specifications that can be used for the development of pattern tools. The author describes the approach and benefits of the RBML, and demonstrates the notation for capturing various perspectives of pattern properties using the Observer, Interpreter, and Iterator patterns. The author also discusses tool support for the RBML and the future trends in pattern specification.

An Integrated Approach to Design Patterns Formalization

2011 ◽  
pp. 1-19 ◽  
Author(s):  
Toufik Taibi
Keyword(s):  
Formal Specification ◽  
Design Pattern ◽  
Design Patterns ◽  
Integrated Approach ◽  
Tool Support ◽  
Software Projects ◽  
Design Problems ◽  
Time To Market ◽  
Correct Usage ◽  
Pattern Specification

A Design pattern describes a set of proven solutions for a set of recurring design problems that occur within a context. As such, reusing patterns improves both quality and time-to-market of software projects. Currently, most patterns are specified in an informal fashion, which gives rise to ambiguity, and limits tool support and correct usage. This chapter describes balanced pattern specification language (BPSL), a language intended to accurately describe patterns in order to allow rigorous reasoning about them. BPSL incorporates the formal specification of both structural and behavioral aspects of patterns. Moreover, it can formalize pattern composition and instances of patterns (possible implementations of a given pattern).

Design pattern-based model transformation supported by QVT

2017 ◽  
Vol 125 ◽  
pp. 289-308 ◽  
Author(s):  
Dae-Kyoo Kim ◽  
Lunjin Lu ◽  
Byunghun Lee
Keyword(s):  
Design Pattern ◽  
Model Transformation
Sign in / Sign up

Export Citation Format

Share Document