5525 search results - page 132 / 1105 » Verification of Model Transformations |
118
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
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...
125
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
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...
147
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
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...
148
Voted
GG
2010
Springer
15 years 1 months ago
2010
Springer
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...
126
Voted
ECEASST
2006
15 years 3 months ago
2006
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...