TRATT, Laurence and CLARK, Anthony (2003). Model transformations in converge. In: 2nd Workshop in Software Model Engineering (WiSME 2003), San Francisco, October 2003. N/A.
|
PDF
tratt-Model_transformations_in_Converge1%5D.pdf All rights reserved. Download (98kB) | Preview |
Abstract
Model transformations are currently the focus of much interest and research due to the OMG’s QVT initiative. Current proposals for model transformation languages can be divided into two main camps: those taking a ‘declarative’ approach, and those opting for an ‘imperative’ approach. In this paper we detail an imperative, meta-circular, object orientated, pattern matching programming language Converge which is enriched with features pioneered by the Icon programming language, amongst them: success/failure, generators and goal-directed evaluation. By presenting these features in a language suitable for representing models, we show that we are able to gain some of the advantages of declarative approaches in an imperative setting.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Research Institute, Centre or Group - Does NOT include content added after October 2018: | Cultural Communication and Computing Research Institute > Communication and Computing Research Centre |
Departments - Does NOT include content added after October 2018: | Faculty of Science, Technology and Arts > Department of Computing |
Depositing User: | Tony Clark |
Date Deposited: | 07 Apr 2016 10:34 |
Last Modified: | 18 Mar 2021 15:50 |
URI: | https://shura.shu.ac.uk/id/eprint/11907 |
Actions (login required)
View Item |
Downloads
Downloads per month over past year