Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » Question about the implementation of UML Constraints
Question about the implementation of UML Constraints [message #1254676] Sun, 23 February 2014 17:37 Go to next message
ping cin is currently offline ping cin
Messages: 7
Registered: February 2014
Junior Member
Hello everyone,

Please I would like to ask you a question about the implementation of UML specification.

In the UML specification document, we find hundreds of OCL constraints. My questions are :

How many OCL constraints are defined? and
How many of them are really implemented (all of them, half, ect)? and are they implemented with OCL or in another language?

Thank you in advance.
Re: Question about the implementation of UML Constraints [message #1255234 is a reply to message #1254676] Mon, 24 February 2014 08:15 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
Hi

The OCL in UML 2.0 to 2.4.1 was manually written and never tool checked
providing easy pickings for academic papers that identify errors.

http://journal.ub.tu-berlin.de/eceasst/article/view/669/682

For the OCL in UML 2.5, I corrected a few hundred syntax and basic
semantic errors; thereafter the authors used tooling to keep it good.
Unfortunately it was all close to the line and there are perhaps 6 OCL
semantic errors in the UML 2.5 spec. Fixed versions may be found at

http://git.eclipse.org/c/ocl/org.eclipse.ocl.git/tree/examples/org.eclipse.ocl.examples.uml25/model?h=master

The OCL in UML 2.5 has never been executed so there are probably tens if
not hundreds of functional errors to be discovered.

The Eclipse UML implementation of the OCL constraints comprises a manual
transcription to Java. Many of the obscure constraints are missing. The
transcription adapted the constraints to suit the Eclipse UML tooling
and so no doubt fixed a number of functional errors.

Automated Java code generation from the UML 2.5 OCL is work in progress.
It will not be in Luna; hopefully Luna+1.

(IIRC there are about 760 OCL constraints and bodies in UML 2.5
(including the dummy 'true's). The Eclipse UML 2.4.1 metamodel has 168
errors in its OCL.)

Regards

Ed Willink


On 23/02/2014 21:22, p ci wrote:
> Hello everyone,
>
> Please I would like to ask you a question about the implementation of
> UML specification.
>
> In the UML specification document, we find hundreds of OCL
> constraints. My questions are :
>
> How many OCL constraints are defined? and How many of them are really
> implemented (all of them, half, ect)? and are they implemented with
> OCL or in another language?
> Thank you in advance.
>
Re: Question about the implementation of UML Constraints [message #1255297 is a reply to message #1255234] Mon, 24 February 2014 09:46 Go to previous messageGo to next message
ping cin is currently offline ping cin
Messages: 7
Registered: February 2014
Junior Member
Hello,

Thank you very much for the answer, I really appreciate it, thank you!

Best regards.
Re: Question about the implementation of UML Constraints [message #1391792 is a reply to message #1255297] Tue, 01 July 2014 12:17 Go to previous messageGo to next message
ping cin is currently offline ping cin
Messages: 7
Registered: February 2014
Junior Member
Hello,

Thank you again for the links.
I have a question about the OCL constraints that are present in the link for the UML 2.5 version, I am wondering whether there exists a previous version of these OCL constraints for previous UML version(such as for 2.4 or 2.4.1). I may need to work on two versions of OCL constraints (e.g. of 2.4 and 2.5).
I checked some links (below) of UML but I did not find any previous UML.ocl.

http://git.eclipse.org/c/uml2/org.eclipse.uml2.test.git/tree/plugins/org.eclipse.uml2.uml/model
http://git.eclipse.org/c/uml2/org.eclipse.uml2.git.040612/tree/plugins/org.eclipse.uml2.uml/model
http://git.eclipse.org/c/uml2/org.eclipse.uml2.git/tree/plugins/org.eclipse.uml2.uml/model

Could you please help me here?

Thank you in advance.

Regards.
Re: Question about the implementation of UML Constraints [message #1391852 is a reply to message #1391792] Tue, 01 July 2014 14:00 Go to previous messageGo to next message
Ed Willink is currently offline Ed Willink
Messages: 4098
Registered: July 2009
Senior Member
Hi

The embedded OCL is largely unchanged from UML 2.0 to 2.4.1 and has
between 200 and 1000 errors depending how you count.

The embedded OCL in UML 2.5 has been tool checked. It has a couple of
syntax errors that were discovered too late. These errors are fixed in
the Eclipse UML 5.0.0 distribution. It has an unknown number of
functional errors; only a couple of OMG issues have been raised so far.
Some of these are also fixed in the Eclipse UML 5.0.0 distribution.

UML.ocl is automatically extracted from UML.xmi.

There is no point working on UML 2.4.1 OCL. Use the UML 2.5 OCL and
adjust it in the very small number of areas where tooling reports a
metamodel inconsistency.

Regards

Ed Willink


On 01/07/2014 13:17, ping cin wrote:
> Hello,
>
> Thank you again for the links. I have a question about the OCL
> constraints that are present in the link for the UML 2.5 version, I am
> wondering whether there exists a previous version of these OCL
> constraints for previous UML version(such as for 2.4 or 2.4.1). I may
> need to work on two versions of OCL constraints (e.g. of 2.4 and
> 2.5). I checked some links (below) of UML but I did not find any
> previous UML.ocl.
>
> http://git.eclipse.org/c/uml2/org.eclipse.uml2.test.git/tree/plugins/org.eclipse.uml2.uml/model
>
> http://git.eclipse.org/c/uml2/org.eclipse.uml2.git.040612/tree/plugins/org.eclipse.uml2.uml/model
>
> http://git.eclipse.org/c/uml2/org.eclipse.uml2.git/tree/plugins/org.eclipse.uml2.uml/model
>
>
> Could you please help me here?
>
> Thank you in advance.
>
> Regards.
Re: Question about the implementation of UML Constraints [message #1391868 is a reply to message #1391852] Tue, 01 July 2014 14:32 Go to previous message
ping cin is currently offline ping cin
Messages: 7
Registered: February 2014
Junior Member
Hello,

Thank you for the answer.

I wanted to study how the OCL constraints were updated after each new UML release, from for example, UML 2.4.1 OCL to UML 2.5 OCL. That is why I asked whether previous UML OCLs exist.

Regrads.

[Updated on: Tue, 01 July 2014 14:33]

Report message to a moderator

Previous Topic:C++ Code generation help needed?
Next Topic:Traverse model explorer
Goto Forum:
  


Current Time: Sun Oct 26 06:02:36 GMT 2014

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

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