The Open UniversitySkip to content
 

Maintaining invariant traceability through bidirectional transformations

Yu, Yijun; Lin, Yu; Hu, Zhenjiang; Hidaka, Soichiro; Hiroyuki, Kato and Montrieux, Lionel (2012). Maintaining invariant traceability through bidirectional transformations. In: 34th International Conference on Software Engineering, 2-9 June 2012, Zurich, Switzerland, pp. 540–550.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
URL: https://files.ifi.uzh.ch/icseweb/
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1109/ICSE.2012.6227162
Google Scholar: Look up in Google Scholar

Abstract

Following the "convention over configuration" paradigm, model-driven development (MDD) generates code to implement the "default" behaviour that has been specified by a template separate from the input model, reducing the decision effort of developers. For flexibility, users of MDD are allowed to customise the model and the generated code in parallel. A synchronisation of changed model or code is maintained by reflecting them on the other end of the code generation, as long as the traceability is unchanged. However, such invariant traceability between corresponding model and code elements can be violated either when (a) users of MDD protect custom changes from the generated code, or when (b) developers of MDD change the template for generating the default behaviour. A mismatch between user and template code is inevitable as they evolve for their own purposes. In this paper, we propose a two-layered invariant traceability framework that reduces the number of mismatches through bidirectional transformations. On top of existing vertical (model↔code) synchronisations between a model and the template code, a horizontal (code↔code) synchronisation between user and template code is supported, aligning the changes in both directions. Our blinkit tool is evaluated using the data set available from the CVS repositories of a MDD project: Eclipse MDT/GMF.

Item Type: Conference Item
Copyright Holders: 2012 IEEE
ISSN: 0270-5257
Project Funding Details:
Funded Project NameProject IDFunding Body
Not SetNot SetEU SecureChange Project
Not SetNot SetMicrosoft SEIF Project
Not SetNot SetNII BiG Project
Extra Information: Published in Proceedings 34th International Conference on Software Engineering (ICSE 2012), Glinz, M., Murphy, G. and Pezze (eds), IEEE, 978-1-4673-1067-3, pp. 540-550
Keywords: software engineering; traceability; model-driven development; bidirectional transformations
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 32501
Depositing User: Yijun Yu
Date Deposited: 15 Mar 2012 09:12
Last Modified: 15 May 2014 15:12
URI: http://oro.open.ac.uk/id/eprint/32501
Share this page:

Altmetrics

Scopus Citations

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk