Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Evaluation of transformations with OCL
Evaluation of transformations with OCL [message #33638] Fri, 20 July 2007 17:02 Go to next message
Andrew Carton is currently offline Andrew CartonFriend
Messages: 104
Registered: July 2009
Senior Member
Hi,

I was wondering if anyone has experience with evaluating transformations
with OCL. From my limited knowledge on the subject, I believe constraint
based checking can be used to verify that a transformation is correct.
By providing a redundant specification in OCL of the result of the
transformation can a transformation be evaluated? If anyone have any
tips, tools, papers or links that may be of interest I would appreciate it.

Thanks,
Andrew.
Re: Evaluation of transformations with OCL [message #33671 is a reply to message #33638] Fri, 20 July 2007 20:06 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: cdamus.ca.ibm.com

Hi, Andrew,

Are you dealing with metamodel-to-metamodel transformations, or with
model-to-model transformations in the same metamodel? Note that OCL (as
implemented in MDT) supports only the Ecore and UML metamodels, to date.

You may want to ask about this on the GMT and/or M2M newsgroups. There QVT
implementations in the works in these projects, and their communities have
some valuable insight.

Cheers,

Christian

Andrew Carton wrote:

> Hi,
>
> I was wondering if anyone has experience with evaluating transformations
> with OCL. From my limited knowledge on the subject, I believe constraint
> based checking can be used to verify that a transformation is correct.
> By providing a redundant specification in OCL of the result of the
> transformation can a transformation be evaluated? If anyone have any
> tips, tools, papers or links that may be of interest I would appreciate
> it.
>
> Thanks,
> Andrew.
Re: Evaluation of transformations with OCL [message #33805 is a reply to message #33638] Tue, 24 July 2007 08:45 Go to previous messageGo to next message
Eclipse UserFriend
Originally posted by: wah.zurich.ibm.com

Andrew,

we have written a paper a while ago in which we use OCL to specify the
preconditions and postconditions of transformations. It may contain some
useful information for you.

You can find a PDF version of the paper here:
http://www.research.ibm.com/journal/sj/441/koehler.pdf

Regards,

Michael

Andrew Carton wrote:
> Hi,
>
> I was wondering if anyone has experience with evaluating transformations
> with OCL. From my limited knowledge on the subject, I believe constraint
> based checking can be used to verify that a transformation is correct.
> By providing a redundant specification in OCL of the result of the
> transformation can a transformation be evaluated? If anyone have any
> tips, tools, papers or links that may be of interest I would appreciate it.
>
> Thanks,
> Andrew.
1'" [message #1761854] Thu, 11 May 2017 15:37 Go to previous messageGo to next message
Eclipse UserFriend
1
@@5rGry [message #1761856] Thu, 11 May 2017 15:38 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761857] Thu, 11 May 2017 15:38 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761858] Thu, 11 May 2017 15:38 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761859] Thu, 11 May 2017 15:39 Go to previous messageGo to next message
Eclipse UserFriend
1
@@duhu1 [message #1761860] Thu, 11 May 2017 15:39 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761861] Thu, 11 May 2017 15:40 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761862] Thu, 11 May 2017 15:40 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761863] Thu, 11 May 2017 15:41 Go to previous messageGo to next message
Eclipse UserFriend
1
@@y3OhE [message #1761864] Thu, 11 May 2017 15:41 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761865] Thu, 11 May 2017 15:42 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761866] Thu, 11 May 2017 15:42 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761867] Thu, 11 May 2017 15:43 Go to previous messageGo to next message
Eclipse UserFriend
1
@@9ny2d [message #1761868] Thu, 11 May 2017 15:43 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761869] Thu, 11 May 2017 15:44 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761870] Thu, 11 May 2017 15:44 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761871] Thu, 11 May 2017 15:45 Go to previous messageGo to next message
Eclipse UserFriend
1
@@yQuCy [message #1761872] Thu, 11 May 2017 15:45 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761873] Thu, 11 May 2017 15:45 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761874] Thu, 11 May 2017 15:46 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761875] Thu, 11 May 2017 15:46 Go to previous messageGo to next message
Eclipse UserFriend
1
@@oD1pA [message #1761876] Thu, 11 May 2017 15:47 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761877] Thu, 11 May 2017 15:47 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761878] Thu, 11 May 2017 15:48 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761879] Thu, 11 May 2017 15:48 Go to previous messageGo to next message
Eclipse UserFriend
1
@@1YEKt [message #1761880] Thu, 11 May 2017 15:49 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761881] Thu, 11 May 2017 15:49 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761882] Thu, 11 May 2017 15:50 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761883] Thu, 11 May 2017 15:50 Go to previous messageGo to next message
Eclipse UserFriend
1
@@r9Uyy [message #1761884] Thu, 11 May 2017 15:51 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761885] Thu, 11 May 2017 15:51 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761886] Thu, 11 May 2017 15:52 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761887] Thu, 11 May 2017 15:52 Go to previous messageGo to next message
Eclipse UserFriend
1
@@gArg2 [message #1761888] Thu, 11 May 2017 15:53 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761890] Thu, 11 May 2017 15:53 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761891] Thu, 11 May 2017 15:54 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761892] Thu, 11 May 2017 15:54 Go to previous messageGo to next message
Eclipse UserFriend
1
@@aeaBO [message #1761893] Thu, 11 May 2017 15:55 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761894] Thu, 11 May 2017 15:55 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761895] Thu, 11 May 2017 15:56 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761896] Thu, 11 May 2017 15:56 Go to previous messageGo to next message
Eclipse UserFriend
1
@@elmQg [message #1761897] Thu, 11 May 2017 15:57 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761899] Thu, 11 May 2017 15:57 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761900] Thu, 11 May 2017 15:57 Go to previous messageGo to next message
Eclipse UserFriend
1
1'" [message #1761902] Thu, 11 May 2017 15:58 Go to previous messageGo to next message
Eclipse UserFriend
1
@@PeUnK [message #1761903] Thu, 11 May 2017 15:58 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761904] Thu, 11 May 2017 15:59 Go to previous messageGo to next message
Eclipse UserFriend
1
[message #1761906] Thu, 11 May 2017 15:59 Go to previous messageGo to next message
Eclipse UserFriend
1
Re: help on SaveAs [message #1763333] Fri, 12 May 2017 17:24 Go to previous message
Eclipse UserFriend
1
Previous Topic:Setting non-blank root/package URIs in Papyrus
Next Topic:UML constraints context
Goto Forum:
  


Current Time: Thu Mar 28 12:02:01 GMT 2024

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

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

Back to the top