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
关键词
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
    [J]. 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
    [J]. 2013 IEEE EUROCON, 2013, : 482 - 487
  • [3] Methods for Proving Termination of Rewriting-based Programming Languages by Transformation
    Duran, Francisco
    Lucas, Salvador
    Meseguer, Jose
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 248 : 93 - 113
  • [4] A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting
    Bae, Kyungmin
    Meseguer, Jose
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 290 : 19 - 36
  • [5] Rewriting-Based Access Control Policies
    de Oliveira, Anderson Santana
    [J]. 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
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2014, 2014, 8568 : 91 - 105
  • [7] Rewriting-based techniques for runtime verification
    Roşu G.
    Havelund K.
    [J]. Automated Software Engineering, 2005, 12 (2) : 151 - 197
  • [8] Rewriting-based optimization for XQuery transformational queries
    Grinev, M
    Pleshachkov, P
    [J]. 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
    [J]. 2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016, : 46 - 53
  • [10] Request rewriting-based web service discovery
    Benatallah, B
    Hacid, MS
    Rey, C
    Toumani, F
    [J]. SEMANTIC WEB - ISWC 2003, 2003, 2870 : 242 - 257