- From: Hassan Aït-Kaci <hak@ilog.com>
- Date: Wed, 28 Feb 2007 07:42:05 -0800
- To: Sandro Hawke <sandro@w3.org>
- CC: Gerd Wagner <wagnerg@tu-cottbus.de>, "'Chris Welty'" <cawelty@gmail.com>, "'Public-Rif-Wg (E-mail)'" <public-rif-wg@w3.org>
Sandro Hawke wrote: >>Gerd Wagner wrote: >> >> >>>there is a well-established language called "KM3" >> >>http://www.sciences.univ-nantes.fr/lina/atl/www/papers/KM3-FMOODS06.pdf > > > When you say "well-established", Gerd, do you mean that it has good > theoretical foundations or that it has a thriving user base? (And if > the latter, can you point me to the user community?) > > -- Sandro KM3 (Kernel MetaMetaModel) is an abstract syntax representation language used by the ATL (ATLAS Transformation Language) [1][2]. It is formal, operational, and its notation is *isomorphic* (as far as I can tell) to what I have seen of ASN06. -hak [1] http://en.wikipedia.org/wiki/ATLAS_Transformation_Language [2] http://www.eclipse.org/m2m/atl/doc/ATLUseCase_Families2Persons.pdf -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com
Received on Wednesday, 28 February 2007 15:42:52 UTC