Sciweavers

266 search results - page 1 / 54
» UML2Alloy: A Challenging Model Transformation
Sort
View
MODELS
2007
Springer
14 years 5 months ago
UML2Alloy: A Challenging Model Transformation
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
MODELS
2009
Springer
14 years 3 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...
ENTCS
2008
100views more  ENTCS 2008»
13 years 11 months ago
On Challenges for a Graphical Transformation Notation and the UMLX Approach
Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages ma...
Edward D. Willink
SOSYM
2010
176views more  SOSYM 2010»
13 years 9 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, ...
IQ
2001
14 years 7 days ago
Data Quality Challenges in Enabling eBusiness Transformation
: This paper discusses data quality challenges in the context of eBusiness Transformation. It presents the major differences between traditional and eBusiness as they relate to bus...
Arie Segev