Skip to main content
SpringerLink
Log in

Validation of Model Transformations – First Experiences Using a White Box Approach

  • Conference paper
Models in Software Engineering (MODELS 2006)

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

Abstract

Validation of model transformations is important for ensuring their quality. Successful validation must take into account the characteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and propose three techniques that can be used for constructing test cases.

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. Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varró, D.: VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models . In: Proceedings 17th IEEE International Conference on Automated Software Engineering (ASE 2002), Edinburgh, UK, September 2002, pp. 267–270. IEEE Computer Society Press, Los Alamitos (2002)

    Chapter  Google Scholar 

  2. 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 

  3. Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)

    Google Scholar 

  4. Fleurey, F., Steel, J., Baudry, B.: Model-Driven Engineering and Validation: Testing model transformations. In: Proceedings SIVOES-MoDeVa Workshop, November 2004 (2004)

    Google Scholar 

  5. Ehrig, K., Küster, J.M., Taentzer, G., Winkelmann, J.: Generating Instance Models from Meta Models. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 156–170. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Dinh-Trong, T., Kawane, N., Ghosh, S., France, R., Andrews, A.: A Tool-Supported Approach to Testing UML Design Models. In: Proceedings of ICECCS’05, Shanghai, China, June 2005 (2005)

    Google Scholar 

  7. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Technical report, Department of Computer Science, The University of Waikato (New Zealand), Technical Report 04/2006 (2006)

    Google Scholar 

  8. Baudry, B., Dinh-Trong, T., Mottu, J.-M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model Transformation Testing Challenges. In: Proceedings of IMDT workshop in conjunction with ECMDA’06, Bilbao, Spain (2006)

    Google Scholar 

  9. Küster, J.M., Abd-El-Razik, M.: Validation of Model Transformations - First Experiences using a White Box Approach. In: Proceedings of 3rd International Workshop Modeva: Model Development, Validation and Verification, October 2006, pp. 62–77 (2006)

    Google Scholar 

  10. Mitra, T.: Business-driven development. IBM developerWorks article. IBM (2005), http://www.ibm.com/developerworks/webservices/library/ws-bdd

  11. Koehler, J., Hauser, R., Küster, J., Ryndina, K., Vanhatalo, J., Wahler, M.: The Role of Visual Modeleling and Model Transformations in Business-Driven Development. In: Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques, pp. 1–12 (2006)

    Google Scholar 

  12. IBM WebSphere Business Modeler, http://www-306.ibm.com/software/integration/wbimodeler/

  13. Object Management Group (OMG): UML 2.0 Superstructure Final Adopted Specification. OMG document pts/03-08-02 (2003)

    Google Scholar 

  14. Abd-El-Razik, M.: Business Process Normalization using Model Transformation. Master thesis, The American University in Cairo, in collaboration with IBM (In preparation, 2006)

    Google Scholar 

  15. Küster, J.M., Ryndina, K., Hauser, R.: A Systematic Approach to Designing Model Transformations. Technical report, IBM Research, Research Report RZ 3621 (2005)

    Google Scholar 

  16. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation. Final Adopted Specification. OMG document ad/2005-11-01 (2005)

    Google Scholar 

  17. Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall, Englewood Cliffs (1991)

    MATH  Google Scholar 

  18. Heckel, R., Lohmann, M.: Towards Model-Driven Testing. ENTCS 82(6) (2003)

    Google Scholar 

  19. Binder, R.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, Reading (1999)

    Google Scholar 

  20. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling 5(3), 233–259 (2006)

    Article  Google Scholar 

  21. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations, pp. 163–245. World Scientific, Singapore (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Zurich Research Laboratory, Säumerstr. 4, 8803 Rüschlikon, Switzerland

    Jochen M. Küster

  2. IBM Cairo Technology Development Center, El-Ahram, Giza, Egypt

    Mohamed Abd-El-Razik

  3. Department of Computer Science, American University in Cairo, Egypt

    Mohamed Abd-El-Razik

Authors
  1. Jochen M. Küster
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohamed Abd-El-Razik
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Kühne

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Küster, J.M., Abd-El-Razik, M. (2007). Validation of Model Transformations – First Experiences Using a White Box Approach. In: Kühne, T. (eds) Models in Software Engineering. MODELS 2006. Lecture Notes in Computer Science, vol 4364. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69489-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-69489-2_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-69488-5

  • Online ISBN: 978-3-540-69489-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation