Using icon-derived technologies to drive model transformations.

Model transformations are currently the object of much interest and research. 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. The Icon programming language is a SNOBOL derivative which contains several unique constructs which make it particularly well suited to the job of analyzing and transforming strings. In this paper we discuss model transformations, analyze the relevant parts of Icon that lend themselves to transforming strings, and then propose how some of Icon’s unique features could be incorporated into a model transformation approach that partially blurs the distinction between ‘declarative’ and ‘imperative’ approaches.

[1]  David A. Gudeman,et al.  Denotational semantics of a goal-directed language , 1992, TOPL.

[2]  Gabor Karsai,et al.  Model Reuse with Metamodel-Based Transformations , 2002, ICSR.

[3]  Kevin Lano,et al.  UML refinement and abstraction transformations , 1998 .

[4]  Jean Bézivin,et al.  From Object Composition to Model Transformation with the MDA , 2001, TOOLS.

[5]  Jean Bézivin.  A Preliminary Identification of MDA Components , 2002 .

[6]  Ralph E. Griswold,et al.  The implementation of the Icon programming language , 1986 .

[7]  Ralph E. Griswold,et al.  The Icon programming language , 1983 .

[8]  Martin Gogolla.  Graph Transformations on the UML Metamodel , 2000, ICALP Satellite Workshops.

[9]  David Thomas,et al.  The Art in Computer Programming , 2001 .

[10]  Kevin Lano,et al.  Semantics and Transformations for UML Models , 1998, UML.

[11]  Chris D. Marlin.  Coroutines: A Programming Methodology, a Language Design and an Implementation , 1980, Lecture Notes in Computer Science.

[12]  Robin Milner,et al.  Definition of standard ML , 1990 .

[13]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[14]  Frank Neven,et al.  A formal model for an expressive fragment of XSLT , 2002, Inf. Syst..

[15]  Ralph E. Griswold,et al.  History of the Icon programming language , 1993, HOPL-II.

[16]  Laurence Tratt,et al.  A model driven approach to model transformations. , 2003 .

[17]  Miguel A. de Miguel,et al.  Specification of Model Transformations Based on Meta Templates , 2002 .

[18]  Jean-Marc Jézéquel,et al.  UMLAUT: an extendible UML transformation framework , 1999, 14th IEEE International Conference on Automated Software Engineering.