Talk:QVT

QVT

QVT is a well focused subject with good development potential. Method Engineering is a very broad subject with still loose and evolving boundaries. Let us not pollute this precise presentation with a merge in a loosely defined subject.

What is QVT Compliance?

I would not say that ATL, etc. is really compliant to QVT in any way. Actually, their strategy is to stay independent of QVT. And by the way, Borland has already a QVT implementation available (although it has not all of the features yet). - May 2006 -

Could the unsigned quotation above bring some proofs of their claims? Is there some papers describing the Borland implementation in detail? Is there some collection of transformations, written in the Borland QVT language? What is the level of compliance between 1 and 12 of the Borland implementation to the QVT standard? Youmee 22:17, 26 May 2006 (UTC)[reply]

Download a trial - try it yourself - and you will see! I wrote the above cause there are so many unproved statements about ATL in the article (that is actually on QVT!) - this should be fixed first. Borland is seriously heading towards QVT whereas ATL is currently still ahead but without aiming at QVT compatibility, so they are hard to compare. Anyway - learn OCL and you can handle them all. (the unregistered user)

Actually, as far as I understood, Borland yet implements QVT Operational (would have to take a look at the OMG recommendation to make more serious statements on the compliance level reached). (fbahr. July 03, 2006.)

It seems that, for the time being, ATL is the model transformation language that is the closest to the QVT recommendation. There is a paper by Jouault and Kurtev quoted in the QVT article that discusses these issues at length. You should read it because it is pretty clear. The problem of QVT compliance, with its 12 (twelve) levels of compliance defined by OMG is a very complex one. For the time being, Borland has not proved to be more QVT-compliant than ATL. I doubt anyway that QVT-compliance is a real usability issue since probably the QVT recommendation will have to evolve in the coming years if the OMG wants this proposal to have some practical industial impact. QVT 20:16, 25 May 2006 (UTC)[reply]

To avoid any subjective discussions, a definition of ATL scope may be found at: ATL official presentation. Youmee 20:26, 17 June 2006 (UTC)[reply]

I do not understand this discussion. Seems to me that the description found at the previous URL is quite clear. I reproduce it below:

The ATL discussion board concerns ATL, the Atlas Transformation Language, which is being developed at INRIA by the ATLAS group in Nantes and available as open source.

ATL is a hybrid language (a mix of declarative and imperative constructions) designed to express model transformations.

ATL is described by an abstract syntax (a MOF meta-model), and a textual concrete syntax. A transformation model in ATL is expressed as a set of transformation rules. The recommended style of programming is declarative.

OMG has issued a recommendation for model to model transformations. This may be found in the final MOF QVT adopted specification available from: http://www.omg.org/docs/ptc/05-11-01.pdf.

ATL is presently a QVT-like language. However it is not, in the present state, 100% compatible with the 12 levels of compliance stated in the previous OMG document.

In the future, the evolution of ATL will be more driven by practical usability than by strict QVT-compliance.

ATL is part of the general AMMA Platform for which the INRIA ATLAS group in Nantes is currently developing a set of research tools (Model Weaver, Megamodel Manager, etc.).

Most of these tools are available as open source in the Eclipse GMT project http://www.eclipse.org/gmt/. In addition to the ATL subproject, you may find there the AMW (Model Weaving) or the AM3 (General Megamodel Management) subprojects.

An initial library of ATL transformations may be found at: http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmt-home/subprojects/ATL/ATL_examples/index.html

Any user is welcome to contribute to this library as open source under the Eclipse Public Library License (EPL 1.0).

The documentation on ATL is available from: http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmt-home/subprojects/ATL/doc/index.html

Feel free to ask more about ATL and the model management tools developed in the mail forum.

I do not see any problem here.

This says it all: "In the future, the evolution of ATL will be more driven by practical usability than by strict QVT-compliance." doesn't it? They actually give a damn about QVT - fakes like "QVT-like" are just a delusion. A. Developer 193.22.205.227 12:34, 19 July 2006 (UTC)[reply]

You have to be aware of ATL's history to better understand its current state and its foreseen future: it evolved while the QVT proposal was in its earliest states of progress (cf. OpenQVT Consortium's TRL submission) ... so I'm sure, *some* compliance level will be formally defined (see QVT/ATL-alignment paper); although it (probably) won't be full complient. (fbahr. July 20, 2006.)

