The ORM Foundation

Hi,

 I'm running into a brick wall here so I thought I'd write a post to see ;

- if my model is wrong

- if norma is giving a model error when it should not.

I've included a screenshot with the model. Im getting 2 errors because of the exclusive or constraint on the fact types between user, single action and action.

The sample population is as follows

User: John, Peter, Mark

FactType User --> single action:  John, 3

FactType User --> action: Peter, 1; John, 2

Action: 1,2,3

Single action: 1,3

Batch Action: 2

What I'm trying to model is the following;

Batch actions can only be entered through the NCC (Name of our software client)

Single actions can be entered through the NCC AND the IEC61968-9 interface

I know I can model it differently but In my perception the model and sample population should not give an error.

 Model Error: 'SingleAction' instance '3' in model 'ORMModel1' must participate in fact type 'UserRequestedSingleActionThroughTheIec619689Interface' or fact type 'UserRequestedActionThroughTheNCC'.
Model Error: 'SingleAction' instance '1' in model 'ORMModel1' must participate in fact type 'UserRequestedSingleActionThroughTheIec619689Interface' or fact type 'UserRequestedActionThroughTheNCC'.

Hi Karl,

I'll confirm this as a bug with populations across mandatory constraints on different subtypes. I fixed some related cases in the last round (mentioned in bug fix item 2 in the Dec 2013 readme), but apparently I have more work to do.

This is an issue with incremental validation not recognizing that instances of the 'other' subtype are in use. You can either hide the errors (error display is easily deactivated and reactivated now with the new context menus) or just reload the model, which starts with a clean error pass. A quick reload without officially saving to disk can be done by turning on an extension (then turning it back off). Most of my models don't use 'Custom Properties', so I do that one.

Thanks for reporting this one.

-Matt