Sciweavers

4187 search results - page 53 / 838
» A Taxonomy of Model Transformation
Sort
View
VL
2005
IEEE
126views Visual Languages» more  VL 2005»
14 years 3 months ago
Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation
This paper shows how integrated UML models combining class, object, use-case, collaboration and state diagrams can be animated in a domain-specific layout. The presented approach...
Claudia Ermel, Karsten Hölscher, Sabine Kuske...
OTM
2005
Springer
14 years 3 months ago
Ontology Transformation and Reasoning for Model-Driven Architecture
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
Claus Pahl
UML
2005
Springer
14 years 3 months ago
Transformation-Based Structure Model Evolution
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner
ECEASST
2008
69views more  ECEASST 2008»
13 years 10 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
GG
2010
Springer
13 years 8 months ago
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Ulr...