Sciweavers

9 search results - page 1 / 2
» Integrating OCL and Model Transformations in Fujaba
Sort
View
ECEASST
2006
101views more  ECEASST 2006»
13 years 4 months ago
Integrating OCL and Model Transformations in Fujaba
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...
Mirko Stölzel, Steffen Zschaler, Leif Geiger
ICMT
2010
Springer
13 years 9 months ago
Synthesis of OCL Pre-conditions for Graph Transformation Rules
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
MODELLIERUNG
2008
13 years 6 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
SOSYM
2010
107views more  SOSYM 2010»
13 years 3 months ago
A UML/OCL framework for the analysis of graph transformation rules
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
JUCS
2010
130views more  JUCS 2010»
12 years 11 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....