Is this QVT normative specification really important? More and more people are now realizing that there are plenty of ways to define a model transformation language. There was recently some work on Domain Specific Transformation Languages. Corresponding to different requirements, there are certainly different answers. Probably what we'll see in the coming months and years is a wide spectrum of transformation languages. QVT does not correspond to the exact needs of several communities. Probably QVT will be only one point in a very large solution space. So why bother about QVT? We should instead compare the essentiaal qualities of various transformation languages. To this end it would be nice to have a broad set of benchmark problems, not always the ones proposed in the QVT OMG recommendation that covers only a very small portion of the possibilities of a model transformation language. QVT was surely useful to draw attention to this area. Now the proposal in this state seems rather obsolete, because too restricted to only a particular view of the problem.

again QVT compliance

We need consensus here. How about:

QVT-like means that the model transformation language allows to write OCL-based programs that may read and write XMI-streams
QVT-compliant means that some of the compliance criteria apply
QVT-full-compliant means that all of the compliance criteria do apply

Is that ok to everybody? 12.192.193.2 00:37, 13 June 2006 (UTC)[reply]

Seems a reasonable classification Youmee

It's essential to differentiate between formal compliance levels as stated in the OMG recommendation and the more taxonomial notion of "compliance". (fbahr. July 03, 2007.)

What is the meaning of: "the more taxonomial notion of compliance" ?

Most likely "bad english" ... tried to point out that there are several "official" levels of compliance as well as some more "conceptual aspects" concerned with any notion of compliance (such as: OCL-based, .. etc.) (fbahr. July 20, 2007.)

What about real open-source implementations?

QVT is a well defined OMG specification, but users ave eagerly waiting for usable open source implementations.

Could someone point to existing and accessible mature open source implementations in
addition to Tefkat and ATL?

Does somedoby know about the open source status of the TaTa Institute implementation
or the Compuware implementation? Will these products come as stand-alone or, like the Borland one, be integrated in other CASE tool products? --12.192.193.2 20:40, 11 June 2006 (UTC)[reply]

12.192.193.2 20:36, 11 June 2006 (UTC)[reply]

You could check SmartQVT, which implements QVT-operationnal part of QVT. I also sorted a bit the 'Implementations' section of the QVT page, so that we could see quickly what exists out there. Spoivre

I'm a bit confused about the criticism section. Can we really say that QVT is XMI to XMI? Should it be MOF to MOF? Furthermore what about the fuzzy requirements - has this to do something with a model transformations language itself or with MDA? Can there be more requirements than those that you transform from PIM to PSM. Overall I feel that the criticism part should be overworked.

References

This article doesn't contain any properly-formatted references. I just cleared out a bunch of the pages from the "External links" section that didn't belong there, but they appear to be useful material for referencing if anybody wants to use them to improve this article. I've listed the pages below:

Object Management Group: MOF QVT Final Adopted Specification. Webpublished .pdf

Object Management Group: Model-Driven Architecture - Vision, Standards And Emerging Technologies. Webpublished .pdf

Object Management Group: MDA Guide Version 1.0.1. Webpublished .pdf

Brown, A: An Introduction to Model Driven Architecture. In: The Rational Edge, Feb. 2004 (IBM developerWorks eZine). Webpublished .html (first article in a series of three)

Bohlen, M: QVT and multi metamodel transformation in MDA. Webpublished .pdf (en), (ger)

Wagelaar, D: MDE Case Study: Using Model Transformations for UML and DSLs. Webpublished .pdf

Czarnecki, K, and Helsen, S : Classification of Model Transformation Approaches. In: Proceedings of the OOPSLA'03 Workshop on the Generative Techniques in the Context Of Model-Driven Architecture. Anaheim (CA, USA). Webpublished .pdf

Planet-MDE. MDA Tools. Website
ModelBaset.net. MDA Tools. Website
SoftwareMag.com. MDA Tools. Webpublished .html

Gronmo, R, and Oldevik, J : An Empirical Study of the UML Model Transformation Tool (UMT). In: INTEROP-ESA'05, Feb. 2005. Webpublished .pdf

Voelter, M: Model Driven Software Development. Webpublished .pdf

Portal site MDA and Model Transformation: site access

Them From Space 01:20, 17 April 2009 (UTC)[reply]

Restructuring

I'm in the process of drafting a major revision of this page because it seems to me to have got a bit confusing, with some not-very-relevant material (e.g. the definitions of endogenous and exogenous, when neither term is used later in the article) and some which is actually wrong (e.g. QVT-Op does not extend QVT-Rel). I'm trying to give it a structure more like what is used in other Wikipedia articles on languages. I'm also trying to answer the criticism that the article needs better references. Should be done in a day or two. Educres (talk) 14:23, 3 May 2011 (UTC)[reply]

External links modified

Hello fellow Wikipedians,

I have just modified 2 external links on QVT. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 10:25, 21 July 2016 (UTC)[reply]