Maintaining Invariant Traceability through Bidirectional Transformations.
Saved in:
| Title: | Maintaining Invariant Traceability through Bidirectional Transformations. |
|---|---|
| Authors: | Yijun Yu1, Yu Lin2, Zhenjiang Hu3, Hidaka, Soichiro3, Kato, Hiroyuki3, Montrieux, Lionel1 |
| Source: | ICSE: International Conference on Software Engineering. Feb2012, p540-550. 11p. |
| Subjects: | Execution traces (Computer program testing), Computer software testing, Software configuration management, Computer software developers, Computer engineering |
| 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. [ABSTRACT FROM AUTHOR] |
| Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 78198117 AccessLevel: 6 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Maintaining Invariant Traceability through Bidirectional Transformations. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Yijun+Yu%22">Yijun Yu</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Yu+Lin%22">Yu Lin</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AR" term="%22Zhenjiang+Hu%22">Zhenjiang Hu</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Hidaka%2C+Soichiro%22">Hidaka, Soichiro</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Kato%2C+Hiroyuki%22">Kato, Hiroyuki</searchLink><relatesTo>3</relatesTo><br /><searchLink fieldCode="AR" term="%22Montrieux%2C+Lionel%22">Montrieux, Lionel</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. Feb2012, p540-550. 11p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Execution+traces+%28Computer+program+testing%29%22">Execution traces (Computer program testing)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+testing%22">Computer software testing</searchLink><br /><searchLink fieldCode="DE" term="%22Software+configuration+management%22">Software configuration management</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+developers%22">Computer software developers</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+engineering%22">Computer engineering</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=78198117 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 11 StartPage: 540 Subjects: – SubjectFull: Execution traces (Computer program testing) Type: general – SubjectFull: Computer software testing Type: general – SubjectFull: Software configuration management Type: general – SubjectFull: Computer software developers Type: general – SubjectFull: Computer engineering Type: general Titles: – TitleFull: Maintaining Invariant Traceability through Bidirectional Transformations. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Yijun Yu – PersonEntity: Name: NameFull: Yu Lin – PersonEntity: Name: NameFull: Zhenjiang Hu – PersonEntity: Name: NameFull: Hidaka, Soichiro – PersonEntity: Name: NameFull: Kato, Hiroyuki – PersonEntity: Name: NameFull: Montrieux, Lionel IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 02 Text: Feb2012 Type: published Y: 2012 Titles: – TitleFull: ICSE: International Conference on Software Engineering Type: main |
| ResultId | 1 |
