dresden-ocl-discussion Mailing List for Dresden OCL

Dear Friends
I'm trying to run the interpreter view with the simple example.
When I select the model instance and the simple model
I have an error from the interpreter ' No constraint was selected for
interpretation'

I hope you can help me.
best regards
Christian

Dear Denis Nikiforov,

yes, the code generator is a bit outdated. You can have a look in the 
code of the existing metamodel adaptations for EMF ecore and UML to find 
further hints how to implement your adapter.

Kind regards,
Claas Wilke

Am 04.06.2015 um 10:26 schrieb Denis Nikiforov:
> Dear Class Wilke,
>
> thanks for answer! I'm trying to follow instructions listed in section 
> 10 of the manual. I added some annotations into my Ecore model. And 
> after that I tried to generate a Pivot Model adapter. The generated 
> code contains a lot of errors and empty methods (annotated with 
> TODOs). But I've got the idea! I'll try to fix the code manually...
>
> 2015-06-04 12:27 GMT+05:00 Claas Wilke <cla...@gm... 
> <mailto:cla...@gm...>>:
>
>     Dear Denis Nikiforov,
>
>     yes, defining OCL constraints with Dresden OCL on the M1 level is
>     possible. However, if you want to use models of a metamodel
>     different to UML, EMF Ecore, Java and XML Schema, you have to
>     define your own mapping for the metamodel to Dresden OCLs pivot model.
>
>     You can find details on Dresden OCL's pivot model within our
>     publications [1, 2] and especially within our manual
>     (http://141.76.65.213/dresdenocl_updatesite/manual.pdf). See
>     Chapters 1, 7 and 10).
>
>     Kind regards,
>     Claas Wilke
>
>     [1]/Birgit Demuth, Claas Wilke:/*
>     Model and Object Verification by Using Dresden OCL*
>     In: Proceedings of the Russian-German Workshop Innovation
>     Information Technologies: Theory and Practice, July 25-31, Ufa,
>     Russia, 2009, page 81. Ufa State Aviation Technical University,
>     Ufa, Bashkortostan, Russia.
>     PDF
>     <http://www.claaswilke.de/publications/workshops/demuth_ufa09.pdf>
>
>     [2]/Claas Wilke, Michael Thiele, Christian Wende:/*
>     Extending Variability for OCL Interpretation.*
>     In: Petriu, D. C., Rouquette, N. and Haugen, Ø. (Eds.): Extending
>     Variability for OCL Interpretation Model Driven Engineering
>     Languages and Systems, 13th International Conference, MODELS 2010,
>     Oslo, Norway, October 3-8, 2010, Proceedings, Part I. LNCS Series
>     (6394), Springer, Berlin Heidelberg, 2010, pages 361-375.
>     PDF <http://www.springerlink.com/content/d065u147nn870325/> |
>     Presentation Slides
>     <http://dresden-ocl.sourceforge.net/papers/wilkeEA_MODELS2010_slides.pdf>
>     | Conference Website <http://models2010.ifi.uio.no/>
>
>
>
>     Am 03.06.2015 um 10:44 schrieb Denis Nikiforov:
>>     Hi
>>
>>     We need to define OCL constraints for ISO 20022 model (
>>     http://www.iso20022.org/e_dictionary.page ). Is it possible?
>>
>>     It seems that I can define constraints only for ISO 20022
>>     metamodel (M2 level). And after that I can validate ISO 20022
>>     model (M1 level). But we need to define constraints on the M1
>>     level. Is it possible?
>>
>>
>>     ------------------------------------------------------------------------------
>>
>>
>>     _______________________________________________
>>     Dresden-ocl-discussion mailing list
>>     Dre...@li...  <mailto:Dre...@li...>
>>     https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion
>
>

Dear Class Wilke,

thanks for answer! I'm trying to follow instructions listed in section 10
of the manual. I added some annotations into my Ecore model. And after that
I tried to generate a Pivot Model adapter. The generated code contains a
lot of errors and empty methods (annotated with TODOs). But I've got the
idea! I'll try to fix the code manually...

2015-06-04 12:27 GMT+05:00 Claas Wilke <cla...@gm...>:

>  Dear Denis Nikiforov,
>
> yes, defining OCL constraints with Dresden OCL on the M1 level is
> possible. However, if you want to use models of a metamodel different to
> UML, EMF Ecore, Java and XML Schema, you have to define your own mapping
> for the metamodel to Dresden OCLs pivot model.
>
> You can find details on Dresden OCL's pivot model within our publications
> [1, 2] and especially within our manual (
> http://141.76.65.213/dresdenocl_updatesite/manual.pdf). See Chapters 1, 7
> and 10).
>
> Kind regards,
> Claas Wilke
>
> [1]* Birgit Demuth, Claas Wilke:*
> * Model and Object Verification by Using Dresden OCL*
> In: Proceedings of the Russian-German Workshop Innovation Information
> Technologies: Theory and Practice, July 25-31, Ufa, Russia, 2009, page 81.
> Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia.
> PDF <http://www.claaswilke.de/publications/workshops/demuth_ufa09.pdf>
>
> [2]* Claas Wilke, Michael Thiele, Christian Wende:*
> * Extending Variability for OCL Interpretation.*
> In: Petriu, D. C., Rouquette, N. and Haugen, Ø. (Eds.): Extending
> Variability for OCL Interpretation Model Driven Engineering Languages and
> Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October
> 3-8, 2010, Proceedings, Part I. LNCS Series (6394), Springer, Berlin
> Heidelberg, 2010, pages 361-375.
> PDF <http://www.springerlink.com/content/d065u147nn870325/> | Presentation
> Slides
> <http://dresden-ocl.sourceforge.net/papers/wilkeEA_MODELS2010_slides.pdf>
> | Conference Website <http://models2010.ifi.uio.no/>
>
>
>
> Am 03.06.2015 um 10:44 schrieb Denis Nikiforov:
>
> Hi
>
>  We need to define OCL constraints for ISO 20022 model (
> http://www.iso20022.org/e_dictionary.page ). Is it possible?
>
>  It seems that I can define constraints only for ISO 20022 metamodel (M2
> level). And after that I can validate ISO 20022 model (M1 level). But we
> need to define constraints on the M1 level. Is it possible?
>
>
> ------------------------------------------------------------------------------
>
>
>
> _______________________________________________
> Dresden-ocl-discussion mailing lis...@li...://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion
>
>
>

Dear Denis Nikiforov,

yes, defining OCL constraints with Dresden OCL on the M1 level is 
possible. However, if you want to use models of a metamodel different to 
UML, EMF Ecore, Java and XML Schema, you have to define your own mapping 
for the metamodel to Dresden OCLs pivot model.

You can find details on Dresden OCL's pivot model within our 
publications [1, 2] and especially within our manual 
(http://141.76.65.213/dresdenocl_updatesite/manual.pdf). See Chapters 1, 
7 and 10).

Kind regards,
Claas Wilke

[1]/Birgit Demuth, Claas Wilke:/*
Model and Object Verification by Using Dresden OCL*
In: Proceedings of the Russian-German Workshop Innovation Information 
Technologies: Theory and Practice, July 25-31, Ufa, Russia, 2009, page 
81. Ufa State Aviation Technical University, Ufa, Bashkortostan, Russia.
PDF <http://www.claaswilke.de/publications/workshops/demuth_ufa09.pdf>

[2]/Claas Wilke, Michael Thiele, Christian Wende:/*
Extending Variability for OCL Interpretation.*
In: Petriu, D. C., Rouquette, N. and Haugen, Ø. (Eds.): Extending 
Variability for OCL Interpretation Model Driven Engineering Languages 
and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, 
October 3-8, 2010, Proceedings, Part I. LNCS Series (6394), Springer, 
Berlin Heidelberg, 2010, pages 361-375.
PDF <http://www.springerlink.com/content/d065u147nn870325/> | 
Presentation Slides 
<http://dresden-ocl.sourceforge.net/papers/wilkeEA_MODELS2010_slides.pdf> | 
Conference Website <http://models2010.ifi.uio.no/>


Am 03.06.2015 um 10:44 schrieb Denis Nikiforov:
> Hi
>
> We need to define OCL constraints for ISO 20022 model ( 
> http://www.iso20022.org/e_dictionary.page ). Is it possible?
>
> It seems that I can define constraints only for ISO 20022 metamodel 
> (M2 level). And after that I can validate ISO 20022 model (M1 level). 
> But we need to define constraints on the M1 level. Is it possible?
>
>
> ------------------------------------------------------------------------------
>
>
> _______________________________________________
> Dresden-ocl-discussion mailing list
> Dre...@li...
> https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion

Hi

We need to define OCL constraints for ISO 20022 model (
http://www.iso20022.org/e_dictionary.page ). Is it possible?

It seems that I can define constraints only for ISO 20022 metamodel (M2
level). And after that I can validate ISO 20022 model (M1 level). But we
need to define constraints on the M1 level. Is it possible?

Hello everyone,

I am running Eclipse Kepler with Dresden OCL 3.3.

When I'm doing something like this in a context:

def: foobar =
	Bag{5,5,5}->iterate(elem : OclAny, acc : Bag = Bag{} | Bag{}))

I get an errormessage which states(Type is EMFText Problem):

Syntax error on token "-> (NAVIGATION_OPERATOR)", "EOF" expected

Can someone tell me if I am doing something wrong or if this something else?

Regards,
Alexander Prinz

Hi Lars,

thanks for the reply. The Stacktrace reads again:

An error occured. No type can be found in the model for the adaptee  
'[vec:VecContent: null]'.

No additional information.

The Documents are the sampledata for the VEC from the ProSTEP Wiki.  
I've only changed version and namespace. They are attached.
The versionnumber of Dresden OCL was a typo, sorry. I'm running 3.3.  
I'm currently doing a clean install of Eclipse and Dresden OCL. But  
this will take a while. My Connection is really slow.

Regards,
Alexander

Zitat von Lars Schütze <lar...@tu...>:

> Hi,
>
> could you please send me a Stacktrace of the error? Just go to  
> Window -> Show View -> Error Log and copy the content of the error.
>
> Furthermore, could you send me the XML and XSD documents to look  
> after the issue? When you are using Dresden OCL 3.4, I think you are  
> using the latest update site?
>
> Regards,
> Lars
>
> On Di, Mär 3, 2015 at 10:25 , Prinz Alexander  
> <ale...@st...> wrote:
>> Hi @ all,
>>
>> I'm running Dresden OCL 3.4 with Eclipse Modeling Tools 4.4.1.
>>
>> I am trying to define OCL constraints for a XML document with an   
>> appropriate XML schema. The dokument is valid to the schema.  
>> Loading  the XML schema as model runs without any noticeable  
>> errors. But when I  try to load the XML dokument as Instance I get  
>> the following error:
>>
>> 'Open Model Instance ...' has encountered a problem.
>>
>> An error occured. No type can be found in the model for the adaptee  
>>  '[vec:VecContent: null]'.
>>
>> vec:VecContent is the root-Node.
>> The only thing I found about this issue is an entry from this mailinglist:
>> http://sourceforge.net/p/dresden-ocl/mailman/dresden-ocl-discussion/thread/201...@gm.../
>> But it didn't gave me any hint. Can someone tell me where I have to  
>>  look to resolve this issue?
>>
>> Regards,
>> Alexander Prinz
>>
>> ------------------------------------------------------------------------------
>> Dive into the World of Parallel Programming The Go Parallel  
>> Website, sponsored
>> by Intel and developed in partnership with Slashdot Media, is your  
>> hub for all
>> things parallel software development, from weekly thought  
>> leadership blogs to
>> news, videos, case studies, tutorials and more. Take a look and  
>> join the conversation now. http://goparallel.sourceforge.net/
>> _______________________________________________
>> Dresden-ocl-discussion mailing list
>> Dre...@li...
>> https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion
>

Hi,

could you please send me a Stacktrace of the error? Just go to Window 
-> Show View -> Error Log and copy the content of the error.

Furthermore, could you send me the XML and XSD documents to look after 
the issue? 

When you are using Dresden OCL 3.4, I think you are using the latest 
update site?

Regards,
 Lars

On Di, Mär 3, 2015 at 10:25 , Prinz Alexander 
<ale...@st...> wrote:
> Hi @ all,
> 
> I'm running Dresden OCL 3.4 with Eclipse Modeling Tools 4.4.1.
> 
> I am trying to define OCL constraints for a XML document with an  
> appropriate XML schema. The dokument is valid to the schema. Loading  
> the XML schema as model runs without any noticeable errors. But when 
> I  
> try to load the XML dokument as Instance I get the following error:
> 
> 'Open Model Instance ...' has encountered a problem.
> 
> An error occured. No type can be found in the model for the adaptee  
> '[vec:VecContent: null]'.
> 
> vec:VecContent is the root-Node.
> The only thing I found about this issue is an entry from this 
> mailinglist:
> http://sourceforge.net/p/dresden-ocl/mailman/dresden-ocl-discussion/thread/201...@gm.../
> But it didn't gave me any hint. Can someone tell me where I have to  
> look to resolve this issue?
> 
> Regards,
> Alexander Prinz
> 
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming The Go Parallel Website, 
> sponsored
> by Intel and developed in partnership with Slashdot Media, is your 
> hub for all
> things parallel software development, from weekly thought leadership 
> blogs to
> news, videos, case studies, tutorials and more. Take a look and join 
> the 
> conversation now. http://goparallel.sourceforge.net/
> _______________________________________________
> Dresden-ocl-discussion mailing list
> Dre...@li...
> https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion

Hi @ all,

I'm running Dresden OCL 3.4 with Eclipse Modeling Tools 4.4.1.

I am trying to define OCL constraints for a XML document with an  
appropriate XML schema. The dokument is valid to the schema. Loading  
the XML schema as model runs without any noticeable errors. But when I  
try to load the XML dokument as Instance I get the following error:

'Open Model Instance ...' has encountered a problem.

An error occured. No type can be found in the model for the adaptee  
'[vec:VecContent: null]'.

vec:VecContent is the root-Node.
The only thing I found about this issue is an entry from this mailinglist:
http://sourceforge.net/p/dresden-ocl/mailman/dresden-ocl-discussion/thread/201...@gm.../
But it didn't gave me any hint. Can someone tell me where I have to  
look to resolve this issue?

Regards,
Alexander Prinz

Hello Martin,

We have an inner representation of your model loaded and pin  constraints
from the OCL file to it. That is why you get this error message about the
missing constraints for the model.

I think you hit the pitfall with the -- @model{../model/simple.uml}
annotation in the constraint file. This will load the uml model. If you
delete this line and load the javamodel all will be fine and constraints
will be generated. 

If you try to load the javamodel and get errors alter the content of the
file to ../org/dresdenocl/examples/simple/ModelProviderClass.class 

It was pointing to ../bin/ before. 

Best regards,
Lars

-----Original Message-----
From: mar...@fa... [mailto:mar...@fa...] 
Sent: Monday, January 5, 2015 3:16 PM
To: dre...@li...
Subject: [Dresden-ocl-discussion] AspectJ Code-Generation with DresdenOCL

Hello everyone,

I'm writing my master thesis at the University Erlangen-Nuremberg. One part
of my thesis is the simulation of industrial plants. I want to use
DresdenOCL to surveil my simulation and to make sure, some constraints are
not violated. For example, I want to ensure, that an conveyor belt carries
at most 5 items or runs with a speed of 5m/s.

I've successfully added the standalone version of DresdenOCL to my project,
but now I've to call the checking manually. If I understood everything
correct, I have to generate AspectJ Code for automatically checking.
Therefore I tested the Simple-Example (with the UML-model) and generated
AspectJ-Code for this (as it is described in Chapter 4.2 of your manual).
But if I try to generate Code with the Java-Model (because later I want to
use the Java-model of my project), I always receive an error, that this
model doesn't contain any constraints. To my mind, a model never contains
any constraints, but the ocl-file does. Is this correct? Is it possible to
generate AspectJ-Code for a Javamodel? And if it is, how can I get rid of
this error? And if it is not, is there an easy way to generate an UML-File
out of my Java-Code?

If you want to reproduce my error, just load your Simple-Example as it is
described in Chapter 4.2 of your manual but use the Java-Model instead of
the UML-Model.
Another thing I was wondering, if you use the UML-Model after you have
chosen the Java-Model, Code-Generation still doesn't work. I have to restart
Eclipse to get it work again (and even this does not always fix the
problem).

I use Eclipse Luna (4.4.1) with DresdenOCL 4.4/latest.

I hope, you understood my problem(s) and could give me some ideas, how to
proceed.

Thank you very much and best regards,
Martin


--------------------------------------------------------------------------
----
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net
_______________________________________________
Dresden-ocl-discussion mailing list
Dre...@li...
https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion

Dear Martin Sturm,

Thank you for using Dresden OCL. Generating code for OCL contsraints using a Java model should work in the same manner as using a UML model. Load the model first and the contsraints afterwards.

Can you give a code snippet suowing how you tried to load the model and parse the contsraints?

Kind regards, 
Claas Wilke

-------- Ursprüngliche Nachricht --------
Von: mar...@fa... 
Datum:05.01.2015  15:15  (GMT+01:00) 
An: dre...@li... 
Betreff: [Dresden-ocl-discussion] AspectJ Code-Generation with DresdenOCL 

Hello everyone,

I'm writing my master thesis at the University Erlangen-Nuremberg. One
part of my thesis is the simulation of industrial plants. I want to use
DresdenOCL to surveil my simulation and to make sure, some constraints are
not violated. For example, I want to ensure, that an conveyor belt carries
at most 5 items or runs with a speed of 5m/s.

I've successfully added the standalone version of DresdenOCL to my
project, but now I've to call the checking manually. If I understood
everything correct, I have to generate AspectJ Code for automatically
checking. Therefore I tested the Simple-Example (with the UML-model) and
generated AspectJ-Code for this (as it is described in Chapter 4.2 of your
manual). But if I try to generate Code with the Java-Model (because later
I want to use the Java-model of my project), I always receive an error,
that this model doesn't contain any constraints. To my mind, a model never
contains any constraints, but the ocl-file does. Is this correct? Is it
possible to generate AspectJ-Code for a Javamodel? And if it is, how can I
get rid of this error? And if it is not, is there an easy way to generate
an UML-File out of my Java-Code?

If you want to reproduce my error, just load your Simple-Example as it is
described in Chapter 4.2 of your manual but use the Java-Model instead of
the UML-Model.
Another thing I was wondering, if you use the UML-Model after you have
chosen the Java-Model, Code-Generation still doesn't work. I have to
restart Eclipse to get it work again (and even this does not always fix
the problem).

I use Eclipse Luna (4.4.1) with DresdenOCL 4.4/latest.

I hope, you understood my problem(s) and could give me some ideas, how to
proceed.

Thank you very much and best regards,
Martin


------------------------------------------------------------------------------
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net
_______________________________________________
Dresden-ocl-discussion mailing list
Dre...@li...
https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion

Hello everyone,

I'm writing my master thesis at the University Erlangen-Nuremberg. One
part of my thesis is the simulation of industrial plants. I want to use
DresdenOCL to surveil my simulation and to make sure, some constraints are
not violated. For example, I want to ensure, that an conveyor belt carries
at most 5 items or runs with a speed of 5m/s.

I've successfully added the standalone version of DresdenOCL to my
project, but now I've to call the checking manually. If I understood
everything correct, I have to generate AspectJ Code for automatically
checking. Therefore I tested the Simple-Example (with the UML-model) and
generated AspectJ-Code for this (as it is described in Chapter 4.2 of your
manual). But if I try to generate Code with the Java-Model (because later
I want to use the Java-model of my project), I always receive an error,
that this model doesn't contain any constraints. To my mind, a model never
contains any constraints, but the ocl-file does. Is this correct? Is it
possible to generate AspectJ-Code for a Javamodel? And if it is, how can I
get rid of this error? And if it is not, is there an easy way to generate
an UML-File out of my Java-Code?

If you want to reproduce my error, just load your Simple-Example as it is
described in Chapter 4.2 of your manual but use the Java-Model instead of
the UML-Model.
Another thing I was wondering, if you use the UML-Model after you have
chosen the Java-Model, Code-Generation still doesn't work. I have to
restart Eclipse to get it work again (and even this does not always fix
the problem).

I use Eclipse Luna (4.4.1) with DresdenOCL 4.4/latest.

I hope, you understood my problem(s) and could give me some ideas, how to
proceed.

Thank you very much and best regards,
Martin

Hello Martin,

I have investigated the error and am sharing the result with you.
The problem have been NullPointerExceptions upon opening the model browser
plus the OCL editor drawing red lines all over the file. The problem relies
in Eclipse's UML2 Extender SDK not being installed:
1) Go to Help -> Install New Software ...
2) Work with: Luna - http://download.eclipse.org/releases/luna
3) Either type UML2 Extender SDK into the text field or find it under
Modeling category
4) Check and hit Next > twice
5) Accept license and hit Finish

The second problem being class files not found on loading Java model
instances. This is because of the change of the build system from ant to
tycho. Thus, build artefacts lying under /target but /bin. This have to
fixed. In the mean time I suggest to add the class file by hand as you had
to do before the lookup was implemented. Nevertheless we accept fixes (see
GitHub [1]).

Hope I have satisfied you.
Regards,
Lars

[1] http://www.github.com/dresden-ocl/dresdenocl

-----Original Message-----
From: mar...@fa... [mailto:mar...@fa...] 
Sent: Thursday, December 11, 2014 6:26 PM
To: dre...@li...
Subject: [Dresden-ocl-discussion] Probleme bei der Verwendung von DresdenOCL

Hallo,
ich schreibe derzeit meine Masterarbeit am Lehrstuhl für Informatik 2
(Programmiersysteme) der Uni Erlangen. In diesem Rahmen bin ich auf der
Suche nach einer OCL-Unterstützung für Java und bin dabei natürlich auf
DresdenOCL gestoßen.
Ich habe mich jetzt so gut es ging an der Anleitung (dem PDF auf der
Homepage) entlanggehangelt (Einige Passagen des PDFs stimmen leider nicht
mehr mit der aktuellen Version überein. Falls Sie Interesse an den
Fehlern/Problemen, die mir aufgefallen sind, haben, kann ich diese gerne
noch auflisten.).
Ich bin jetzt soweit, dass ich alle Projekte in Eclipse integriert habe und
in Eclipse auch die Beispiele und den Editor laden kann. Allerdings habe ich
noch ein paar Probleme und würde mich freuen, wenn Sie mir dabei
weiterhelfen könnten:

- Wenn ich ein Model lade (in dem Simple-Example), kommt die in
Screenshot0 gezeigte Fehlermeldung
- Wenn ich eine Model-Instanz lade, sagt er mir, dass "The
corresponding.class file to the chosen .java file cannot be found"
(Screenshot1)
- Wenn ich eine OCL-Datei mit dem Editor öffne, wird fast jede Zeile rot
markiert (Screenshot2)

Insgesamt habe ich das Gefühl, dass da noch irgendein entscheidendes Element
fehlt, damit alles funktioniert, aber ich finde leider nicht heraus, was.
Evtl. hängt es mit Kapitel 2.1.5 der Anleitung zusammen, wo beschrieben
steht, wie man den OCL2-Parser mit ant bauen lassen soll (bzw. dass das
automatisch geht). Kann ich irgendwie überprüfen, ob das funktioniert hat?
Falls es nicht geklappt hat, wie kann ich das manuell anstoßen? Ich finde
auch leider die ant-Dateien nirgendwo.

Es würde mich sehr freuen, den einen oder anderen Tipp zu bekommen, wo oder
wie ich weitersuchen kann um die Sache noch ans Laufen zu bekommen.

Auf jeden Fall schon mal vielen Dank für Ihre Hilfe!

Viele Grüße,
Martin Sturm

PS: Ich habe ganz vergessen, die verwendeten Versionen aufzulisten:

Ich habe es sowohl mit Ubuntu 14.04 x64 als auch Windows 7 x64 probiert.
Eclipse habe ich jeweils in der Version 4.4.1 (Luna - 64bit) verwendet.
Von DresdenOCL habe ich die Version 4.4/latest benutzt.

Folgende Schritte habe ich jeweils durchgeführt:
- Ein frisches Eclipse für Java entpackt
- Unter "Install new Software" habe ich zuerst zwei neue Locations angelegt:
  - http://www.emftext.org/update/
  - http://download.eclipse.org/tools/ajdt/42/dev/update/
- Danach habe ich von der URL:
http://www.dresden-ocl.org/update/4.4/latest/ alles installiert
- Dann habe ich Eclipse neugestartet und die in der letzten Email
beschriebenen Fehler sind aufgetreten.

Hallo,
ich schreibe derzeit meine Masterarbeit am Lehrstuhl für Informatik 2
(Programmiersysteme) der Uni Erlangen. In diesem Rahmen bin ich auf der
Suche nach einer OCL-Unterstützung für Java und bin dabei natürlich auf
DresdenOCL gestoßen.
Ich habe mich jetzt so gut es ging an der Anleitung (dem PDF auf der
Homepage) entlanggehangelt (Einige Passagen des PDFs stimmen leider nicht
mehr mit der aktuellen Version überein. Falls Sie Interesse an den
Fehlern/Problemen, die mir aufgefallen sind, haben, kann ich diese gerne
noch auflisten.).
Ich bin jetzt soweit, dass ich alle Projekte in Eclipse integriert habe
und in Eclipse auch die Beispiele und den Editor laden kann. Allerdings
habe ich noch ein paar Probleme und würde mich freuen, wenn Sie mir dabei
weiterhelfen könnten:

- Wenn ich ein Model lade (in dem Simple-Example), kommt die in
Screenshot0 gezeigte Fehlermeldung
- Wenn ich eine Model-Instanz lade, sagt er mir, dass "The
corresponding.class file to the chosen .java file cannot be found"
(Screenshot1)
- Wenn ich eine OCL-Datei mit dem Editor öffne, wird fast jede Zeile rot
markiert (Screenshot2)

Insgesamt habe ich das Gefühl, dass da noch irgendein entscheidendes
Element fehlt, damit alles funktioniert, aber ich finde leider nicht
heraus, was.
Evtl. hängt es mit Kapitel 2.1.5 der Anleitung zusammen, wo beschrieben
steht, wie man den OCL2-Parser mit ant bauen lassen soll (bzw. dass das
automatisch geht). Kann ich irgendwie überprüfen, ob das funktioniert hat?
Falls es nicht geklappt hat, wie kann ich das manuell anstoßen? Ich finde
auch leider die ant-Dateien nirgendwo.

Es würde mich sehr freuen, den einen oder anderen Tipp zu bekommen, wo
oder wie ich weitersuchen kann um die Sache noch ans Laufen zu bekommen.

Auf jeden Fall schon mal vielen Dank für Ihre Hilfe!

Viele Grüße,
Martin Sturm

I ended up not having to restart Eclipse more than once and Dresden OCL was a very big help validating OCL I had to hand in yesterday.  

Until next time, thank you.

George


On Tuesday, September 16, 2014 5:45 AM, Lars Schütze <lar...@tu...> wrote:
 


Hi,

I am sorry if you experience problems. However, if I load the royalandloyal example all I have to do is to open the appropriate .ocl constraint file (which includes a --@model statement that Dresden OCL automatically resolves. Hence, the model view shows me the model with its constraints.

Otherwise I would need to open the model first and *then* open an .ocl constraint file. Afterwards, you an open a model instance. All is shown in the model/model instance view for me.

Can you fix the problem?

Regards,
Lars

On Mo, Sep 15, 2014 at 6:25 , George Herson <ghe...@ga...> wrote:

Hi,
>
>
>I'm working with the royalandloyal example and having a problem getting its constraints into the Model Browser view.  The only way I've been able to do it is by opening the model and model instance as explained in the manual (of September 26, 2012) and restarting Eclipse.  When Eclipse restarts, royalandloyal is open in the Model Browser and the Model
Instance Browser is empty.  As soon as I open the latter, i.e., open
org/dresdenocl/examples/royalandloyal/instance/ModelInstanceProviderClass.class
as a Dreden OCL Model Instance, the Model Browser window shows many (as opposed to no) constraints at bottom, as desired.  But I'd like to avoid the Eclipse restart.
>
>
>I saw and tried
>2.2.5 "You can load a model and then re-parse the OCL file by changing the OCL file (e.g., by introducing and immediately deleting a whitespace character)." and
>
>2.2.6 "The architecture of Dresden OCL requires that a model must always be imported before a constraint
>file can be parsed correctly."  That is, I've re-opened the .ocl and refreshed the model and instance numerous times to no avail.  Only restarting Eclipse has worked.  Advice, please?  (I'm new to OCL and UML.)
>
>
>thank you,
>George Herson
>
>
>Eclipse Standard/SDK
>Version: Luna Release (4.4.0)
>Build id: 20140612-0600
>with  Dresden OCL Core3.4.0.201408301327et cetera (all 3.4.0.201408301327 versions)

------------------------------------------------------------------------------
Want excitement?
Manually upgrade your production database.
When you want reliability, choose Perforce.
Perforce version control. Predictably reliable.
http://pubads.g.doubleclick.net/gampad/clk?id=157508191&iu=/4140/ostg.clktrk

_______________________________________________
Dresden-ocl-discussion mailing list
Dre...@li...
https://lists.sourceforge.net/lists/listinfo/dresden-ocl-discussion

Hi,

I am sorry if you experience problems. However, if I load the 
royalandloyal example all I have to do is to open the appropriate .ocl 
constraint file (which includes a --@model statement that Dresden OCL 
automatically resolves. Hence, the model view shows me the model with 
its constraints.

Otherwise I would need to open the model first and *then* open an .ocl 
constraint file. Afterwards, you an open a model instance. All is shown 
in the model/model instance view for me.

Can you fix the problem?

Regards,
Lars

On Mo, Sep 15, 2014 at 6:25 , George Herson <ghe...@ga...> wrote:
> Hi,
> 
> I'm working with the royalandloyal example and having a problem 
> getting its constraints into the Model Browser view.  The only way 
> I've been able to do it is by opening the model and model instance as 
> explained in the manual (of September 26, 2012) and restarting 
> Eclipse.  When Eclipse restarts, royalandloyal is open in the Model 
> Browser and the Model Instance Browser is empty.  As soon as I open 
> the latter, i.e., open 
> org/dresdenocl/examples/royalandloyal/instance/ModelInstanceProviderClass.class 
> as a Dreden OCL Model Instance, the Model Browser window shows many 
> (as opposed to no) constraints at bottom, as desired.  But I'd like 
> to avoid the Eclipse restart.
> 
> I saw and tried
> 2.2.5 "You can load a model and then re-parse the OCL file by 
> changing the OCL file (e.g., by introducing and immediately deleting 
> a whitespace character)." and
> 2.2.6 "The architecture of Dresden OCL requires that a model must 
> always be imported before a constraint
> file can be parsed correctly."  That is, I've re-opened the .ocl and 
> refreshed the model and instance numerous times to no avail.  Only 
> restarting Eclipse has worked.  Advice, please?  (I'm new to OCL and 
> UML.)
> 
> thank you,
> George Herson
> 
> Eclipse Standard/SDK
> Version: Luna Release (4.4.0)
> Build id: 20140612-0600
> with  Dresden OCL Core	3.4.0.201408301327	et cetera (all 
> 3.4.0.201408301327 versions)

Hi,

I'm working with the royalandloyal example and having a problem getting its constraints into the Model Browser view.  The only way I've been able to do it is by opening the model and model instance as explained in the manual (of September 26, 2012) and restarting Eclipse.  When Eclipse restarts, royalandloyal is open in the Model Browser and the Model
Instance Browser is empty.  As soon as I open the latter, i.e., open
org/dresdenocl/examples/royalandloyal/instance/ModelInstanceProviderClass.class
as a Dreden OCL Model Instance, the Model Browser window shows many (as opposed to no) constraints at bottom, as desired.  But I'd like to avoid the Eclipse restart.

I saw and tried
2.2.5 "You can load a model and then re-parse the OCL file by changing the OCL file (e.g., by introducing and immediately deleting a whitespace character)." and

2.2.6 "The architecture of Dresden OCL requires that a model must always be imported before a constraint
file can be parsed correctly."  That is, I've re-opened the .ocl and refreshed the model and instance numerous times to no avail.  Only restarting Eclipse has worked.  Advice, please?  (I'm new to OCL and UML.)

thank you,
George Herson

Eclipse Standard/SDK
Version: Luna Release (4.4.0)
Build id: 20140612-0600
with  Dresden OCL Core3.4.0.201408301327et cetera (all 3.4.0.201408301327 versions)

Hi,

comments in between.

On Mi, Sep 3, 2014 at 1:46 , Stefan Mijatov <mij...@gm...> 
wrote:
> ps.
> I see that the version number has increase for 1.0
> Where there major bugs removed, do you think it might help to switch 
> to the new version?
Yes, we are now at 3.4.0 as I updated the project to use Luna.
The biggest change is that the full deployment is now based on 
tycho/maven.
Furthermore there are some bugfixes that came in between ;-) But 
nothing game changing.

> I had started using DresdenOCL from version 3.1 in Juno, and when 
> switching to 3.3 took a lot of time as the framework package 
> structure was quite changed.. :)
There have been the renaming to org.dresdenocl for our package 
structure. Could be that extensions points have changed. Since there 
was noone complaining we did not provide scripts that simply change by 
string replace those imports (and id's).
> 
> On Wed, Sep 3, 2014 at 1:43 PM, Stefan Mijatov 
> <mij...@gm...> wrote:
>> Hi Lars,
>> 
>> thanks for the reply. Indeed, the line is 2806.. By habit, I pressed 
>> code formatting when I was editing the OclIntepreter class :)
>> 
>> Anyway, I am using DresdenOCL 3.3 in Eclipse Kepler SR2. As I am 
>> using some other plugins for the same project, I am not able to the 
>> transition to Luna at this moment..
>> 
>> The example is a bit hard to give you, as basically I am creating 
>> test framework for a UML interpreter, have the converted UML model 
>> in executable form and the instances created during execution, and 
>> evaluate the expressions on them based on my mapping.. 
>> Expressions are specified in OCL file against standard UML model in 
>> Eclipse.
>> 
>> And I guess if this issue is not in the framework, but in my 
>> mappings, then migrating my whole project to Luna wouldn't be 
>> useful..
>> 
>> Best,
>> Stefan
>> 
>> 
>> On Wed, Sep 3, 2014 at 1:08 PM, Lars Schütze 
>> <lar...@tu...> wrote:
>>> Hi,
>>> 
>>> line number 2541 in OclInterpreter is method evaluateOne() for me.
>>> Are you really using the latest Dresden OCL? Please use Dresden OCL 
>>> from our GitHub repository, 
>>> https://github.com/dresden-ocl/dresdenocl (as described on 
>>> www.dresden-ocl.org) or use our update site 
>>> http://www.dresden-ocl.org/update/4.4/latest/ (which apparently is 
>>> for Luna).
>>> 
>>> I tried such an expression on a Java model instance and an UML 
>>> model but encountered no problems.
>>> 
>>> If you are using the latest Dresden OCL could you please give me a 
>>> MINIMAL example that is causing the issue (e.g., a model and model 
>>> instance and the OCL constraint that produces the error). If the 
>>> error persists I would open a bug report at our issue tracker at 
>>> GitHub.
>>> 
>>> Best regards,
>>> Lars
>>> 
>>> On Di, Sep 2, 2014 at 12:28 , Stefan Mijatov 
>>> <mij...@gm...> wrote:
>>>> Hi,
>>>> 
>>>> correction to the previous message: line number is 2541 in method 
>>>> evaluateSelectElement() of OclInterpreter.
>>>> 
>>>> Btw, I have managed to solve this issue by changing the code at 
>>>> that point to the following:
>>>> 
>>>> /* Compute the body expression for an element. */
>>>> Object raw = doSwitch((EObject) body);
>>>> if (raw instanceof OclModelInstanceObject) {
>>>> 	OclModelInstanceObject rawResult = (OclModelInstanceObject) raw;
>>>> 	Object adaptedResult = 
>>>> rawResult.getModelInstanceObject().getObject();
>>>> 	bodyResult = (OclBoolean) adaptedResult;
>>>> } else
>>>> 	bodyResult = (OclBoolean) doSwitch((EObject) body);
>>>> 
>>>> Ofcourse, I don't want to change the code of the framework, so if 
>>>> anyone has idea what am I doing wrong in mapping part, please 
>>>> help..
>>>> 
>>>> Best,
>>>> Stefan
>>>> 
>>>> 
>>>> On Tue, Sep 2, 2014 at 11:14 AM, Stefan Mijatov 
>>>> <mij...@gm...> wrote:
>>>>> Hi,
>>>>> 
>>>>> I am having a problem with evaluation of iterative expressions 
>>>>> such as select, collect, and forAll..
>>>>> More precisely, when I have a select expressions including a 
>>>>> condition, 
>>>>> 
>>>>> e.g., Product.allInstances()->select(name='testProduct')->size()=1
>>>>> 
>>>>> I get the ClassCastException in 
>>>>> org.dresdenocl.interpreter.internal.OclInterpreter at line 2806, 
>>>>> that the JavaOclModelInstanceObject cannot be cast to OclBoolean.
>>>>> 
>>>>> Generally, simple expressions not involving iterative expressions 
>>>>> are working perfect with my mappings..
>>>>> 
>>>>> In my implementation of IModelInstanceObject in method 
>>>>> invokeOperation() I return instance of OclBoolean by calling 
>>>>> JavaStandardlibraryPlugin.getStandardLibraryFactory().createOclBoolean(...).
>>>>> 
>>>>> The complete code for IModelInstanceObject is here.
>>>>> 
>>>>> I killed myself trying to find the way to solve this without 
>>>>> luck..
>>>>> If anyone can at least give me a hint of what am I doing wrong, I 
>>>>> would appreciate it so much.
>>>>> 
>>>>> Thanks,
>>>>> Stefan
>>>> 
>> 
> 

