Skip to main content
SpringerLink
Log in

Specification and Verification of Model Transformations Using UML-RSDS

  • Conference paper
Integrated Formal Methods (IFM 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6396))

Included in the following conference series:

Abstract

In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.

Work carried out within the HoRTMoDA EPSRC project.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ehrig, H., Engels, G., Rozenberg, H.-J. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2. World Scientific Press, Singapore (1999)

    MATH  Google Scholar 

  2. Harman, M., Binkley, D., Danicic, S.: Amorphous Program Slicing. Journal of Systems and Software 68(1), 45–69 (2003)

    Article  Google Scholar 

  3. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Jouault, F., Kurtev, I.: On the interoperability of model-to-model transformation languages. Science of Computer Programming 68, 114–137 (2007)

    Article  MATH  Google Scholar 

  5. Kermeta (2010), http://www.kermeta.org

  6. Kolovos, D., Paige, R., Polack, F.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Lano, K.: The B Language and Method. Springer, Heidelberg (1996)

    Book  Google Scholar 

  8. Lano, K.: Constraint-Driven Development. Information and Software Technology 50, 406–423 (2008)

    Article  Google Scholar 

  9. Lano, K.: A Compositional Semantics of UML-RSDS. SoSyM 8(1), 85–116 (2009)

    Google Scholar 

  10. Lano, K. (ed.): UML 2 Semantics and Applications. Wiley, Chichester (2009)

    Google Scholar 

  11. OMG, Model-Driven Architecture (2004), http://www.omg.org/mda/

  12. OMG, UML Specification, version 1.4 (2001), http://www.omg.org/spec/UML/1.4/

  13. OMG, UML Superstructure Specification, version 1.4. OMG document 01-09-67 (2001), http://www.omg.org/spec/UML/1.4/

  14. OMG, UML superstructure, version 2.1.1. OMG document formal/2007-02-03

    Google Scholar 

  15. OMG, UML Specification, version 2.2 (2007), http://www.omg.org/spec/UML/2.2

  16. OMG, Query/View/Transformation Specification, ptc/05-11-01 (2005)

    Google Scholar 

  17. OptXware, The Viatra-I Model Transformation Framework Users Guide (2010)

    Google Scholar 

  18. Richters, M.: A UML-based Specification Environment (2001), http://www.db.informatik.uni-bremen.de/projects/USE

  19. Rose, L., Kolovos, D., Paige, R., Polack, F.: Model Migration Case for TTC 2010, Dept. of Computer Science, University of York (2010)

    Google Scholar 

  20. Stevens, P.: Bidirectional model transformations in QVT. SoSyM 9(1) (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, King’s College London, UK

    Kevin Lano & Shekoufeh Kolahdouz-Rahimi

Authors
  1. Kevin Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shekoufeh Kolahdouz-Rahimi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA Nancy-Grand Est & LORIA, Bâtiment B, équipe MOSEL, 615 rue du Jardin Botanique, 54602, Villers-lès-Nancy cédex, France

    Dominique Méry  & Stephan Merz  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lano, K., Kolahdouz-Rahimi, S. (2010). Specification and Verification of Model Transformations Using UML-RSDS. In: Méry, D., Merz, S. (eds) Integrated Formal Methods. IFM 2010. Lecture Notes in Computer Science, vol 6396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16265-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16265-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16264-0

  • Online ISBN: 978-3-642-16265-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation