Sciweavers

187 search results - page 4 / 38
» Towards Composite Model Transformations Using Distributed Gr...
Sort
View
CORR
2010
Springer
178views Education» more  CORR 2010»
13 years 4 months ago
Towards A Shape Analysis for Graph Transformation Systems
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
Dominik Steenken, Heike Wehrheim, Daniel Wonisch
BIRTHDAY
2005
Springer
13 years 11 months ago
Main Concepts of Networks of Transformation Units with Interlinking Semantics
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz R...
APSEC
2002
IEEE
13 years 11 months ago
Quality Driven Transformation Compositions for Object Oriented Migration
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
Ying Zou, Kostas Kontogiannis
ENTCS
2008
106views more  ENTCS 2008»
13 years 6 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
ICMT
2011
Springer
12 years 9 months ago
Toward Bidirectionalization of ATL with GRoundTram
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhi...