Bug 521694 - [StateMachineDiagram][FinalState] Incorrect property view
Summary: [StateMachineDiagram][FinalState] Incorrect property view
Status: NEW
Alias: None
Product: Papyrus
Classification: Modeling
Component: Diagram (show other bugs)
Version: 3.0.0   Edit
Hardware: PC Windows 7
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: Project Inbox CLA
QA Contact: Jeremie Tatibouet CLA
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-08-31 10:20 EDT by Jeremie Tatibouet CLA
Modified: 2017-08-31 10:20 EDT (History)
3 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jeremie Tatibouet CLA 2017-08-31 10:20:56 EDT 
The property view for a FinalState (see clause 14.5.2 in [UML 2.5]) is not correct. Indeed, the "UML" tab enable the possibility to assign an entry, an exit or a doActivity behavior to a final state. This shall not be possible since clause 14.5.2.4 in [UML 2.5] specifies that:

1] inv: exit->isEmpty()
2] inv: entry->isEmpty()
3] inv: doActivity->isEmpty()

In addition, the advanced tab provides the capability for a final state to have a sub-machine. This shall not be possible since inv: submachine->isEmpty()