2023-11 - SysML v2 Release
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 pilot implementation 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.
NEW. For the first time, this release includes XMI versions of the standard model libraries, in the sysml.library.xmi directory. Note that these 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.
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 updates to the Beta 1 specification documents corresponding to issue resolutions approved to date 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, in addition to those included previously in release 2023-10. The subclauses of each document affected by a resolution are tagged in the document with the corresponding issue key and title.
KerML Specification
KERML-38 Binary association ends always unique
KERML-42 Occurrences can be data values
KERML-43 Performances can be objects, behaviors can be structures
KERML-56 Universal features can have many values
KERML-77 Problems with IfThenElsePerformance
KERML-88 BaseFunctions::',' has a bad parameter declaration
KERML-175 Natural unnecessary explicit general type declaration
KERML-176 Base Overview Typo
KERML-177 Legacy, so incorrect, wording in Anything Description
KERML-178 Anything.self subsetting Inconsistent declaration with Base.kerml declaration
KERML-180 Occurrences Overview Typo
KERML-182 Update Kernel Semantic Library for validateRedefinitionDirectionConformance constraint
KERML-184 Update Kernel Model Libraries for validateFeatureValueOverriding constraint
KERML-186 Update semantic model of invariants for validateExpressionResultExpressionMembership constraint
KERML-188 DataFunctions::Min and Max should not be capitalized
KERML-195 Transfer sourceOutput and targetInput directions
KERML-198 Wrong documentation format for class Occurrence in Semantic Library
KERML-227 Documentation of features in Transfers library model is wrong
SysML Specification, Part 1: Language
SYSML2-68 Graphical notation for nested reference usage needs resolution
SYSML2-79 View::viewpointSatisfactions should subset viewpointChecks and checkedConstraints
SYSML2-83 Narrow down return types of SpatialItem::PositionOf and ::CurrentPositionOf
SYSML2-102 Semantic constraint for target of AssignmentActionUsage is missing
SYSML2-219 Action::decisionTransitions should subset Action::transitions
SYSML2-295 Causation end features need to redefine source and target
SYSML2-305 Message and flow connection ends should be occurrence usages
SYSML2-331 Incomplete textual notation in example "Subsetting"
SYSML2-333 Incomplete textual notation in example "Variants Compartment"
SYSML2-346 Incorrect notation in example "Binding Connection"
SYSML2-349 Incorrect item flow notation in example "Interface as Node"
SYSML2-350 Incomplete flow notation in example "Flow as Node"
SYSML2-378 Sample::calculation has an incorrect type
SYSML2-452 misspelled ConjugatePortTyping should be ConjugatedPortTyping
SYSML2-453 Text error in List property construction
SYSML2-454 PrefixComment should not be a production for AnnotatingElement
SYSML2-457 Missing graphical BNF production for keyword extension using #key word in guillemet in compartments
SYSML2-458 Missing production for connections with an edge on one or both ends
SYSML2-467 RequirementConstraintUsage should not have a RequirementBody
SYSML2-468 binding connector production overly constraining
SYSML2-488 Constraints missing to enforce variations being abstract
SYSML2-490 Actions::acceptSubactions and sendSubactions should subset acceptActions and sendActions
SYSML2-491 KerML constraint requires updates to Systems Library models
SYSML2-492 KerML constraint requires updates to Domain Library models
SYSML2-495 Textual notation BNF for TriggerExpression is wrong
SYSML2-497 validateTriggerInvocationExpressionAfterArgument constraint is too strong
SYSML2-498 validateTriggerInvocationExpressionWhenArgument constraint is wrong
SYSML2-500 The derivation of AssignmentActionUsage::referent is wrong
SySML Specification, Part 2: SysML v1 to v2 Transformation
SYSML2-139 Transformation does not cover SysMLv1::~InterfaceBlock
SYSML2-280 ElementMain_Mapping::ownedRelationship is wrong
SYSML2-459 Resolution of approved issue SYSML2-241 is not considered by merged issue SYSML2-240
SYSML2-509 Remove sentence in Classification overview section
SYSML2-511 Remove sentence in StateMachines overview section
SYSML2-513 Missing text in some main mapping sections
Systems Modeling API and Services Specification
SYSMOAS-17 DataVersion::payload multiplicity