Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [QVTO] Example of a where-clause for a mapping operation
[QVTO] Example of a where-clause for a mapping operation [message #643264] Mon, 06 December 2010 10:19
Tassilo Horn is currently offline Tassilo HornFriend
Messages: 93
Registered: July 2009
Member
Hi all,

I'm a bit curious about the application of where-clauses that can be
specified for mapping operations. Since the QVT-spec only defines them
by referencing the Relations language (i.e. the when and where clause to
a mapping correspond to a implicit relation with these clauses), I'm not
sure how they work.

The Relations example in the spec shows its usage as "to make this
relation hold, also the relation in the where has to hold", so it
provides a kind of explicit invocation of another relation. But with
mappings, I don't see how that concept matches...

Especially, since the where-clause is said to contain a postcondition,
what's the semantics of a mapping like

mapping Foo::bar() : Baz
where { false }
{ ... }

And since the QVTO implementation of the M2M project does not translate
to relations (I guess), is that feature supported at all?

If someone could provide an example for a where-clause (or a pointer to
an example), that would be great.

Bye,
Tassilo
--
Dipl.-Inform. Tassilo Horn | Room: B015
University of Koblenz-Landau, Campus Koblenz | Phone: +49 (261) 287-2745
Institute for Software Technology | Mail: horn@uni-koblenz.de
Universitätsstr. 1, 56070 Koblenz, Germany |
Previous Topic:[ATL] Problem: Create new UML Model and apply Stereotypes
Next Topic:[ATL] About internal traceability links in ATL
Goto Forum:
  


Current Time: Fri Nov 28 22:15:06 GMT 2014

Powered by FUDForum. Page generated in 0.01953 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software