Formal specification and testing of model transformations

Authors:
Antonio Vallecillo;Martin Gogolla;Loli Burgueño;Manuel Wimmer;Lars Hamann
Affiliations:
GISUM/Atenea Research Group, Universidad de Málaga, Spain;Database Systems Group, University of Bremen, Germany;GISUM/Atenea Research Group, Universidad de Málaga, Spain;GISUM/Atenea Research Group, Universidad de Málaga, Spain;Database Systems Group, University of Bremen, Germany
Venue:
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Year:
2012

Citing 33
Cited 2

Applying "Design by Contract"

Computer
Model comparison: a foundation for model composition and model transformation testing

Proceedings of the 2006 international workshop on Global integrated model management
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
Towards Verifying Model Transformations

Electronic Notes in Theoretical Computer Science (ENTCS)
ATL: A model transformation tool

Science of Computer Programming
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Unit Testing Model Management Operations

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Model transformation testing: oracle issue

ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
A Landscape of Bidirectional Model Transformations

Generative and Transformational Techniques in Software Engineering II
Challenges in Model-Driven Software Engineering

Models in Software Engineering
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
Test-Driven Development of Model Transformations

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Barriers to systematic model transformation testing

Communications of the ACM
Verification of model transformations: a case study with BPEL

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Proving and visualizing OCL invariant independence by automatically generated test cases

TAP'10 Proceedings of the 4th international conference on Tests and proofs
JTL: a bidirectional and change propagating transformation language

SLE'10 Proceedings of the Third international conference on Software language engineering
Workflow-driven tool integration using model transformations

Graph transformations and model-driven engineering
Tractable model transformation testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
CDDiff: semantic differencing for class diagrams

Proceedings of the 25th European conference on Object-oriented programming
EUnit: a unit testing framework for model management tasks

Proceedings of the 14th international conference on Model driven engineering languages and systems
Reusable MDA components: a testing-for-trust approach

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Termination criteria for model transformation

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Termination analysis of model transformations by petri nets

ICGT'06 Proceedings of the Third international conference on Graph Transformations
RubyTL: a practical, extensible transformation language

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A Tridimensional Approach for Studying the Formal Verification of Model Transformations

ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
MDE basics with a DSL focus

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Object constraint language (OCL): a definitive guide

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Matching model-snippets

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Automated verification of model transformations based on visual contracts

Automated Software Engineering

Model transformations

SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Towards tracking "guilty" transformation rules: a requirements perspective

Proceedings of the First Workshop on the Analysis of Model Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present some of the key issues involved in model transformation specification and testing, discuss and classify some of the existing approaches, and introduce the concept of Tract, a generalization of model transformation contracts. We show how Tracts can be used for model transformation specification and black-box testing, and the kinds of analyses they allow. Some representative examples are used to illustrate this approach.