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.1 versions of the specification documents, which update the published Beta 2 versions with issue resolutions approved in the first ballots of second KerML and SysML v2 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. The SysML v1 to v2 Transformation and Systems Modeling API and Services specifications have not been updated in this release.
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.
KerML Specification
KERML_-37 Add derived property for targetFeature
KERML_-52 Semantic constraint needed for result type of a "constructor" expression
KERML_-61 Incorrect binding syntax in Feature Values Semantics
KERML_-63 FeatureIdentificationProduction is incorrect
KERML_-65 isOrdered and isUnique are missing from the reflective abstract mapping
KERML_-67 Invocation of a non-function behavior
KERML_-70 The OCL for isFeaturedWithin is still not correct
KERML_-73 Disallow public imports at root level]
KERML_-74 Make imports private by default
KERML_-75 Restrict the functionality of recursive import
SysML Specification, Part 1: Language
SYSML2_-11 Missing explicit explanation of compartments as views
SYSML2_-18 No support for metadata definition in graphical notation
SYSML2_-177 Guillemets should not be used on keywords in textual notation snippets used in the graphical notation
SYSML2_-183 checkStateUsageExclusiveStateSpecialization and checkStateUsageSubstateSpecialization have problems
SYSML2_-184 StateAction::substates has an implied subsetting of exclusiveStates
SYSML2_-187 There is no need for AnalysisAction
SYSML2_-189 Incorrect enumeration example
SYSML2_-191 Error in the specification of "connections"
SYSML2_-202 Missing guidance on highlighting keywords
SYSML2_-207 Update language description and concrete syntax related to imports
SYSML2_-209 isOrdered and isUnique are missing from the reflective abstract mapping
SYSML2_-212 Inconsistencies in the graphical notation for "expose"
SysML Specification, Part 2: SysML v1 to v2 Transformation
None.
Systems Modeling API and Services Specification
None.