Hi,

line number 2541 in OclInterpreter is method evaluateOne() for me.
Are you really using the latest Dresden OCL? Please use Dresden OCL 
from our GitHub repository, https://github.com/dresden-ocl/dresdenocl 
(as described on www.dresden-ocl.org) or use our update site 
http://www.dresden-ocl.org/update/4.4/latest/ (which apparently is for 
Luna).

I tried such an expression on a Java model instance and an UML model 
but encountered no problems.

If you are using the latest Dresden OCL could you please give me a 
MINIMAL example that is causing the issue (e.g., a model and model 
instance and the OCL constraint that produces the error). If the error 
persists I would open a bug report at our issue tracker at GitHub.

Best regards,
Lars

On Di, Sep 2, 2014 at 12:28 , Stefan Mijatov <mij...@gm...> 
wrote:
> Hi,
> 
> correction to the previous message: line number is 2541 in method 
> evaluateSelectElement() of OclInterpreter.
> 
> Btw, I have managed to solve this issue by changing the code at that 
> point to the following:
> 
> /* Compute the body expression for an element. */
> Object raw = doSwitch((EObject) body);
> if (raw instanceof OclModelInstanceObject) {
> 	OclModelInstanceObject rawResult = (OclModelInstanceObject) raw;
> 	Object adaptedResult = 
> rawResult.getModelInstanceObject().getObject();
> 	bodyResult = (OclBoolean) adaptedResult;
> } else
> 	bodyResult = (OclBoolean) doSwitch((EObject) body);
> 
> Ofcourse, I don't want to change the code of the framework, so if 
> anyone has idea what am I doing wrong in mapping part, please help..
> 
> Best,
> Stefan
> 
> 
> On Tue, Sep 2, 2014 at 11:14 AM, Stefan Mijatov 
> <mij...@gm...> wrote:
>> Hi,
>> 
>> I am having a problem with evaluation of iterative expressions such 
>> as select, collect, and forAll..
>> More precisely, when I have a select expressions including a 
>> condition, 
>> 
>> e.g., Product.allInstances()->select(name='testProduct')->size()=1
>> 
>> I get the ClassCastException in 
>> org.dresdenocl.interpreter.internal.OclInterpreter at line 2806, 
>> that the JavaOclModelInstanceObject cannot be cast to OclBoolean.
>> 
>> Generally, simple expressions not involving iterative expressions 
>> are working perfect with my mappings..
>> 
>> In my implementation of IModelInstanceObject in method 
>> invokeOperation() I return instance of OclBoolean by calling 
>> JavaStandardlibraryPlugin.getStandardLibraryFactory().createOclBoolean(...).
>> 
>> The complete code for IModelInstanceObject is here.
>> 
>> I killed myself trying to find the way to solve this without luck..
>> If anyone can at least give me a hint of what am I doing wrong, I 
>> would appreciate it so much.
>> 
>> Thanks,
>> Stefan
> 

