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 条
  • [1] Formal specification and analysis of functional properties of graph rewriting-based model transformation
    Asztalos, Mark
    Lengyel, Laszlo
    Levendovszky, Tihamer
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (05): : 405 - 435
  • [2] Visual Debugging Support for Graph Rewriting-based Model Transformations
    Tamas Meszaros
    Peter Feher
    Laszlo Lengyel
    2013 IEEE EUROCON, 2013, : 482 - 487
  • [3] A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
    Bae, Kyungmin
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 290 : 19 - 36
  • [4] Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
    Duran, Francisco
    Lucas, Salvador
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 248 : 93 - 113
  • [5] Rewriting-Based Access Control Policies
    de Oliveira, Anderson Santana
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 171 (04) : 59 - 72
  • [6] Towards a Language for Graph-Based Model Transformation Design Patterns
    Ergin, Hueseyin
    Syriani, Eugene
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2014, 2014, 8568 : 91 - 105
  • [7] Rewriting-based techniques for runtime verification
    Roşu G.
    Havelund K.
    Automated Software Engineering, 2005, 12 (2) : 151 - 197
  • [8] Rewriting-based optimization for XQuery transformational queries
    Grinev, M
    Pleshachkov, P
    9th International Database Engineering & Application Symposium, Proceedings, 2005, : 163 - 174
  • [9] Towards Rewriting-based Formal Model for Component-based Systems Verification
    Debza, A. A.
    Bouanaka, Chafia
    Zeghib, Nadia
    2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, : 46 - 53
  • [10] Automatic combinability of rewriting-based satisfiability procedures
    Kirchner, Helene
    Ranise, Silvio
    Ringeissen, Christophe
    Tran, Duc-Khanh
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 542 - +