Supporting design patterns in graph rewriting-based model transformation

被引：0
|
作者：
Lengyel, Laszlo [1 ]
Levendovszky, Tihamer [1 ]
Meszaros, Tamas [1 ]
Charaf, Hassan [1 ]
机构：
[1] Budapest Univ Technol & Econ, H-1111 Budapest, Hungary
来源：
ENASE 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING | 2007年
关键词：
model transformation; graph rewriting; design patterns; rewriting rule patterns;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Model transformations appear in many, different situations in a model-based development process. A few representative examples are as follows: refining the design to implementation, aspect weaving, analysis, and verification. In object-oriented software design, design patterns describe simple and elegant solutions to specific problems. Similarly, design pattern should be identified in model transformations as well to support the frequently appearing problems. This paper introduces the design pattern support of a modelling and model transformation framework (Visual Modeling and Transformation System). Furthermore, we discuss two model-based development related design patterns.
引用
收藏
页码：25 / 32
页数：8
相关论文
共 50 条
  • [21] Rewriting-based Quantifier-free Interpolation for a Theory of Arrays
    Bruttomesso, Roberto
    Ghilardi, Silvio
    Ranise, Silvio
    22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11), 2011, 10 : 171 - 186
  • [22] Analysis of Rewriting-Based Systems as First-Order Theories
    Lucas, Salvador
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 180 - 197
  • [23] Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies
    Du, Jianfeng
    Pan, Jeff Z.
    SEMANTIC WEB - ISWC 2015, PT I, 2015, 9366 : 339 - 355
  • [24] Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
    Brett, Noel
    Siddique, Umair
    Bonakdarpour, Borzoo
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 77 - 93
  • [25] MDA based design patterns modeling and model transformation
    Zhang, Tian
    Zhang, Yan
    Yu, Xiao-Feng
    Wang, Lin-Zhang
    Li, Xuan-Dong
    Ruan Jian Xue Bao/Journal of Software, 2008, 19 (09): : 2203 - 2217
  • [26] The abstract machine for graph rewriting - Supporting a fast implementation
    Dorr, H
    EFFICIENT GRAPH REWRITING AND ITS IMPLEMENTATION, 1995, 922 : 123 - 162
  • [27] GRAPH REWRITING AS A COMPUTATIONAL MODEL
    MCBURNEY, DL
    SLEEP, MR
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 491 : 235 - 256
  • [28] Graph rewriting and transformation (GReAT): A solution for the model integrated computing (MIC) bottleneck
    Agrawal, A
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 364 - 368
  • [29] DIST-ORC: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
    AlTurki, Musab
    Meseguer, Jose
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (36): : 26 - 45
  • [30] Hierarchical Higher-Order Port Graphs: A Rewriting-Based Modelling Language
    Fernandez, Maribel
    Mackie, Ian
    26TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2024, 2024,
12345