Hi,

correction to the previous message: line number is 2541 in method
evaluateSelectElement() of OclInterpreter.

Btw, I have managed to solve this issue by changing the code at that point
to the following:

/* Compute the body expression for an element. */
Object raw = doSwitch((EObject) body);
if (raw instanceof OclModelInstanceObject) {
OclModelInstanceObject rawResult = (OclModelInstanceObject) raw;
Object adaptedResult = rawResult.getModelInstanceObject().getObject();
bodyResult = (OclBoolean) adaptedResult;
} else
bodyResult = (OclBoolean) doSwitch((EObject) body);

Ofcourse, I don't want to change the code of the framework, so if anyone
has idea what am I doing wrong in mapping part, please help..

Best,
Stefan


On Tue, Sep 2, 2014 at 11:14 AM, Stefan Mijatov <mij...@gm...>
wrote:

> Hi,
>
> I am having a problem with evaluation of iterative expressions such as
> select, collect, and forAll..
> More precisely, when I have a select expressions including a condition,
>
> e.g., Product.allInstances()->select(name='testProduct')->size()=1
>
> I get the ClassCastException in
> org.dresdenocl.interpreter.internal.OclInterpreter at line 2806, that the
> JavaOclModelInstanceObject cannot be cast to OclBoolean.
>
> Generally, simple expressions not involving iterative expressions are
> working perfect with my mappings..
>
> In my implementation of IModelInstanceObject in method invokeOperation() I
> return instance of OclBoolean by calling
> JavaStandardlibraryPlugin.getStandardLibraryFactory().createOclBoolean(...).
>
> The complete code for IModelInstanceObject is here
> <https://code.google.com/a/eclipselabs.org/p/moliz/source/browse/org.modelexecution.fumltesting.ocl/src/org/modelexecution/fumltesting/ocl/internal/modelinstance/FUMLModelInstanceObject.java?repo=testing>
> .
>
> I killed myself trying to find the way to solve this without luck..
> If anyone can at least give me a hint of what am I doing wrong, I would
> appreciate it so much.
>
> Thanks,
> Stefan
>

