| Publication type: |
Article |
| Author: |
Hoffmann, Berthold, Minas, Mark |
| Title: |
Defining Models -- Meta Models versus Graph Grammars |
| Volume: |
29 |
| Journal: |
Electr. Comm. of the EASST |
| Year published: |
2010 |
| Abstract: |
The precise specification of software models is a major concern in
model-driven design of object-oriented software.
Metamodelling and graph grammars are apparent choices for such
specifications.
Metamodelling has several advantages: it is easy to use, and provides
procedures that check automatically whether a model is valid or not. However,
it is less suited for proving properties of models, or for generating large
sets of example models.
Graph grammars, in contrast, offer a natural procedure -- the derivation
process -- for generating example models, and they support proofs because they
define a graph language inductively. However, not all graph grammars that
allow to specify practically relevant models are easily parseable.
In this paper, we propose emphcontextual star grammars as a graph grammar
approach that allows for simple parsing and that is powerful enough for
specifying non-trivial software models. This is demonstrated by defining
program graphs, a language-independent model of object-oriented
programs, with a focus on shape (static structure) rather than behavior. |
| Internet: |
http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/39 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~hof/papers/gtvmt10.pdf |
| Status: |
Reviewed |
| Last updated: |
13. 08. 2010 |
|
 |
