02122026

README.adoc

@@ -20,7 +20,7 @@ The project provides a configuration file for the https://wiki.eclipse.org/Eclip
 image:installer-advanced.png[switch to advanced mode]
 
 4. In the Products window, select "Eclipse Modeling Tools" with:
-   * Product Version: 2025-03
+   * Product Version: 2025-12
    * Java VM: Java 21
 
 5. On the next page (Projects window), to the right of the text box, click the "+" to the add the Sysml2 project as user project. In the dialog, choose Catalog: Github Projects and browse the file system to select the setup file from the local git repository.
@@ -44,13 +44,13 @@ image:oomph-projects.png[oomph projects]
 
 ==== Manual installation
 
-1. Install Eclipse 2025-03 (4.35).
+1. Install Eclipse 2025-12 (4.38).
    * Install the “Eclipse Modeling Tools” package.
-     ** `https://www.eclipse.org/downloads/packages/release/2025-03/r/eclipse-modeling-tools`
+     ** `https://www.eclipse.org/downloads/packages/release/2025-12/r/eclipse-modeling-tools`
 
    * Install additional release packages in Eclipse.
      ** Select Help > Install New Software.
-     ** Enter the update site URL `http://download.eclipse.org/releases/2025-03`.
+     ** Enter the update site URL `http://download.eclipse.org/releases/2025-12`.
      ** Install “Xtext Complete SDK” (under General Purpose Tools) and "QVT Operational SDK" (under Modeling).
 
    * (Optional) For PlantUML visualization, install PlantUML-Eclipse with SysMLv2 extensions.
@@ -139,7 +139,7 @@ Set up a Java code template as follows:
 ----
 /**
  * SysML 2 Pilot Implementation
- * Copyright (C) 2025 <Your organization name>
+ * Copyright (C) 2026 <Your organization name>
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU Lesser General Public License as published by
@@ -162,7 +162,7 @@ Set up a Java code template as follows:
 
 === For existing code
 * When modifying existing code created by someone in a different organization, add a new copyright line, without changing anything else in the header.
-* When modifying existing code for the first time in a new year, add the year as the latest year in the appropriate copy right line. (E.g., in 2025, "Copyright (C) 2024" becomes "Copyright (C) 2024-2025" and in 2026 it becomes "Copyright (C) 2024-2026".)
+* When modifying existing code for the first time in a new year, add the year as the latest year in the appropriate copy right line. (E.g., in 2026, "Copyright (C) 2024" becomes "Copyright (C) 2024-2026" and in 2027 it becomes "Copyright (C) 2024-2027".)
 
 === Sources
 * https://www.gnu.org/licenses/gpl-3.0.en.html[GNU GPL v3.0 - How to Apply These Terms to Your New Programs]

org.omg.kerml.expressions.xtext.ide/META-INF/MANIFEST.MF

@@ -4,7 +4,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext.ide
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: SysML v2 Submission Team
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.expressions.xtext.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.expressions.xtext,

org.omg.kerml.expressions.xtext.ui/META-INF/MANIFEST.MF

@@ -4,7 +4,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext.ui
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: SysML v2 Submission Team
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.expressions.xtext.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.expressions.xtext,

org.omg.kerml.expressions.xtext/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Automatic-Module-Name: org.omg.kerml.expressions.xtext
 Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext
 Bundle-RequiredExecutionEnvironment: JavaSE-21
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.expressions.xtext; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.eclipse.xtext,

org.omg.kerml.owl.ide/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.owl.ide
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: My Company
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.owl.ide;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.owl,

org.omg.kerml.owl.ui/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.owl.ui
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: My Company
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.owl.ui;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.owl,

org.omg.kerml.owl/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.sysml.owl
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: My Company
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.owl;singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.eclipse.xtext,

org.omg.kerml.xpect.tests/META-INF/MANIFEST.MF

@@ -4,7 +4,7 @@ Bundle-Name: org.omg.kerml.xpect.tests
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-SymbolicName: org.omg.kerml.xpect.tests;singleton:=true
 Bundle-Vendor: SysML v2 Submission Team
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Require-Bundle: org.eclipse.core.runtime,
  org.eclipse.xpect.xtext.lib;bundle-version="[0.3.0,0.4.0)",
  org.eclipse.xpect.xtext.xbase.lib;bundle-version="[0.3.0,0.4.0)",

org.omg.kerml.xpect.tests/src/org/omg/kerml/xpect/tests/validation/Feature_nonunique_invalid.kerml.xt

@@ -0,0 +1,29 @@
+//* 
+XPECT_SETUP org.omg.kerml.xpect.tests.validation.KerMLValidationTest
+        ResourceSet {
+            ThisFile {}
+            File {from ="/library/Base.kerml"}
+        }
+        Workspace {
+            JavaProject {
+                SrcFolder {
+                    ThisFile {}
+                    File {from ="/library/Base.kerml"}
+                }
+            }
+        }
+END_SETUP 
+*/
+package Feature_nonunique_invalid {
+	classifier A {
+		feature x; // "unique" by default
+	}
+	classifier B specializes A {
+		// XPECT errors --> "Subsetting/redefining feature cannot be nonunique if subsetted/redefined feature is unique" at "x"
+		feature x1 nonunique subsets x;
+	}
+	classifier C specializes A {
+		// XPECT errors --> "Subsetting/redefining feature cannot be nonunique if subsetted/redefined feature is unique" at "x"
+		feature x2 nonunique redefines x;
+	}
+}