Hi,

I am having a problem with evaluation of iterative expressions such as
select, collect, and forAll..
More precisely, when I have a select expressions including a condition,

e.g., Product.allInstances()->select(name='testProduct')->size()=1

I get the ClassCastException in
org.dresdenocl.interpreter.internal.OclInterpreter at line 2806, that the
JavaOclModelInstanceObject cannot be cast to OclBoolean.

Generally, simple expressions not involving iterative expressions are
working perfect with my mappings..

In my implementation of IModelInstanceObject in method invokeOperation() I
return instance of OclBoolean by calling
JavaStandardlibraryPlugin.getStandardLibraryFactory().createOclBoolean(...).

The complete code for IModelInstanceObject is here
<https://code.google.com/a/eclipselabs.org/p/moliz/source/browse/org.modelexecution.fumltesting.ocl/src/org/modelexecution/fumltesting/ocl/internal/modelinstance/FUMLModelInstanceObject.java?repo=testing>
.

I killed myself trying to find the way to solve this without luck..
If anyone can at least give me a hint of what am I doing wrong, I would
appreciate it so much.

Thanks,
Stefan

Hi,

 

Sorry that you are experiencing problems.

I would suggest that you use a special update site for Luna for AJDT. 

http://download.eclipse.org/tools/ajdt/44/dev/update/

