Sciweavers

4074 search results - page 17 / 815
» Abstract Graph Transformation
Sort
View
LR
2011
108views more  LR 2011»
14 years 19 days ago
Modeling production networks with discrete processes by means of communities of autonomous units
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
Hans-Jörg Kreowski, Sabine Kuske, Caroline vo...
CALCO
2009
Springer
169views Mathematics» more  CALCO 2009»
15 years 4 months ago
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
Fernando Orejas, Esther Guerra, Juan de Lara, Hart...
GEOS
2009
Springer
15 years 2 months ago
SPARQL Query Re-writing Using Partonomy Based Transformation Rules
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...
Prateek Jain, Peter Z. Yeh, Kunal Verma, Cory A. H...
ENTCS
2008
98views more  ENTCS 2008»
14 years 9 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
ENTCS
2008
110views more  ENTCS 2008»
14 years 9 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...