Tom Gelhausen

Learn More
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We propose a new internal representation based on thematic roles, especially designed for (but not limited to) requirements documents. The representation can be generated automatically(More)
We show that a general purpose graph rewriting system (GRS) nowadays is capable of simulating gene expression, the intra-cellular synthesis of proteins. The model organism we use is one of the best-studied prokaryotic life-forms in genetics, the E. coli bacteria. Our graph representation of the E. coli DNA consists of 23 million graph elements. In our case(More)
Integrating applications with autonomic ,fiinctions such as checkpointing/restart, self-healing or self-updating is diflcult and time consuming [8]. We demonstrate tlmt autonomic,f~tnctionality can he sepuruted,frotn upplications und supplied by default imple?nentations, thereby dramatically reducing the cost oj'scipplying autonomy. This article proposes a(More)
Graph rewrite systems provide only elementary primitives – many applications require more complex structures though. We present a rewrite system for omnigraphs, a formal extension of hypergraphs with the ability to connect multiple nodes and edges with a single edge. We exemplify the adequacy of this approach in the domain of Model Driven Development (MDD):(More)
Assessing numerous models from students in written exams or homework is an exhausting task. We present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain description. The assessment is based on checklists generated by the tool Sumoχ. Sumoχ directly works on an annotated version of the(More)
  • 1