Engineering bidirectional transformations

Richard F. Paige

doi:10.1007/978-3-319-79108-1_5

Engineering bidirectional transformations

Richard F. Paige^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations.

Original language	English
Title of host publication	Bidirectional Transformations
Subtitle of host publication	International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Editors	Jeremy Gibbons, Perdita Stevens
Publisher	Springer
Pages	151-187
Number of pages	37
Volume	9715 LNCS
ISBN (Electronic)	9783319791081
ISBN (Print)	9783319791074
DOIs	https://doi.org/10.1007/978-3-319-79108-1_5
Publication status	E-pub ahead of print - 28 Mar 2018
Event	International Summer School on Bidirectional Transformations, 2016 - Oxford, United Kingdom Duration: 25 Jul 2016 → 29 Jul 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9715 LNCS
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	International Summer School on Bidirectional Transformations, 2016
Country/Territory	United Kingdom
City	Oxford
Period	25/07/16 → 29/07/16

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Access to Document

10.1007/978-3-319-79108-1_5

bx-paper
This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Accepted author manuscript, 4.03 MB

Cite this

Paige, R. F. (2018). Engineering bidirectional transformations. In J. Gibbons, & P. Stevens (Eds.), Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures (Vol. 9715 LNCS, pp. 151-187). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9715 LNCS). Springer. Advance online publication. https://doi.org/10.1007/978-3-319-79108-1_5

Paige, Richard F. / Engineering bidirectional transformations. Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. editor / Jeremy Gibbons ; Perdita Stevens. Vol. 9715 LNCS Springer, 2018. pp. 151-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cc7aad002f6840358a9010442f2a4f21,

title = "Engineering bidirectional transformations",

abstract = "Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations.",

author = "Paige, {Richard F.}",

note = "This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details; International Summer School on Bidirectional Transformations, 2016 ; Conference date: 25-07-2016 Through 29-07-2016",

year = "2018",

month = mar,

day = "28",

doi = "10.1007/978-3-319-79108-1_5",

language = "English",

isbn = "9783319791074",

volume = "9715 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "151--187",

editor = "Jeremy Gibbons and Perdita Stevens",

booktitle = "Bidirectional Transformations",

address = "Germany",

}

Paige, RF 2018, Engineering bidirectional transformations. in J Gibbons & P Stevens (eds), Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. vol. 9715 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9715 LNCS, Springer, pp. 151-187, International Summer School on Bidirectional Transformations, 2016, Oxford, United Kingdom, 25/07/16. https://doi.org/10.1007/978-3-319-79108-1_5

Engineering bidirectional transformations. / Paige, Richard F.
Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. ed. / Jeremy Gibbons; Perdita Stevens. Vol. 9715 LNCS Springer, 2018. p. 151-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9715 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Engineering bidirectional transformations

AU - Paige, Richard F.

N1 - This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

PY - 2018/3/28

Y1 - 2018/3/28

N2 - Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations.

AB - Bidirectional transformations, like software, need to be carefully engineered in order to provide guarantees about their correctness, completeness, acceptability and usability. This paper summarises a collection of lectures pertaining to engineering bidirectional transformations using Model-Driven Engineering techniques and technologies. It focuses on stages of a typical engineering lifecycle, starting with requirements and progressing to implementation and verification. It summarises Model-Driven Engineering approaches to capturing requirements, architectures and designs for bidirectional transformations, and suggests an approach for verification as well. It concludes by describing some challenges for future research into engineering bidirectional transformations.

UR - http://www.scopus.com/inward/record.url?scp=85045192384&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-79108-1_5

DO - 10.1007/978-3-319-79108-1_5

M3 - Conference contribution

AN - SCOPUS:85045192384

SN - 9783319791074

VL - 9715 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 151

EP - 187

BT - Bidirectional Transformations

A2 - Gibbons, Jeremy

A2 - Stevens, Perdita

PB - Springer

T2 - International Summer School on Bidirectional Transformations, 2016

Y2 - 25 July 2016 through 29 July 2016

ER -

Paige RF. Engineering bidirectional transformations. In Gibbons J, Stevens P, editors, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Vol. 9715 LNCS. Springer. 2018. p. 151-187. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2018 Mar 28. doi: 10.1007/978-3-319-79108-1_5

Engineering bidirectional transformations

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Cite this