There have been big changes in the inner implementation of Equinox and AJDT
is heavily relying on these implementations. Hopefully it will then work for
you.

 

Should have changed that link in the readme :\

 

Best regards,

Lars 

 

From: Konstantinos Prapiadis [mailto:kp...@ya...] 
Sent: Wednesday, August 27, 2014 4:39 PM
To: Lars Schütze
Subject: Re: [Dresden-ocl-discussion] Problem with Dresden OCL 3.3

 

Hi,

 

Thank you for the quick response.

I do use Eclipse Luna and I used for the installation the
<http://www.dresden-ocl.org/update/4.4/latest/>
http://www.dresden-ocl.org/update/4.4/latest/ as the
http://www.dresden-ocl.org/update/4.4/ looks empty anyway.

Before installing Dresden OCL I used the recommended update sites for
emftext and ajdt  <http://www.emftext.org/update/>
http://www.emftext.org/update/ and
<http://download.eclipse.org/tools/ajdt/43/dev/update/>
http://download.eclipse.org/tools/ajdt/43/dev/update/

 

Then I installed Dresden OCL, without any problem.

 

Everything works fine, except for the "Generate AspectJ constraint code"
part that gives me the errors, that are shown at my links.

https://drive.google.com/file/d/0Bz6GTMvdpAQ-Z0xsTEs2MS1HMTg/edit?usp=sharin
g

 
<https://drive.google.com/file/d/0Bz6GTMvdpAQ-cmxYdTBoSlU5Y1k/edit?usp=shari
ng>
https://drive.google.com/file/d/0Bz6GTMvdpAQ-cmxYdTBoSlU5Y1k/edit?usp=sharin
g

