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

Bug 297216

Summary: covered attribute and OccurenceSpecification
Product: [Modeling] MDT.UML2 Reporter: Thibault Landré <thibault.landre>
Component: CoreAssignee: Kenn Hussey <Kenn.Hussey>
Status: VERIFIED FIXED QA Contact:
Severity: normal    
Priority: P2 Keywords: plan
Version: 3.0.0Flags: Kenn.Hussey: kepler+
Target Milestone: M5   
Hardware: PC   
OS: Windows XP   
Whiteboard: Community Support

Description Thibault Landré CLA 2009-12-08 10:33:17 EST 
In the UML2 Editor, an OccurenceSpecification covered several lifelines (attribute Covered has a multiplicity of *). 

But according to the UML Specification (UML Superstructure Specification v2.2), the multiplicity should be 1 (figure 14.4 p463, §14.3.25 p498)
Comment 1 Kenn Hussey CLA 2012-06-20 15:04:00 EDT 
True, OccurrenceSpecification::covered redefines InteractionFragment::covered. The UML2 code generator doesn't emit code to handle such redefinitions automatically. This would have to be implemented manually, in a way similar to how EnumerationLiteral::classifier was implemented in UML2 4.0.
Comment 2 Kenn Hussey CLA 2013-01-06 15:15:50 EST 
The changes have been committed/pushed to the 'master' branch in git.
Comment 3 Kenn Hussey CLA 2013-01-14 10:54:50 EST 
The changes are now available in a Kepler integration build for UML2 4.1.0.