2023-08 - SysML v2 Release
Pilot Implementation
This is an incremental installation release of the pilot implementation of the SysML v2 language, API and services. The language pilot implementation includes bug fixes in this release. Release notes are available at
The API and Services implementation is still unchanged from 2023-02.
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 is the first release that includes updates to the Beta 1 specification documents corresponding to issue resolutions approved by the KerML, SysML v2 and Systems Modeling API and 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. Document subclauses affected by a resolution are tagged with the corresponding issue key and title.
KerML Specification
KERML-14 validateItemFlowItemFeature documentation is wrong
KERML-15 Names validatePackageFilterIsBoolean and validatePackageFilterIsModelEvaluable are wrong
KERML-16 Rename validateDatatypeSpecialization to validateDataTypeSpecialization
KERML-30 List of symbols incomplete
KERML-31 Typo in Grammar
KERML-59 KerML 7.4.7.2 Behavior Declaration: last example
KERML-60 7.4.1 Kernel Overview: Occurence instead of Object superclass
KERML-64 Typo in 7.4.7.2
KERML-65 Typo in description of Connector::targetFeature
KERML-78 Some Feature constraints have no description
KERML-80 Incorrect OCL for validateFeatureChainingFeatureNotOne and validateFeatureChainingFeaturesNotSelf
SysML Specification, Part 1: Language
SYSML2-54 Error in InterfaceUsage semantics subclause
SYSML2-78 The .project.json file for the Cause and Effect Domain Library is misnamed
SYSML2-81 Association end name " /usageWithDirectedUsage" has a typo
SYSML2-92 Packages can also have compartments
SYSML2-103 Editoral corrections in 7.16.11
SYSML2-153 Error in assert constraint example
SYSML2-156 Errors in textual BNF for RequirementDefinition and ConcernDefinition
SYSML2-157 Incorrect font in descriptions of AttributeUsage and TransitionUsage
SySML Specification, Part 2: SysML v1 to v2 Transformation
SYSML2-1 "Elements not mapped" table sections are empty
SYSML2-2 ItemFlowEnds of ObjectFlow transformation target are not defined correctly
SYSML2-4 Transformation of UML4SysML::AddVariableValueAction is not correct
SYSML2-5 UntypedPin_Mapping::filter: property src should be from
SYSML2-7 Pin_Mapping::filter: property src should be from
SYSML2-14 UML4SysML::ClearVariableAction transformation does not include a ReturnParameter
SYSML2-16 Subsections for mapping classes in section 7.7.2.3.9 should be ordered alphabetically
SYSML2-19 REAOutputPin_Mapping should specialize OutputPin_Mapping
SYSML2-23 Transformation of UML4SysML::AddStructuralFeatureValueAction is not correct
SYSML2-88 Mapping of allocation between usage elements is not specified yet
SYSML2-171 Optimize Pin mapping class generalization hierarchy
SYSML2-173 Mapping of ValueSpecificationActions does not work for untyped pins
SYSML2-174 EmptyReturnParameterFeatureMembership_Mapping does not exist
SYSML2-178 ClassifierBehaviorFeatureMembership_Mapping does not exist
SYSML2-189 ControlFlowSuccessionAsUsage_Mapping uses non existing mapping class ActivityEdgeInitialNodeSourceEndFeatureMembership_Mapping
SYSML2-193 ControlFlowSuccessionAsUsage_Mapping uses non existing mapping class
SYSML2-195 GenericToEndFeatureMembership_Mapping::to property redefines itself
SYSML2-197 ControlFlow target SuccessionAsUsage should have end feature with reference subsetting
SYSML2-200 Description of Subsetting mapping classes is not correct
SYSML2-202 Filter for mapping class Behavior_Mapping is useless
SYSML2-204 Mapping of SysMLv1::ItemFlow does not consider the itemProperty
SYSML2-208 A ConnectionUsage should be owned by a FeatureMembership relationship
SYSML2-211 Introduce GenericToTransitionUsage_Mapping class
SYSML2-213 Typo in section 7.6.3 and section 7.6.4: mappingsto
SYSML2-215 ControlFlow transformation target ends are not defined correctly
Systems Modeling API and Services Specification
SYSMOAS-1 missing and superfluous properties