Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 315719

Summary:	[ast,editor] UML alignment
Product:	[Modeling] OCL	Reporter:	Ed Willink <ed>
Component:	Core	Assignee:	OCL Inbox <mdt-ocl-inbox>
Status:	CLOSED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	adolfosbh
Version:	3.0.0	Flags:	ed: indigo- ed: juno-
Target Milestone:	---
Hardware:	PC
OS:	Windows Vista
Whiteboard:	Usability
Bug Depends on:
Bug Blocks:	318358

Description Ed Willink

2010-06-04 02:15:02 EDT

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.

Comment 1 Adolfo Sanchez-Barbudo Herrera

2010-06-10 12:06:35 EDT

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.

Comment 2 Ed Willink

2010-06-10 13:56:33 EDT

(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.

Comment 3 Ed Willink

2010-06-10 16:43:45 EDT

(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.

Comment 4 Ed Willink

2010-06-26 08:11:36 EDT

3) forked off to bug 318076

5) forked off to bug 318077

2) forked off to bug 318078

Comment 5 Ed Willink

2013-03-17 18:26:50 EDT

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

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

Comment 6 Ed Willink

2014-05-27 09:45:13 EDT

CLOSED after more than a year in RESOLVED state.

Comment 7 Ed Willink

2014-05-27 09:53:03 EDT

and CLOSE