A combine usability framework for IMCAT evaluation

Author

Aliyu, Ziyaulhaq ; Ab Rahim, Lukman ; Mustapha, Emy Elyanee

Author_Institution

Dept. of Comput. & Inf. Sci., Univ. Teknol. Petronas, Tronoh, Malaysia

fYear

2014

fDate

3-5 June 2014

Firstpage

1

Lastpage

5

Abstract

Model transformation (MT) is a key component of model driven software development. It is used to transform source model into a target model, to increase model quality and introduce design pattern and refactoring. As with other software development artifacts, MTs are not free from bugs and thus they must be verified. Various researches have been carried out on model transformation verification approaches, but no one has evaluated their usability. Indirect model checking approach for transformation (IMCAT) is an approach that can verify code generators by model checking the generated code. In this paper a combine usability model to evaluate IMCAT usability related to its learnability, efficiency and effectiveness will be presented.

Keywords

object-oriented programming; program compilers; program verification; software development management; software maintenance; software quality; IMCAT; code generator; design pattern; indirect model checking approach for transformation; learnability; model driven software development; model quality; model transformation verification approach; refactoring; transform source model; usability; Computational modeling; Generators; Model checking; Semantics; Unified modeling language; Usability; Model Transformation Verification; Model checking; Model-driven Engineering; Usability;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Sciences (ICCOINS), 2014 International Conference on

Conference_Location

Kuala Lumpur

Print_ISBN

978-1-4799-4391-3

Type

conf

DOI

10.1109/ICCOINS.2014.6868449

Filename

6868449