MVR020001 Error in model validator

[johnm9]

The model validator finsihed with the warning: MVR020001 to my state diagram.

My state diagram is a very simple one. I have no idea what it means and how to fix it.

[RoyC]

The MVR020001 error message should tell you that element <element name> is missing a required child element. Basically, you don't have a relationship between the named element and another, or the child element is inaccessible.

[KP]

My state diagram is a very simple one.

Can you send an XMI export of your state diagram to Sparx support please, and we can check if the warning message is valid or not. Thanks.

[johnm9]

The state machine is very simple.

There is a StateMachine1, it carries 2 substates State1 and State2; 1 Initial and 1 Final. There is a transition from the Initial to State1 and one from State2 to Final.

And then I validate the state diagram and result in the following output:

MVR020001 - warning (StateMachine1 (StateMachine)): StateMachine1 is missing required child element: Region      
Validation complete - 0 error(s), 1 warning(s)      

[KP]

OK, thanks, I'll investigate...

[Frank Horn]

It's the "Element:Composition" option in the "Project - Model Validation - Cofigure" dialog that causes it. The error disappears when you introduce another Initial pseudostate outside StateMachine1 with a transition to the latter.

[johnm9]

I wonder what the error is trying to tell me indeed because there must be some reason behind according to the UML specificiation which invalid my model.

[Frank Horn]

I wonder what the error is trying to tell me indeed because there must be some reason behind according to the UML specificiation which invalid my model.

Well yes, it's invalid because there is no Initial pseudostate on the root level.

Unfortunately this is less than obvious because of EA's messy handling of state machines:

Your StateMachine1 is really a sub-state(machine) of the root level state machine "EA_StateMachine1" which EA creates when you create your first state machine diagram in a package. This rool level state machine is not shown in the project browser, but you can see it clearly when you export to xmi 2.1 Also created by EA but invisible in the project browser is a region "EA_Region1" within "EA_StateMachine1". Inside this region is your StateMachine1, so the validation of "EA_Region1" fails because "EA_Region1" contains no Initial pseudostate.

I have often bemoaned the fact that EA creates these things but does not show them, but Sparxs has never really reacted. I think it's a UML 1 state chart legacy mess, but whereever it comes from, it's one of those things where what the project browser shows is misleading and the model structure can only be understood by reading the xmi.

[Gusto]

I cannot re-confirm that finding, neither can I get rid of the error.

I have created two packages:
1. State Machine "StateMachine1" with Initial, State and Final elements
2. Just Initial, State and Final elements

Validation of the overall model yields the mentioned error for "StateMachine1", no errors on the second package. In XMI however, both models look identical (except for the IDs and the fact that EA has automatically included an "EA_Statemachine1" element instead of the hand-made "StateMachine1" element).

Any ideas? Thx!

[«Midnight»]

If you can, compress the project and send it to Sparx support, with a reference to this thread. You'll find their email address on the Support page (click the appropriate link at the top or bottom of any forum page) near the top.

Or you can send in a Registered User bug report, which will also allow you to attach the file. You'll find a link to that version of the bug report form on the Support page or above the 'general' bug report form.

I suggest you do this immediately, since the next shift (to start soon) will be Friday at Sparx, so you'll miss the weekend if you wait.

David