Sciweavers

112 search results - page 2 / 23
» Model Transformation From VisualOCL to OCL Using Graph Trans...
Sort
View
ENTCS
2006
183views more  ENTCS 2006»
13 years 4 months ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...
MODELS
2009
Springer
13 years 9 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
UML
2004
Springer
13 years 10 months ago
OCL and Model Driven Engineering
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...
Jean Bézivin, Thomas Baar, Tracy Gardner, M...
SOSYM
2010
176views more  SOSYM 2010»
13 years 3 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ICMT
2009
Springer
13 years 11 months ago
A Collection Operator for Graph Transformation
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
Roy Grønmo, Stein Krogdahl, Birger Mø...