Loli Burgueño
Antonio Vallecillo
ABSTRACT
Several approaches for specifying the requirements for model transformations have been proposed. Most of them define constraints on source and target models as well as on the relationships between them. A major advantage of these approaches is their independence from transformation implementation languages and transformation implementations. However, when these constraints are used for testing, identifying the model transformation rules that violate the constraints is not possible. In this paper we present an approach for automatically aligning specifications of model transformations and their implementations. Matching functions establish these alignments based on the used metamodel elements in the constraints and rules. We present our first results and outline further use cases where an alignment between constraints and rules is beneficial.
- V. Aranega, J.-M. Mottu, A. Etien, and J.-L. Dekeyser. Traceability mechanism for error localization in model transformation. In ICSOFT, 2009.Google Scholar
- I. Galvãao and A. Goknil. Survey of traceability approaches in model-driven engineering. In EDOC, 2007.Google ScholarCross Ref
- M. Gogolla and A. Vallecillo. Tractable model transformation testing. In ECMFA, 2011. Google ScholarDigital Library
- IEEE. Standard Glossary of Software Engineering Terminology. Technical report, IEEE, 1990.Google Scholar
- C. Jeanneret, M. Glinz, and B. Baudry. Estimating footprints of model operations. In ICSE, 2011. Google ScholarDigital Library
- F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: A model transformation tool. SCP, 72(1--2): 31--39, 2008. Google ScholarDigital Library
- B. Meyer. Applying design by contract. IEEE Computer, 25(10): 40--51, 1992. Google ScholarDigital Library
- F. A. C. Pinheiro and J. A. Goguen. An object-oriented tool for tracing requirements. IEEE Software, 13(2): 52--64, 1996. Google ScholarDigital Library
- B. Ramesh and V. Dhar. Supporting systems development by capturing deliberations during requirements engineering. TSE, 18(6): 498--510, 1992. Google ScholarDigital Library
- M. Richters and M. Gogolla. OCL: Syntax, semantics, and tools. In Object Modeling with the OCL, 2002. Google ScholarDigital Library
- Z. Ujhelyi, Á. Horváth, and D. Varró. Dynamic backward slicing of model transformations. In ICST, 2012. Google ScholarDigital Library
- A. Vallecillo, M. Gogolla, L. Burguenño, M. Wimmer, and L. Hamann. Formal Specification and Testing of Model Transformations. In SFM, 2012. Google ScholarDigital Library
- K. van den Berg, J. M. Conejero, and J. Hernández. Analysis of crosscutting in early software development phases based on traceability. TAOSD, 3: 73--104, 2007. Google ScholarDigital Library
- M. Wimmer, G. Kappel, J. Schönböck, A. Kusel, W. Retschitzegger, and W. Schwinger. A Petri Net Based Debugging Environment for QVT Relations. In ASE, 2009. Google ScholarDigital Library
- W. E. Wong, S. S. Gokhale, and J. R. Horgan. Quantifying the closeness between program components and features. JSS, 54(2): 87--98, 2000. Google ScholarDigital Library
Index Terms
- Towards tracking "guilty" transformation rules: a requirements perspective
Recommendations
On validation of ATL transformation rules by transformation models
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and ValidationModel-to-model transformations constitute an important ingredient in model-driven engineering. As real world transformations are complex, systematic approaches are required to ensure their correctness. The ATLAS Transformation Language (ATL) is a mature ...
Generation of operational transformation rules from examples of model transformations
MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and SystemsModel transformation by example (MTBE) aims at defining a model transformation according to a set of examples of this transformation. Examples are given in the form of pairs, each having an input model and its corresponding output transformed model, ...
Transformation rules for translating business rules to OCL constraints
ECMFA'11: Proceedings of the 7th European conference on Modelling foundations and applicationsIn design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of ...
Comments