[ast,editor] UML alignment

[eclipse-ocl-bot]

| --- | --- | | Bugzilla Link | 315719 | | Status | CLOSED FIXED | | Importance | P3 normal | | Reported | Jun 04, 2010 02:15 EDT | | Modified | May 27, 2014 09:53 EDT | | Version | 3.0.0 | | Blocks | 318358 | | Reporter | Ed Willink |

Description

1) The new CompleteOCL editor does not support UML meta-models.

2) The new OCLinEcore editor should be a subset of a bigger OCLinUML editor, which to avoid Ecore/UML ambiguity could be a UnifiedOCL editor.

3) The UML Model Editor does not offer any OCL support.

4) Does UML support generation/validation of OCL constraints?

5) Does UML support dynamic model instances, and does the OCL console support them?

1) and 2) should be resolved by a core UML-like pivot model with a fairly simple UML2Pivot import/export and a revamap of the Ecore2OCLinEcore import/export.

3) requires contribution/injection of an extended EssentialOCL popup to the UML editor.

[eclipse-ocl-bot]

By Adolfo Sanchez-Barbudo Herrera on Jun 10, 2010 12:06

4) Shouldn't not be accomplished by the means of the generic API in the same way it has been done with the remaining infrastructure ?.

I'll have a look into the current design of the delagates to see if this could be done in a similar way in UML models

Cheers,\ Adolfo.

[eclipse-ocl-bot]

By Ed Willink on Jun 10, 2010 13:56

(In reply to comment #1)

4) Shouldn't not be accomplished by the means of the generic API in the same way it has been done with the remaining infrastructure ?.

Maybe, but UML has first class support for OCL constraints, so there might be something there. Trying to fully understand all the dark corners of MDT/UML2 is high on my priority list so that we can try to exploit rather than duplicate them.\

I'll have a look into the current design of the delagates to see if this could be done in a similar way in UML models.

The delegates are a very pragmatic fudge; they work remarkably well, but their realisation is poor; there are significant inconsistencies and my attempt to rationalize came at a bad time chronologically just before M6, and politically in terms of EMF personnel availabilities.

---

The fully accurate OCL solution supporting opposites and other pseudo-associations must revolve around the pivot model, so I think we want to get the full UML context pivot in place and then see how best to preserve old APIs and evolve new APIs on awkward historical areas.

[eclipse-ocl-bot]

By Ed Willink on Jun 10, 2010 16:43

(In reply to comment #0)

4) Does UML support generation/validation of OCL constraints?

Yes. For generated Java. See http://www.eclipse.org/modeling/mdt/uml2/docs/presentations/EclipseCon2008_LongTalk_NewFeaturesOfUML2_files/slide0047.htm

There is no Dynamic UML counterpart to Dynamic Ecore, so on the fly dynamic behaviour may not be relevant.

[eclipse-ocl-bot]

By Ed Willink on Jun 26, 2010 08:11

3) forked off to bug 318076

5) forked off to bug 318077

2) forked off to bug 318078

[eclipse-ocl-bot]

By Ed Willink on Mar 17, 2013 18:26

1) The new CompleteOCL editor does now support UML meta-models.

4) UML now support generation/validation of OCL constraints?

[eclipse-ocl-bot]

By Ed Willink on May 27, 2014 09:45

CLOSED after more than a year in RESOLVED state.

[eclipse-ocl-bot]

By Ed Willink on May 27, 2014 09:53

and CLOSE