Formal integration of software engineering aspects using a graph rewrite system - A typical experience?!

被引:0
作者
Zamperoni, A [1 ]
Engels, G
机构
[1] Bosch Telecom, Div Private Networks, Frankfurt, Germany
[2] Univ Gesamthsch Paderborn, Dept Comp Sci, D-4790 Paderborn, Germany
来源
APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, PROCEEDINGS | 2000年 / 1779卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS', has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.
引用
收藏
页码:359 / 367
页数:9
相关论文
共 13 条
[1]   A hybrid query language for an extended entity-relationship model [J].
Andries, M ;
Engels, G .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1996, 7 (03) :321-352
[2]   DYNAmITE: Dynamic task nets for software process management [J].
Heimann, P ;
Joeris, G ;
Krapp, CA ;
Westfechtel, B .
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1996, :331-341
[3]  
JAGER D, 1999, P WORKSH APPL GRAPH
[4]  
NAGL M, 1990, P 1 INT C SYST DEV E, P141
[5]  
RADERMACHER A, 2000, P WORKSH APLL GRAPH
[6]  
REKERS J, 1994, P C GRAPH TRANSF PAL
[7]  
SCHLEICHER A, 1999, P WORKSH APPL GRAPH
[8]  
SCHURR A, 1996, LNCS, V1170, P356
[9]  
SCHURR A, 1996, LNCS, V1170, P248
[10]  
SCHWARTZ J, 1993, P COMPE 93, P272