I use a computer wit Windows 7 64bit and JAVA JDK 1.8. 

I did the same installations of Dresden OCL to another computer with windows
7 32bit and JRE 7 with the same results.

I also installed the Kepler version of Dresden OCL, with Eclipse Kepler,
with the same results. Everything else works fine, but the window of the
wizard  for the AspectJ constraint code generation does not open in all the
above configurations.

 

Probably something is wrong with the configuration of my computers.

 

Do you have any suggestions of what other configuration issues should I
look?

 

Thank you very much for the help,

 

Konstantinos Prapiadis

University of Alabama in Huntsville

 

  _____  

From: Lars Schütze <lar...@tu...
<mailto:lar...@tu...> >
To: Konstantinos Prapiadis <kp...@ya... <mailto:kp...@ya...> > 
Cc: "dre...@li...
<mailto:dre...@li...> "
<dre...@li...
<mailto:dre...@li...> > 
Sent: Tuesday, August 26, 2014 8:01 AM
Subject: Re: [Dresden-ocl-discussion] Problem with Dresden OCL 3.3

 

Hi,

 

I just tested with Dresden OCL version from master. The problem does not
exist here. I recommend using http://www.dresden-ocl.org/update/4.4/latest/
as current update site. This is the latest update site for Eclipse Luna.
Currently, I am preparing switching to Dresden OCL 3.4.0 which includes the
upgrade to Eclipse Luna.

 

