UML2Alloy: A Challenging Model Transformation

  • Kyriakos Anastasakis
  • Behzad Bordbar
  • Geri Georg
  • Indrakshi Ray
Conference paper

DOI: 10.1007/978-3-540-75209-7_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4735)
Cite this paper as:
Anastasakis K., Bordbar B., Georg G., Ray I. (2007) UML2Alloy: A Challenging Model Transformation. In: Engels G., Opdyke B., Schmidt D.C., Weil F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg

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 fully automated analysis. As a result, creating Alloy code from a UML model provides the opportunity to exploit analysis capabilities of the Alloy Analyzer to discover possible design flaws at early stages of the software development. Our research makes use of model based techniques for the automated transformation of UML class diagrams with OCL constraints to Alloy code. The paper demonstrates challenging aspects of the model transformation, which originate in fundamental differences between UML and Alloy. We shall discuss some of the differences and illustrate their implications on the model transformation process. The presented approach is explained via an example of a secure e-business system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Kyriakos Anastasakis
    • 1
  • Behzad Bordbar
    • 1
  • Geri Georg
    • 2
  • Indrakshi Ray
    • 2
  1. 1.School of Computer Science, University of Birmingham, Edgbaston, BirminghamUK
  2. 2.Computer Science Department, Colorado State University, Fort Collins, ColoradoUSA

Personalised recommendations