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:



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:Faculty of Science and Technology
ID Code:5973
Deposited On:17 Oct 2008 18:40
Last Modified:10 Sep 2014 15:39


Downloads per month over past year

More statistics for this item...
Repository Staff Only -