Validation of model transformations - First experiences using a white box approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4364 LNCS, Issue , 2007, Pages 193-204

  Küster, Jochen M ^a   Abd El Razik, Mohamed ^b,c  

^a IBM RESEARCH ZURICH   (Switzerland)

^b IBM Center for Advanced Studies in Cairo   (Egypt)

^c The American University in Cairo   (Egypt)

Author keywords

Model transformations; Testing

Indexed keywords

AUTOMATIC TEST PATTERN GENERATION; FAILURE ANALYSIS; MODEL CHECKING; TESTING;

FAULT MODEL; MODEL TRANSFORMATIONS; TEST CASE GENERATION; WHITE BOX APPROACH;

SOFTWARE ENGINEERING;

EID: 38149033515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69489-2_24     Document Type: Conference Paper

References (21)

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 (2002) 267-270
2. Jouault, F., Kurtev, I.: Transforming Models with ATL. In Bruel, J.M., ed.: Satellite Events at the MoDELS 2005 Conference, Revised Selected Papers. Volume 3844 of LNCS. (2005) 128-138
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 (2003) 1296-1321
4. Fleurey, F., Steel, J., Baudry, B.: Model-Driven Engineering and Validation: Testing model transformations. In: Proceedings SIVOES-MoDeVa Workshop. (2004)
5. Ehrig, K., Küster, J.M., Taentzer, G., Winkelmann, J.: Generating Instance Models from Meta Models. Volume 4037 of LNCS, Springer (2006) 156-170
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. (2005)
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)
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)
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. (2006) 62-77
10. Mitra, T.: Business-driven development. IBM developerWorks article, http://www.ibm.com/developerworks/webservices/library/ws-bdd, IBM (2005)
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. (2006) 1-12
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)
14. Abd-El-Razik, M.: Business Process Normalization using Model Transformation. Master thesis, The American University in Cairo, in collaboration with IBM (2006) In preparation.
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)
16. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation. Final Adopted Specification. OMG document ad/2005-11-01. (2005)
17. Ghezzi, C., Jazayeri, M., Mandrioli, D.: Fundamentals of Software Engineering. Prentice-Hall (1991)
18. Heckel, R., Lohmann, M.: Towards Model-Driven Testing. ENTCS 82 (2003)
19. Binder, R.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison Wesley (1999)
20. Küster, J.M.: Definition and validation of model transformations. Software and Systems Modeling Volume 5, Number 3, (2006) 233-259
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, Volume 1: Foundations. World Scientific (1997) 163-245