See http://www.dresden-ocl.org/update/ if you need older versions. However,
I do not backport fixes.

 

Regards,

Lars

On Mo, Aug 25, 2014 at 6:07 , Konstantinos Prapiadis <kp...@ya...
<mailto:kp...@ya...> > wrote:

Hi,

 

I am trying to use the Dresden OCL 3.3 but I have the following problem.

 

I was going through all the steps of the manual and everything seems to work
fine until I press the "Generate AspectJ constraint code". 

Then I get an "Unhandled loop exception" error as it is shown at this link:

 
<https://drive.google.com/file/d/0Bz6GTMvdpAQ-cmxYdTBoSlU5Y1k/edit?usp=shari
ng>
https://drive.google.com/file/d/0Bz6GTMvdpAQ-cmxYdTBoSlU5Y1k/edit?usp=sharin
g

 

 

Also If I try to File - create new and open the wizard for Generate AspectJ
constraint code, I get an error that "URI is not hierarchical", as it is
show here:

https://drive.google.com/file/d/0Bz6GTMvdpAQ-Z0xsTEs2MS1HMTg/edit?usp=sharin
g

 

I tried both Eclipse Luna and Kepler with the same results.

 

Could you please help me with that issue?

 

 

Thank you,

Konstantinos Prapiadis

 

 

 

