Model Transformation Specification and Verification

Lano, Kevin

doi:10.1002/9780470522622.ch14

Cited by 5 publications

(6 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using ECL will allow the constraints specification across two different metamodel. Cariou et al (2004) supports this work and a similar approach is taken by (Lano, 2009), where a set of constraints was proposed to verify model transformations syntactic and semantic correctness.…”

Section: Verification Approachesmentioning

confidence: 82%

Evaluating the Usability of Model Transformations Testing Approach (MTTA)

Rahim¹,

Aliyu²,

Mustapha³

2017

Journal of Computer Science

View full text Add to dashboard Cite

Model Transformation (MT) is a key component in Model Driven Development (MDD). Model transformation is used to transform source model into a target model, improve the model quality and also introduce the design pattern and refactoring. Model transformation are not free from bugs similar to other software development artifacts and it needs to be verified. Code Generators (CG) are a type of model transformation that automatically generate code from software models. To verify a CG using Model Transformation Testing Approach (MTTA) effectively, MTTA requires the users to manually generate test model and develop assertions. Since both tasks are performed manually, a usability study is conducted to gauge the effects of the manual tasks towards the usability of MTTA from three perspective: Learnability, effectiveness and efficiency. The aim of this paper is to identify the usability problems of MTTA related to its learnability, efficiency and effectiveness. Usability test technique is used in this study and questionnaire was used to collect a quantitative data from the participants. A pilot test was conducted with two participants and later eight participants were recruited for the real test. The result shows that MTTA is learnable and effective but inefficient. We conclude with a discussion on the reason why MTTA is inefficient.

show abstract

Section: Verification Approachesmentioning

confidence: 82%

Evaluating the Usability of Model Transformations Testing Approach (MTTA)

Rahim¹,

Aliyu²,

Mustapha³

2017

Journal of Computer Science

View full text Add to dashboard Cite

show abstract

“…It is no need to manually define a whole expected target model within the approach. The works in [8,28,7] employ OCL contracts or OCL assertions as partial test oracles to express the expected properties of generated models and to automatically verify them. Contracts and assertions can be represented in the form of visual graph patterns as explained in [7,31].…”

Section: Related Workmentioning

confidence: 99%

On integrating multiple restriction domains to automatically generate test cases of model transformations

Nguyen

Dang

2023

IJCAI

View full text Add to dashboard Cite

Testing model transformations poses several challenges, one of which is how to automatically generate effective test suites. A promising approach for this is to employ equivalence partitioning, a well-known technique for software testing. Specifically, in order to generate effective test suites, current works in literature often focus on exploiting either the structural aspects of models or transformation contracts for partition analysis. However, for the aim, they focus on only a single restriction source such as metamodels, contracts of the transformation, and domain-expert knowledge. To increase the effectiveness of generated test suites, partitioning techniques should be performed on a combination of various restriction sources. This paper introduces a method to generate test models on such a multi-domain of restrictions. The method also allows the tester to flexibly select and combine constraints to create a unified restriction for different strategies and objectives in model transformation testing. We developed a support tool based on the UMLbased Specification Environment (USE) and performed experiments on several transformations to point out the effectiveness of our method.Povzetek: Opisana je metoda preverjanja programske kode na osnovi multi-modalnih omejitev posameznih delov.

show abstract

“…In other situation, models in one language are transformed to models in another language that provides a semantically-similar but different representation, or adds auxiliary details that enable modelling and analysis facilities. Thus, performing transformation can be classified in several categories; refinement, quality improvement, elaboration, re-expression, abstraction and design patterns [17]. Each of these categories presents different characteristics in terms of their scope domain and abstraction levels.…”

Section: Transformation and Mde Fundamentalsmentioning

confidence: 99%

Model transformation specification for automated formal verification

Sani

Polack

Paige

2011

2011 Malaysian Conference in Software Engineering

View full text Add to dashboard Cite

Abstract-The development of model transformations is commonly an ad-hoc activity in MDE. Transformations are engineering artefacts, and can be developed in a disciplined way, like other software artefacts. A model transformation development process can produce transformations expressed in many different styles; transformation patterns can be used to underpin such different properties to be constructed. This paper introduces a systematic approach to development of model transformation specifications that are amenable to automated formal verification of its properties. The paper introduces a process for planning transformation and a language for capturing structural and behavioural characteristics of a model transformation, that supports templates which, when instantiated, automatically produce equivalent formal specification with analysis capabilities. The approach is illustrated with a small example, UML Class to Relational Database transformation, and verification using Alloy.

show abstract

Model Transformation Specification and Verification

Cited by 5 publications

References 12 publications

Evaluating the Usability of Model Transformations Testing Approach (MTTA)

Evaluating the Usability of Model Transformations Testing Approach (MTTA)

On integrating multiple restriction domains to automatically generate test cases of model transformations

Model transformation specification for automated formal verification

Contact Info

Product

Resources

About