Model transformations in converge.

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.

All rights reserved.

Download (98kB) | Preview
Related URLs:


    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

    Actions (login required)

    View Item View Item


    Downloads per month over past year

    View more statistics