research-article

Towards tracking "guilty" transformation rules: a requirements perspective

Authors:

Loli Burgueño,

Antonio VallecilloAuthors Info & Claims

AMT '12: Proceedings of the First Workshop on the Analysis of Model Transformations

Pages 27 - 32

https://doi.org/10.1145/2432497.2432503

Published: 02 October 2012 Publication History

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.

References

[1]

V. Aranega, J.-M. Mottu, A. Etien, and J.-L. Dekeyser. Traceability mechanism for error localization in model transformation. In ICSOFT, 2009.

[2]

I. Galvãao and A. Goknil. Survey of traceability approaches in model-driven engineering. In EDOC, 2007.

[3]

M. Gogolla and A. Vallecillo. Tractable model transformation testing. In ECMFA, 2011.

Digital Library

[4]

IEEE. Standard Glossary of Software Engineering Terminology. Technical report, IEEE, 1990.

[5]

C. Jeanneret, M. Glinz, and B. Baudry. Estimating footprints of model operations. In ICSE, 2011.

Digital Library

[6]

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev. ATL: A model transformation tool. SCP, 72(1--2): 31--39, 2008.

Digital Library

[7]

B. Meyer. Applying design by contract. IEEE Computer, 25(10): 40--51, 1992.

Digital Library

[8]

F. A. C. Pinheiro and J. A. Goguen. An object-oriented tool for tracing requirements. IEEE Software, 13(2): 52--64, 1996.

Digital Library

[9]

B. Ramesh and V. Dhar. Supporting systems development by capturing deliberations during requirements engineering. TSE, 18(6): 498--510, 1992.

Digital Library

[10]

M. Richters and M. Gogolla. OCL: Syntax, semantics, and tools. In Object Modeling with the OCL, 2002.

Digital Library

[11]

Z. Ujhelyi, Á. Horváth, and D. Varró. Dynamic backward slicing of model transformations. In ICST, 2012.

Digital Library

[12]

A. Vallecillo, M. Gogolla, L. Burguenño, M. Wimmer, and L. Hamann. Formal Specification and Testing of Model Transformations. In SFM, 2012.

Digital Library

[13]

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.

Digital Library

[14]

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.

Digital Library

[15]

W. E. Wong, S. S. Gokhale, and J. R. Horgan. Quantifying the closeness between program components and features. JSS, 54(2): 87--98, 2000.

Digital Library

Cited By

Troya JSegura SBurgueño LWimmer M(2022)Model Transformation Testing and Debugging: A SurveyACM Computing Surveys10.1145/352305655:4(1-39)Online publication date: 21-Nov-2022
https://dl.acm.org/doi/10.1145/3523056
Kusel ASchönböck JWimmer MKappel GRetschitzegger WSchwinger W(2015)Reuse in model-to-model transformation languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0343-714:2(537-572)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1007/s10270-013-0343-7

Index Terms

Towards tracking "guilty" transformation rules: a requirements perspective
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

On validation of ATL transformation rules by transformation models
MoDeVVa: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Model-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 Systems

Model 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 applications

In 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

Information & Contributors

Information

Published In

cover image ACM Conferences

AMT '12: Proceedings of the First Workshop on the Analysis of Model Transformations

October 2012

48 pages

ISBN:9781450318037

DOI:10.1145/2432497

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Austrian Science Fund

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

October 2, 2012

Innsbruck, Austria

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
64
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Troya JSegura SBurgueño LWimmer M(2022)Model Transformation Testing and Debugging: A SurveyACM Computing Surveys10.1145/352305655:4(1-39)Online publication date: 21-Nov-2022
https://dl.acm.org/doi/10.1145/3523056
Kusel ASchönböck JWimmer MKappel GRetschitzegger WSchwinger W(2015)Reuse in model-to-model transformation languagesSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0343-714:2(537-572)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1007/s10270-013-0343-7

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents