Typing model transformations using tracts

Authors:
Antonio Vallecillo;Martin Gogolla
Affiliations:
GISUM/Atenea Research Group, Universidad de Málaga, Spain;Database Systems Group, University of Bremen, Germany
Venue:
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Year:
2012

Citing 14
Cited 0

A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects

Object-oriented software composition
Applying "Design by Contract"

Computer
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
ATL: A model transformation tool

Science of Computer Programming
Proofs-as-Model-Transformations

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Type-based specialization of xml transformations

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Typing in Model Management

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants

Journal of Systems and Software
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
Tractable model transformation testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
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
Model typing for improving reuse in model-driven engineering

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

As the complexity of MDE artefacts grows, there is an increasing need to rely on precise and abstract mechanisms that allow system architects to reason about the systems they design, and to test their individual components. In particular, assigning types to models and model transformations is needed for realizing many key MDE activities. This paper presents a light-weight approach to type model transformations using tracts. Advantages and limitations of the proposal are discussed, as well as the applicability of the proposal in several settings.