Sciweavers

AGTIVE
2003
Springer
13 years 8 months ago
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
Juan de Lara, Esther Guerra, Hans Vangheluwe
AGTIVE
2003
Springer
13 years 8 months ago
Modeling Discontinuous Constituents with Hypergraph Grammars
Discontinuous constituent are a frequent problem in natural language analyses. A constituent is called discontinuous if it is interrupted by other constituents. In German they can ...
Ingrid Fischer
AGTIVE
2003
Springer
13 years 8 months ago
Proper Down-Coloring Simple Acyclic Digraphs
Geir Agnarsson, Ágúst S. Egilsson, M...
AGTIVE
2003
Springer
13 years 8 months ago
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
Björn Cordes, Karsten Hölscher, Hans-J&o...
AGTIVE
2003
Springer
13 years 8 months ago
On Graphs in Conceptual Engineering Design
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
Janusz Szuba, Agnieszka Ozimek, Andy Schürr
AGTIVE
2003
Springer
13 years 8 months ago
Specifying Pointer Structures by Graph Reduction
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
Adam Bakewell, Detlef Plump, Colin Runciman
AGTIVE
2003
Springer
13 years 8 months ago
A Demo of OptimixJ
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
Uwe Aßmann, Johan Lövdahl
AGTIVE
2003
Springer
13 years 8 months ago
Integrating Graph Rewriting and Standard Software Tools
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
Uwe Aßmann, Johan Lövdahl
AGTIVE
2003
Springer
13 years 8 months ago
Local Specification of Surface Subdivision Algorithms
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
Colin Smith, Przemyslaw Prusinkiewicz, Faramarz F....