org.omg.kerml.xtext.ide/META-INF/MANIFEST.MF

@@ -4,7 +4,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext.ide
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: SysML v2 Submission Team
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.xtext.ide; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.xtext,

org.omg.kerml.xtext.ui/META-INF/MANIFEST.MF

@@ -4,7 +4,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext.ui
 Bundle-RequiredExecutionEnvironment: JavaSE-21
 Bundle-Vendor: SysML v2 Submission Team
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.xtext.ui; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.omg.kerml.xtext,

org.omg.kerml.xtext/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Automatic-Module-Name: org.omg.kerml.xtext
 Bundle-ManifestVersion: 2
 Bundle-Name: org.omg.kerml.xtext
 Bundle-RequiredExecutionEnvironment: JavaSE-21
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-SymbolicName: org.omg.kerml.xtext; singleton:=true
 Bundle-ActivationPolicy: lazy
 Require-Bundle: org.eclipse.xtext,

org.omg.kerml.xtext/src/org/omg/kerml/xtext/scoping/KerMLLinker.java

@@ -1,6 +1,6 @@
 /*****************************************************************************
  * SysML 2 Pilot Implementation
- * Copyright (c) 2020-2021, 2024 Model Driven Solutions, Inc.
+ * Copyright (c) 2020-2021, 2024, 2026 Model Driven Solutions, Inc.
  * Copyright (c) 2024 Budapest University of Technology and Economics
  *    
  * This program is free software: you can redistribute it and/or modify
@@ -47,14 +47,6 @@ public class KerMLLinker extends LazyLinker {
 	@Inject
 	private OnChangeEvictingCache cache;
 
-	@Override
-	protected void clearReferences(EObject obj) {
-		super.clearReferences(obj);
-		if (obj instanceof Element) {
-			ElementUtil.clean((Element)obj);
-		}
-	}
-
 	@Override
 	protected void clearReference(EObject obj, EReference ref) {
 		if (
@@ -72,10 +64,10 @@ protected void clearReference(EObject obj, EReference ref) {
 	@Override
 	protected void doLinkModel(EObject model, IDiagnosticConsumer consumer) {
 		super.doLinkModel(model, consumer);
-		postProcessAllCrossReferences(model);
+		postProcessAll(model);
 	}
 
-	protected void postProcessAllCrossReferences(EObject model) {
+	protected void postProcessAll(EObject model) {
 		cache.execWithoutCacheClear(model.eResource(), new IUnitOfWork.Void<Resource>() {
 			@Override
 			public void process(Resource state) throws Exception {

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

@@ -1,7 +1,7 @@
 /*****************************************************************************
  * SysML 2 Pilot Implementation
  * Copyright (c) 2018 IncQuery Labs Ltd.
- * Copyright (c) 2018-2025 Model Driven Solutions, Inc.
+ * Copyright (c) 2018-2026 Model Driven Solutions, Inc.
  * Copyright (c) 2020 California Institute of Technology/Jet Propulsion Laboratory
  *    
  * This program is free software: you can redistribute it and/or modify
@@ -103,6 +103,10 @@ import java.util.Collections
 import java.util.HashMap
 import java.util.Set
 import java.util.Map
+import org.omg.sysml.lang.sysml.EndFeatureMembership
+import org.omg.sysml.lang.sysml.CollectExpression
+import org.omg.sysml.lang.sysml.SelectExpression
+import org.omg.sysml.lang.sysml.IndexExpression
 
 /**
  * This class contains custom validation rules. 
@@ -160,6 +164,9 @@ class KerMLValidator extends AbstractKerMLValidator {
 
 	public static val INVALID_CLASSIFIER_MULTIPLICITY_DOMAIN = "validateClassifierMultiplicityDomain"
 	public static val INVALID_CLASSIFIER_MULTIPLICITY_DOMAIN_MSG = "Multiplicity must not have a featuring type"
+
+	public static val INVALID_END_FEATURE_MEMBERSHIP_IS_END = "validateEndFeatureMembershpIsEnd"
+	public static val INVALID_END_FEATURE_MEMBERSHIP_IS_END_MSG = "Must be an end feature"
 
 	// Note: validateFeatureHasType is not in the spec, but it is implied by semantic constraints on features.
 	public static val INVALID_FEATURE_HAS_TYPE = 'validateFeatureHasType_'
@@ -264,6 +271,8 @@ class KerMLValidator extends AbstractKerMLValidator {
 	public static val INVALID_BEHAVIOR_SPECIALIZATION = "validateBehaviorSpecialization"
 	public static val INVALID_BEHAVIOR_SPECIALIZATION_MSG = "Cannot specialize structure"    
 
+	public static val INVALID_PARAMETER_MEMBERSHIP_DIRECTION = "validateParameterMembershipDirection"
+	public static val INVALID_PARAMETER_MEMBERSHIP_DIRECTION_MSG = "Must have direction '{direction}'"
 	public static val INVALID_PARAMETER_MEMBERSHIP_OWNING_TYPE = "validateParameterMembershipOwningType"
 	public static val INVALID_PARAMETER_MEMBERSHIP_OWNING_TYPE_MSG = "Parameter membership not allowed"	
 
@@ -319,9 +328,23 @@ class KerMLValidator extends AbstractKerMLValidator {
 	public static val INVALID_OPERATOR_EXPRESSION_BRACKET_OPERATOR = "validateOperatorExpressionBracketOperator_"
 	public static val INVALID_OPERATOR_EXPRESSION_BRACKET_OPERATOR_MSG = "Use #(...) for indexing"
 
+	public static val INVALID_COLLECT_EXPRESSION_OPERATOR = "validateCollectExpressionOperator"
+	public static val INVALID_COLLECT_EXPRESSION_OPERATOR_MSG = "Operator must be 'collect'"
+
+	public static val INVALID_FEATURE_CHAIN_EXPRESSION_OPERATOR = "validateFeatureChainExpressionOperator"
+	public static val INVALID_FEATURE_CHAIN_EXPRESSION_OPERATOR_MSG = "Operator must be '.'"
+
+	public static val INVALID_INDEX_EXPRESSION_OPERATOR = "validateIndexExpressionOperator"
+	public static val INVALID_INDEX_EXPRESSION_OPERATOR_MSG = "Operator must be '#'"
+
+	public static val INVALID_SELECT_EXPRESSION_OPERATOR = "validateSelectExpressionOperator"
+	public static val INVALID_SELECT_EXPRESSION_OPERATOR_MSG = "Operator must be 'select'"
+
 	public static val INVALID_FLOW_ITEM_FEATURE = "validateFlowItemFeature"
 	public static val INVALID_FLOW_ITEM_FEATURE_MSG = "Only one item feature is allowed"	
 
+	public static val INVALID_FLOW_END_IS_END = "validateFlowEndIsEnd"
+	public static val INVALID_FLOW_END_IS_END_MSG = "Must be an end feature"
 	public static val INVALID_FLOW_END_OWNING_TYPE = "validateFlowEndOwningType"
 	public static val INVALID_FLOW_END_OWNING_TYPE_MSG = "Flow end not allowed"
 	public static val INVALID_FLOW_END_NESTED_FEATURE = "validateFlowEndNestedFeature"
@@ -555,10 +578,14 @@ class KerMLValidator extends AbstractKerMLValidator {
 		}
 	}
 
-	// @Check
-	// def checkEndFeatureMembership(EndFeatureMembership m) {
-	//    // validateEndFeatureMembershipIsEnd is automatically satisfied
-	// }
+	@Check
+	def checkEndFeatureMembership(EndFeatureMembership m) {
+	    // validateEndFeatureMembershipIsEnd
+	    var ownedMemberFeature = m.ownedMemberFeature
+	    if (ownedMemberFeature !== null && !ownedMemberFeature.isEnd) {
+	    	error(INVALID_END_FEATURE_MEMBERSHIP_IS_END_MSG, ownedMemberFeature, null, INVALID_END_FEATURE_MEMBERSHIP_IS_END)
+	    }
+	}
 
 	@Check
 	def checkFeature(Feature f){
@@ -1026,9 +1053,12 @@ class KerMLValidator extends AbstractKerMLValidator {
 				  ExpressionUtil.isConstructorResult(owningType))) {
 				error(INVALID_PARAMETER_MEMBERSHIP_OWNING_TYPE_MSG, m, SysMLPackage.eINSTANCE.parameterMembership_OwnedMemberParameter, INVALID_PARAMETER_MEMBERSHIP_OWNING_TYPE)
 			}
-
-			// validateParameterMembershipParameterHasDirection is automatically satisfied
 		}
+		// validateParameterMembershipParameterDirection
+		var ownedMemberParameter = m.ownedMemberParameter
+	    if (ownedMemberParameter !== null && ownedMemberParameter.direction != m.parameterDirection) {
+	    	error(INVALID_PARAMETER_MEMBERSHIP_DIRECTION_MSG.replace("{direction}", m.parameterDirection.toString.toLowerCase), ownedMemberParameter, null, INVALID_PARAMETER_MEMBERSHIP_DIRECTION)
+	    }			
 	}
 
 	@Check
@@ -1074,8 +1104,6 @@ class KerMLValidator extends AbstractKerMLValidator {
 		if (!(owningType instanceof Function || owningType instanceof Expression)) {
 			error(INVALID_RETURN_PARAMETER_MEMBERSHIP_OWNING_TYPE_MSG, m, SysMLPackage.eINSTANCE.parameterMembership_OwnedMemberParameter, INVALID_RETURN_PARAMETER_MEMBERSHIP_OWNING_TYPE)
 		}
-
-		// validateReturnParameterMembershipParameterHasDirectionOut is automatically satisfied
 	}
 
 	@Check
@@ -1085,19 +1113,15 @@ class KerMLValidator extends AbstractKerMLValidator {
 		if (!(owningType instanceof Function || owningType instanceof Expression)) {
 			error(INVALID_RESULT_EXPRESSION_MEMBERSHIP_OWNING_TYPE_MSG, m, SysMLPackage.eINSTANCE.parameterMembership_OwnedMemberParameter, INVALID_RESULT_EXPRESSION_MEMBERSHIP_OWNING_TYPE)
 		}
-
-		// validateReturnParameterMembershipParameterHasDirectionOut is automatically satisfied
 	}
 
-	// @Check
-	// def checkReturnParameterMembership(ReturnParameterMembership m) {
-	//     // validateReturnParameterMembershipParameterHasDirection is automatically satisfied
-	// }
-
-	// @Check
-	// def checkCollectExpression(CollectExpression e) {
-	//     // validateCollectExpressionOperator is automatically satisfied
-	// }
+	 @Check
+	 def checkCollectExpression(CollectExpression e) {
+	     // validateCollectExpressionOperator
+	     if (e.operator != "collect") {
+	     	error(INVALID_COLLECT_EXPRESSION_OPERATOR_MSG, e, null, INVALID_COLLECT_EXPRESSION_OPERATOR);
+	     }
+	 }
 
 	@Check
 	def checkFeatureChainExpression(FeatureChainExpression e) {
@@ -1112,7 +1136,10 @@ class KerMLValidator extends AbstractKerMLValidator {
 			error(INVALID_FEATURE_CHAIN_EXPRESSION_FEATURE_CONFORMANCE_MSG, e.ownedMembership.get(1), SysMLPackage.eINSTANCE.membership_MemberElement, INVALID_FEATURE_CHAIN_EXPRESSION_FEATURE_CONFORMANCE)
 		}
 
-		// validateFeatureChainExpressionOperator is automatically satisfied
+		// validateFeatureChainExpressionOperator
+		if (e.operator != ".") {
+			error(INVALID_FEATURE_CHAIN_EXPRESSION_OPERATOR_MSG, e, null, INVALID_FEATURE_CHAIN_EXPRESSION_OPERATOR);
+		}
 	}
 
 	@Check
@@ -1235,15 +1262,21 @@ class KerMLValidator extends AbstractKerMLValidator {
 		}
 	}
 
-	// @Check
-	// def checkSelectExpression(SelectExpression e) {
-	//     // validateSelectExpressionOperator is automatically satisfied
-	// }
-
-	// @Check
-	// def checkIndexExpression(IndexExpression e) {
-	//     // validateIndexExpressionOperator is automatically satisfied
-	// }
+	 @Check
+	 def checkSelectExpression(SelectExpression e) {
+	     // validateSelectExpressionOperator
+	     if (e.operator != "select") {
+	     	error(INVALID_SELECT_EXPRESSION_OPERATOR_MSG, e, null, INVALID_SELECT_EXPRESSION_OPERATOR);
+	     }
+	 }
+
+	 @Check
+	 def checkIndexExpression(IndexExpression e) {
+	     // validateIndexExpressionOperator
+	     if (e.operator != "#") {
+	     	error(INVALID_INDEX_EXPRESSION_OPERATOR_MSG, e, null, INVALID_INDEX_EXPRESSION_OPERATOR);
+	     }
+	 }
 
 	@Check
 	def checkFlow(Flow flow) {
@@ -1254,7 +1287,10 @@ class KerMLValidator extends AbstractKerMLValidator {
 
 	@Check
 	def checkFlowEnd(FlowEnd flowEnd) {
-		// validateFlowEndIsEnd is automatically satisfied
+		// validateFlowEndIsEnd
+		if (!flowEnd.isEnd) {
+			error(INVALID_FLOW_END_IS_END_MSG, flowEnd, null, INVALID_FLOW_END_IS_END)
+		}
 
 		// validateFlowEndNestedFeature
 		if (flowEnd.ownedFeature.size != 1) {

org.omg.sysml.edit/META-INF/MANIFEST.MF

@@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
 Bundle-Name: %pluginName
 Bundle-SymbolicName: org.omg.sysml.edit;singleton:=true
 Automatic-Module-Name: org.omg.sysml.edit
-Bundle-Version: 0.56.0.qualifier
+Bundle-Version: 0.57.0.qualifier
 Bundle-ClassPath: .
 Bundle-Activator: org.omg.sysml.lang.sysml.provider.SysMLEditPlugin$Implementation
 Bundle-Vendor: %providerName