The concept of ECL appealed me a lot and I was trying to use it for my project. I tried the example code "Compare, validate and merge OO models". I succeed to run it; however, when I tried to modified the value of the attribute isAbstarct it gives me an error. The problem is that if the value of attribute in abstract in the corresponding classes is not same it is not performing the comparison.
Is it intentional or its really a problem because I need to compare classes with different attribute values as well in my project. One other thing, where is the matches trace? Can I make it persistent to use it further for my analysis purpose?
If the values of the abstract property don't match, the BothAbstractOrNot constraint in ValidateSimpleOO.evl is not satisfied and merging is not performed. You can remove this constraint and it will work as expected.