Pilot Implementation
This is an incremental installation release of the pilot implementation of the SysML v2 language, API and services. Release notes for the language and API pilot implementations are available at
The API Cookbook is still unchanged from 2024-02.
The release also includes both textual notation and XMI versions of the standard model libraries, in the sysml.library and sysml.library.xmi directories. Note, however, that the XMI files use an Eclipse XMI representation (.kermlx and .sysmlx representations) that is not fully normative OMG XMI. The XMI has been exported without derived property values or implied relationships.
To install, download and decompress one of the files below and follow the instructions in the README file.
NOTE. Even though the files below are labeled "Source code", they simply contain the entire compressed contents of this repository. They do not actually include the pilot implementation source code, which is maintained in separate development repositories.
Issue Resolutions
This release includes Beta 2.4 versions of the specification documents, which update the published Beta 2 versions with issue resolutions approved in the ballots of the second SysML v2 and System Modeling API & Services Finalization Task Forces (FTFs). Note, however, that these resolutions must be considered preliminary until the FTFs complete and their reports are approved by the OMG.
Resolutions to the following issues are included in this release. The subclauses of each document affected by a resolution are tagged in the document with the corresponding issue key and title. In addition, the doc/changes directory includes PDF cumulative comparison documents between the Beta 2.4 and published Beta 2 versions of the specification documents.
KerML Specification
KERML_-8 Type union, intersection, difference semantics
KERML_-18 Redundancy in association end multiplicities, ordering, and uniqueness
KERML_-32 Association ends can have more than one type
KERML_-39 Type::inheritedMemberships OCL is missing
KERML_-68 deriveExpressionResult and deriveFunctionResult should be revised
KERML_-72 Editorial errors in constraints
KERML_-88 Problem with the property name "targetFeature"
KERML_-90 Problem with validateImportTopLevelVisibility constraint
KERML_-92 Interpretation function co-domain expressed incorrectly
KERML_-94 Interpretation 3-tuple described as 2-tuple
KERML_-99 CheckFeatureChainExpressionResultSpecialization constraint needs to be defined
KERML_-115 Error in specification of library model UUIDs
KERML_-117 InvocationExpression::result specialization
KERML_-119 Navigability of AnnotatingElement<->Annotation meta-association
KERML_-121 Incorrect metadata example
KERML_-140 MultiplicityRanges should allow owned members other than bounds
SysML Specification, Part 1: Language
SYSML2_-15 Graphical BNF production proxy should be contextualized
SYSML2_-39 Semantics of transfers across interfaces
SYSML2_-40 Port transfer semantics
SYSML2_-89 Accepters on transition usages from entry actions
SYSML2_-108 Various constraints need to take feature chaining into account
SYSML2_-159 Textual notation for send actions is too limited
SYSML2_-173 Flow connections are incorrectly both structure and behavior
SYSML2_-224 State machine graphical notation for entry/exit/do actions inconsistent
SYSML2_-226 Description and examples for message notation are wrong
SYSML2_-260 Accept action in representative notation tables is confusing and needs cleanup
SYSML2_-263 There is no checkSatisfyRequirementUsageSpecialization constraint
SYSML2_-265 Missing semantic constraints related to features of Part
SYSML2_-268 Incorrect declaration of parameters on actions
SYSML2_-294 Send action examples in representative notation tables wrong
SYSML2_-304 Diagram frame production not properly integrated into graphical BNF
SYSML2_-351 Incorrect graphical notation for parameters with nested items in example "Flow as Node"
SYSML2_-354 Not possible to show inherited symbol in name compartment
SYSML2_-362 Alignment of selected graphical symbols in states and actions.
SYSML2_-366 No else branch for a decision node
SYSML2_-367 Mistakes in various occurrence examples
SYSML2_-368 Graphical notation examples violate GBNF and contain typo
SYSML2_-378 Entry, do and exit actions compartment should be named "state actions"
SYSML2_-389 Incorrect graphical BNF production item-name-compartment
SYSML2_-394 deriveItemUsageItemDefinition is incorrect
SYSML2_-416 Cross features for connection definitions and connection usages
SYSML2_-426 VerificationKind should be VerificationMethodKind
SysML Specification, Part 2: SysML v1 to v2 Transformation
SYSML2_-76 Transformation does not cover SysMLv1::FlowProperty
SYSML2_-370 Mapping class description AEAChangeParameterFeatureMembership_Mapping is missing
SYSML2_-372 ValuePin_Mapping is not correctly specified
SYSML2_-374 COAPin_Mapping is not correctly specified
SYSML2_-376 Specification of Helper::getScalarValueType() uses unknown OCL function
SYSML2_-382 Subclause 7.7.5.3.7 Trigger_Mapping is empty
SYSML2_-385 The operation RICOAOutputPin_Mapping::filter() should redefine Pin_Mapping::filter()
SYSML2_-424 Adopted resolution SYSML2_-403 has impact on the v1 to v2 Transformation
Systems Modeling API and Services Specification
SYSMOAS_-8 humanIdentifier attribute is missing in API JSON schema for Commit entity
SYSMOAS_-55 wrong multiplicity on DataVersion
SYSMOAS_-68 Definition ExternalData is unclear
SYSMOAS_-69 Does Project own queries