SYSML2_-510 Made usages constant if they are time varying end features.

Author: seidewitz

org.omg.kerml.xtext/src/org/omg/kerml/xtext/validation/KerMLValidator.xtend

@@ -745,11 +745,6 @@ class KerMLValidator extends AbstractKerMLValidator {
 			error(INVALID_SUBSETTING_CONSTANT_CONFORMANCE_MSG, sub, SysMLPackage.eINSTANCE.subsetting_SubsettedFeature, INVALID_SUBSETTING_CONSTANT_CONFORMANCE)
 		}
 
-//		// validateSubsettingPortionConformance
-//		if (subsettedFeature.isPortion && !subsettingFeature.isPortion) {
-//			error(INVALID_SUBSETTING_PORTION_CONFORMANCE_MSG, sub, SysMLPackage.eINSTANCE.subsetting_SubsettedFeature, INVALID_SUBSETTING_PORTION_CONFORMANCE)
-//		}
-		
 		// validateSubsettingFeaturingTypes
 		if (subsettingFeature !== null && subsettedFeature !== null) {
 			val subsettedFeaturingTypes = subsettedFeature.featuringType

org.omg.sysml/syntax-gen/org/omg/sysml/lang/sysml/impl/UsageImpl.java

@@ -1055,6 +1055,11 @@ public boolean isAbstract() {
 	public boolean isComposite() {
 		return UsageUtil.isComposite(this, isComposite);
 	}
+	
+	@Override
+	public boolean isConstant() {
+		return isConstant || isEnd() && isMayTimeVary();
+	}
 
 	//
 

sysml.library/Domain Libraries/Cause and Effect/CausationConnections.sysml

@@ -30,10 +30,17 @@ standard library package CausationConnections {
 		 */
 
 		abstract constant ref occurrence causes[1..*] :>> causes :> participant {
-			doc /* The causing occurrences. */
+			doc 
+			/* 
+			 * The causing occurrences. (Constant for each Multicausation instance.)
+			 */
 		}
 		abstract constant ref occurrence effects[1..*] :>> effects :> participant {
-			doc /* The effect occurrences caused by the causing occurrences. */
+			doc 
+			/* 
+			 * The effect occurrences caused by the causing occurrences. 
+			 * (Constant for each Multicausation instance.)
+			 */
 		}
 
 		private assert constraint disjointCauseEffect {