Hi,

I just tested with Dresden OCL version from master. The problem does 
not exist here. I recommend using 
http://www.dresden-ocl.org/update/4.4/latest/ as current update site. 
This is the latest update site for Eclipse Luna. Currently, I am 
preparing switching to Dresden OCL 3.4.0 which includes the upgrade to 
Eclipse Luna.

See http://www.dresden-ocl.org/update/ if you need older versions. 
However, I do not backport fixes.

Regards,
Lars

On Mo, Aug 25, 2014 at 6:07 , Konstantinos Prapiadis <kp...@ya...> 
wrote:
> Hi,
> 
> I am trying to use the Dresden OCL 3.3 but I have the following 
> problem.
> 
> I was going through all the steps of the manual and everything seems 
> to work fine until I press the "Generate AspectJ constraint code". 
> Then I get an "Unhandled loop exception" error as it is shown at this 
> link:
> https://drive.google.com/file/d/0Bz6GTMvdpAQ-cmxYdTBoSlU5Y1k/edit?usp=sharing
>  
> 
> Also If I try to File - create new and open the wizard for Generate 
> AspectJ constraint code, I get an error that "URI is not 
> hierarchical", as it is show here:
> https://drive.google.com/file/d/0Bz6GTMvdpAQ-Z0xsTEs2MS1HMTg/edit?usp=sharing
> 
> I tried both Eclipse Luna and Kepler with the same results.
> 
> Could you please help me with that issue?
> 
> 
> Thank you,
> Konstantinos Prapiadis
>  
> 
> 

Hi,

we are using EMFText which is something similar to XText developed at 
the same chair as Dresden OCL. Despite the fact that XText allows to be 
used together with XTend we use EMFText and Scala (which is somehow a 
bit similar to XTend).

If you want to change the implementation you are changing a core 
element of Dresden OCL which will result in changes needed in other 
core modules.

Regards,
Lars

On Di, Aug 26, 2014 at 12:54 , Stefan Mijatov <mij...@gm...> 
wrote:
> Hi,
> 
> has anyone tried to integrate Dresden OCL 3.3 syntax into Xtext 2.5?
> I have read this paper, but in it authors are describing very shortly 
> how to do it with another framework.
> 
> Any help appreciated! :)
> 
> Best,
> Stefan Mijatov