Merge pull request #658 from Systems-Modeling/ST6RI-847

ST6RI-847 TypeUtil.isCompatibleWith does not match specification

Author: seidewitz

org.omg.sysml/src/org/omg/sysml/util/TypeUtil.java

@@ -185,7 +185,7 @@ public static boolean isCompatible(Type subtype, Type supertype) {
 		if (specializes(subtype, supertype)) {
 			return true;
 		} else if (subtype instanceof Feature && supertype instanceof Feature &&
-				   (subtype.getOwnedFeature().isEmpty() || supertype.getOwnedFeature().isEmpty())) {
+				   subtype.getOwnedFeature().isEmpty() && supertype.getOwnedFeature().isEmpty()) {
 			Set<Feature> subtypeRedefined = FeatureUtil.getAllRedefinedFeaturesOf((Feature)subtype);
 			Set<Feature> supertypeRedefined = FeatureUtil.getAllRedefinedFeaturesOf((Feature)supertype);
 			if (subtypeRedefined.stream().anyMatch(supertypeRedefined::contains)) {