## A Combined Reference Model- and View-Based Approach to System Specification (1997)

### Cached

### Download Links

- [www.uni-paderborn.de]
- [www.cs.tu-berlin.de]
- DBLP

### Other Repositories/Bibliography

Citations: | 22 - 11 self |

### BibTeX

@MISC{Engels97acombined,

author = {Gregor Engels and Reiko Heckel and Gabriele Taenzter and Hartmut Ehrig},

title = {A Combined Reference Model- and View-Based Approach to System Specification},

year = {1997}

}

### OpenURL

### Abstract

this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. The integration of two views derived from a common reference model is done in two steps. First, dependencies between the views which are not given by the reference model are determined, and the reference model is extended appropriately. This is the task of a model manager. If the two views and the reference model are consistent, the actual view integration can be performed automatically. For the case of more than two views more general scenarios are developed and discussed. All concepts and results are illustrated at the well-known example of a banking system.

### Citations

538 | A Comparative Analysis of Methodologies for Database Schema Integration
- Batini, Lenzerini, et al.
- 1986
(Show Context)
Citation Context ...fferent views denoting semantically different concepts. 4 In particular, the first form (i) of inconsistency caused a lot of research work in the database world, well-known as scheme integration (cf. =-=[BLN86]-=-). Instead of trying to identify dependencies between different names, we start with a common reference model of names and their interrelations. In the case that different views want to share the same... |

506 |
An Introduction to Database Systems
- Date
- 1976
(Show Context)
Citation Context ... considered to be individual views of the data base. Each view is a restriction of the conceptual model - the total community user view - to just that portion of interest to that particular user (cf. =-=[Dat79]-=-). Views may be defined in two different ways. First, by using features of a corresponding query language, user views are defined on top of an existing database scheme. Instances of a user view are de... |

327 | Handbook of Graph Grammars and Computing by Graph Transformation - Rozenberg, ed |

187 | Viewpoints: A Framework for Integrating Multiple Perspectives in System Development - Finkelstein, Kramer, et al. - 1992 |

99 |
F.: Graph processes
- Corradini, Montanari, et al.
- 1996
(Show Context)
Citation Context ... of a graphical specification language, which is easily and intuitively understandable while having a sound theoretical base. In particular our approach is based on typed graph transformation systems =-=[CMR96]-=- which allow to define a set of graphs by a type (scheme) graph together with type-consistent operations on these graphs. We use refinement concepts developed in [HCEL96]. A first version of the techn... |

54 | Graph grammar engineering with PROGRES - Schurr, Winter, et al. - 1995 |

53 | Structuring Z specifications with views
- Jackson
- 1995
(Show Context)
Citation Context ...FKN + 92]) follows an algorithmic approach by checking the effect of operations and triggering update operations to end in a consistent result state. Other specification approaches, like e.g. Z ( cf. =-=[Jac95]-=-), follow a descriptive approach, where the application engineer has to integrate different view specifications in an overall specification by additional inter-view constraints. In our approach, we fo... |

49 | M.: Algebraic approaches to graph transformation I: Basic concepts and double pushout approach - Corradini, Montanari, et al. - 1997 |

40 |
PROGRES: A VHL-Language Based on Graph Grammars
- Schürr
- 1991
(Show Context)
Citation Context ... Last but not least our view-oriented technique must be supported by a specification language based on typed graph transformation systems and corresponding tools. A good candidate for this is PROGRES =-=[Sch91]-=- where a related construction is already used for merging different versions of a document [Wes91]. The relationship of this construction and our approach to view integration has still to be investiga... |

29 | Structure-Oriented Merging of Revisions of Software Documents - Westfechtel |

27 | Horizontal and Vertical Structuring of Typed Graph Transformation Systems
- Heckel, Corradini, et al.
- 1996
(Show Context)
Citation Context ...d graph transformation systems [CMR96] which allow to define a set of graphs by a type (scheme) graph together with type-consistent operations on these graphs. We use refinement concepts developed in =-=[HCEL96]-=-. A first version of the technical construction of view integration has been developed in [Rib96]. Compared to most of the currently popular object-oriented modelling techniques, typed graph transform... |

27 |
Parallel Composition and Unfolding Semantics of Graph Grammars
- Ribeiro
- 1996
(Show Context)
Citation Context ...aph together with type-consistent operations on these graphs. We use refinement concepts developed in [HCEL96]. A first version of the technical construction of view integration has been developed in =-=[Rib96]-=-. Compared to most of the currently popular object-oriented modelling techniques, typed graph transformation systems really support an integrated modelling of static and dynamic aspects. This goes muc... |

20 | Beyer: An Implementation of Algebraic Graph Rewriting - Löwe, M - 1993 |

16 | The category of typed graph grammars and their adjunction with categories of derivations - Corradini, Ehrig, et al. - 1996 |

13 | A hybrid query language for the extended entity relationship model - Andries, Engels - 1997 |

13 | Graph-Grammars and Their Application to Computer Science and - Claus, Ehrig, et al. - 1979 |

12 | Object-Oriented Application Frameworks - Lewis - 1995 |

11 | GRIDS - GRaph-Based Integrated Development of Software: Integrating Different Perspectives of Software Engineering - Zamperoni - 1996 |

10 | A Formal Object Specification Technique Using Rule-Based Transformation of Partial Algebras - Wagner - 1997 |

8 | Integrating the specification techniques of graph transformation and temporal logic - Heckel, Ehrig, et al. - 1997 |

6 | Generalized graph structure grammars with applications to concurrent object-oriented systems - Korff - 1996 |

4 | Loose semantics and constraints for graph transformation systems - Heckel, Ehrig, et al. - 1997 |

3 |
Keynote on current state and future perspectives of software process technology
- Balzer
- 2000
(Show Context)
Citation Context ...nterrelations are fixed. This idea of a combined reference model- and view-based specification approach was especially proposed by B. Balzer during his keynote speech at SP'96 (Software Process) (cf. =-=[Bal]-=-). In all these approaches of system modelling several general properties are often required. Some of them are (1) that these languages should be easily and intuitively understandable by software user... |

1 | editors. 4th International Workshop on Graph Grammars and Their Application to Computer Science - Ehrig, Kreowski, et al. - 1991 |

1 |
Loose semantics and constraints for graph transformation systems
- Wolter, Corradini
- 1997
(Show Context)
Citation Context ...ased transactions. Also, we have to consider different kinds of constraints, especially temporal logic formulas, in order to specify and verify important (e.g. safety critical) system properties (see =-=[HECW97]-=-). Last but not least our view-oriented technique must be supported by a specification language based on typed graph transformation systems and corresponding tools. A good candidate for this is PROGRE... |

1 | Modeling dynamic distributed object structures by graph transformation - Taentzer - 1996 |