Automatic Development of Service Oriented Models Using Graph Transformation Systems

被引：0
作者：
Raftari, Mehdi [1 ]
Joodaki, Saba [2 ]
机构：
[1] Islamic Azad Univ, Khoramabad Branch, Fac Engn, Khorramabad, Iran
[2] Islamic Azad Univ, Arak Branch, Fac Engn, Khorramabad, Iran
来源：
TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4 | 2009年
关键词：
component; graph transformation systems; MDA; AGG; platform independent models; abstraction;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Today, software system development (especially safety critical systems) is a complex task. Any bug in these systems may cause serious and costly problems. In this paper, we propose a formal and automatic approach to refinement of platform independent models to more platform specific ones. Using graph transformation systems as background formalism, we can validate the approach. For each level of abstraction, using the designed formal styles, we define proper graph rules to refine the models. Compared to the existing approaches which only consider the structural parts of the model, our proposed approach considers the behavioral parts of the models for refinement.
引用
收藏
页码：1671 / +
页数：2
相关论文
共 13 条
  • [1] Baresi L, 2002, LECT NOTES COMPUT SC, V2505, P402
  • [2] Style-based refinement of dynamic software architectures
    Baresi, L
    Heckel, R
    Thöne, S
    Varró, D
    [J]. FOURTH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA 2004), PROCEEDINGS, 2004, : 155 - 164
  • [3] Baresi L., 2006, Software and System Modeling, V5, P187
  • [4] BARESI L, 2008, 3 WORKSH GRAPH TRANS, V213, P3, DOI DOI 10.1016/J.ENTCS.2008.04.071
  • [5] Scaling step-wise refinement
    Batory, D
    Sarvela, JN
    Rauschmayer, A
    [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 187 - 197
  • [6] Towards a precise definition of the OMG/MDA framework
    Bézivin, J
    Gerbé, O
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 273 - 280
  • [7] Ehrig H, 2005, LECT NOTES COMPUT SC, V3442, P49, DOI 10.1007/978-3-540-31984-9_5
  • [8] Ehrig H., 1999, Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools, V2
  • [9] Garlan D., 1996, P ISAW 2 2 INT SOFTW, P72
  • [10] CORRECT ARCHITECTURE REFINEMENT
    MORICONI, M
    QIAN, XL
    RIEMENSCHNEIDER, RA
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (04) : 356 - 372
12