#23 Entering new facts in fact editor can dork the graphic model


The fact editor is great. So is the graphic orm that gets built either by entering facts or connecting tool icons.

But I notice a subtle interaction as I go through the tutorials in the PPT's.

If I have selected a predicate icon in the ORM graphic page and then enter a new fact in the fact editor the program, in essence, overwrites the predicate that already exists. After this behavior occurs it will appear that I have a fact in the fact editor that is not represented in the graphic ORM anymore, even though it was there before.

Steps to take to observer this behavior:

1) In the fact editor type a fact like
Task(id) starts on Date(mdy) and press control-enter.

2) Using your mouse, select the predicate icon in the graphic orm panel, like you would if you were going to move the predicate icon.

3) Go back to the fact editor and type a fact like
Time(stamp) flies like an Arrow(size) and press control-enter.

Now in the ORM graphic panel you should observe that there only appears to be one predicate even though the fact editor shows two. It will appear that the second sentence overwrote the first predicate.

The cognitive problem, for the user, is he/she isn't alerted to the apparent disappearance of the first fact (or predicate) from the diagram. There is no warning, there is no delete or change confirmation dialog.

So in practice, if I'm creating a model and going back and forth between the fact editor and the diagram, moving things around, alternating with adding new facts, I can end up with, fairly easily, a list of facts in the fact editor that are not reflected in the diagram. And unless I'm watching closely, I'm going to miss this divergence between the diagram and the list of facts.

Should be easy to fix.

I love this tool.



  • Logged In: YES
    Originator: NO

    I've seen similar issues with the Fact Editor and changes made to the diagram. I am causious whenever the FE window isn't empty, as I'm not certain what the results of a change will be - I guess I don't really use it as an editor much - more just a way to enter new FactTypes. The issue may be related to others where the display of the model gets out of sync with the model - as enumerated in the Object Explorer.

    This tool will be awsome, because the underlying ORM theory is awsome. The more fully the tool is able to implement the methodology, the better it gets. BRN..

  • ryan

    Logged In: YES
    Originator: NO

    Many of the problems are due to having a multi line editor. It makes it really nice for adding lots of facts quickly, but it can cause... "issues" when editing. We have identified many of the issues and we hope to have them taken care of one way or another in the new fact editor.

    Specifically, we plan to control much more closely what facts are shown in the editor so that it is clearer to the user what they are doing and much harder to cause unexpected behaviors.