Model transformations in Converge.

Tratt, L. and Clark, T., 2003. Model transformations in Converge. In: Workshop in Software Model Engineering, 21 October 2003, San Francisco, USA. (Unpublished)

Full text available as:

[img]
Preview
PDF
96kB

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)
Subjects:Generalities > Computer Science and Informatics
Technology > Manufacturing and Design > Design
Group:School of Design, Engineering & Computing > Software Systems Research Centre
ID Code:5973
Deposited By:INVALID USER
Deposited On:17 Oct 2008 18:40
Last Modified:07 Mar 2013 14:50

Document Downloads

More statistics for this item...
Repository Staff Only -
BU Staff Only -
Help Guide - Editing Your Items in BURO