TITLE

On challenges of model transformation from UML to Alloy

AUTHOR(S)

Anastasakis, Kyriakos; Bordbar, Behzad; Georg, Geri; Ray, Indrakshi

PUB. DATE

January 2010

SOURCE

Software & Systems Modeling;Jan2010, Vol. 9 Issue 1, p69

SOURCE TYPE

Academic Journal

DOC. TYPE

Article

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 philosophy of UML and Alloy. To facilitate better the representation of Alloy concepts in the UML, the paper draws on the lessons learnt and presents a UML profile for Alloy.

ACCESSION #

45506825

Tags: PROGRAM transformation (Computer programming);  PROGRAMMING languages (Electronic computers);  UML (Computer science);  COMPUTER software development;  SOFTWARE engineering

 

Related Articles

• Exception Handling Patterns for Process Modeling. Lerner, Barbara Staudt; Christov, Stefan; Osterweil, Leon J.; Bendraou, Reda; Kannengiesser, Udo; Wise, Alexander // IEEE Transactions on Software Engineering;Mar/Apr2010, Vol. 36 Issue 2, p162 

  Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focuses on the normative process, that is, how the collaboration transpires when everything goes as desired. Unfortunately,...

• A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT. Bezerra, J. M.; Hirata, C. M. // Advances in Software Engineering;2009, p1 

  UML-RT is a UML real-time profile that allows modeling event-driven and distributed systems; however it is not a formal specification language. This paper proposes a formal approach for UML-RT through a mapping of the UML-RT communicating elements into the p-calculus (or pi-calculus) process...

• State Based Static and Dynamic Formal Analysis of UML State Diagrams. Alhumaidan, Fahad // Journal of Software Engineering & Applications;Jul2012, Vol. 5 Issue 7, p483 

  Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented...

• Product Maintainability Design Method and Support Tool Based on Feature Model. Yufeng Ding // Journal of Software Engineering & Applications;Oct2009, Vol. 2 Issue 3, p165 

  Maintainability is an important character which is given by product design process. The maintainability design criteria and measure index used in product maintainability analysis are summarized and discussed in this paper. A product maintainability design method is studied by integrating the...

• A simple game-theoretic approach to checkonly QVT Relations. Stevens, Perdita // Software & Systems Modeling;Feb2013, Vol. 12 Issue 1, p175 

  The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where two (or more) models must be kept consistent in the face of changes to either or both. A QVT-R transformation can be used either in checkonly mode, to...

• Reusable model transformations. Sen, Sagar; Moha, Naouel; Mah�, Vincent; Barais, Olivier; Baudry, Benoit; J�z�quel, Jean-Marc // Software & Systems Modeling;Feb2012, Vol. 11 Issue 1, p111 

  Model transformations written for an input metamodel may often apply to other metamodels that share similar concepts. For example, a transformation written to refactor Java models can be applicable to refactoring UML class diagrams as both languages share concepts such as classes, methods,...

• The Software Costs Estimation Based on UML Model. Yang, Xiaoping; Jun, Lu; Zhao, Yuefeng // Journal of Systems Science & Information;Dec2004, Vol. 2 Issue 4, p783 

  UML is a standard modeling language used in object-oriented analysis and design. Function point analysis is a method used to measure the size of an application. It is independent of the implementation programming language. Its measuring result cart be compared between different development...

• On Formalization of the Whole-Part Relationship in the Unified Modeling Language. Hee Beng Kuan Tan; Lun Hao, Alexander; Yong Yang // IEEE Transactions on Software Engineering;Nov2003, Vol. 29 Issue 11, p1054 

  Focuses on discrepancies and solutions in formal definition for the semantics of the whole-part relationship in Unified Modeling Language (UML). Characteristics of whole-part relationship in UML; Shortcomings in defining the relationship in UML.

• Exploiting practical limitations of UML diagrams for model validation and execution. Steimann, Friedrich; Vollmer, Heribert // Software & Systems Modeling;Apr2006, Vol. 5 Issue 1, p26 

  We suggest a framework for UML diagram validation and execution that takes advantage of some of the practical restrictions induced by diagrammatic representations (as compared to Turing equivalent programming languages) by exploiting possible gains in decidability. In particular, within our...

Read the Article