Sciweavers

Share
SOSYM
2010

On challenges of model transformation from UML to Alloy

8 years 6 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 Architecture (MDA) techniques can be applied to generate code from such specifications. Since implementing a system based on a faulty design requires additional cost and effort, it is important to analyse the UML models at earlier stages of the software development lifecycle. This paper focuses on utilizing MDA techniques to deal with the analysis of UML models and identify design faults within a specification. Specifically, we show how UML models can be automatically transformed into Alloy which, in turn, can be automatically analysed by the Alloy Analyzer. The proposed approach relies on MDA techniques to transform UML models to Alloy. This paper reports on the challenges of the model transformation from UML class diagrams and OCL to Alloy. Those issues are caused by fundamental differences in the design p...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg,
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SOSYM
Authors Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray
Comments (0)
books