2023-10 - 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 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-08. The subclauses of each document affected by a resolution are tagged in the document with the corresponding issue key and title.
KerML Specification
KERML-12 OCL errors in validateFeatureChainingFeatureNotOne and validateFeatureChainingFeaturesNotSelf
KERML-13 validateRedefinitionFeaturingTypes documentation and constraint are wrong
KERML-17 The OCL for checkFeatureEndRedefinition is wrong
KERML-18 Semantic constraints for subtypes of LiteralExpression are missing
KERML-19 The checkFeatureEndSpecialization constraint should apply to Connectors as well as Associations
KERML-20 Validation constraints are missing in the KerML abstract syntax
KERML-83 OCL errors in specialization constraints
KERML-89 The checkFeatureValuationSpecialization constraint is incorrect
KERML-94 The description of deriveFeatureReferenceExpressionReferent is wrong
KERML-95 validateTypeAtMostOneConjugator OCL is wrong
KERML-96 validateSpecializationSpecificNotConjugated documentation is wrong
KERML-99 deriveMembershipMemberElementId text elementId typo
KERML-100 Namespace Description Textual Errors
KERML-101 NamespaceImport Description Incorrect
KERML-102 OwningMembership Description ownedMemberElement typo
KERML-103 deriveElementIsLibraryElement Typo
KERML-107 validateSpecificationSpecificNotConjugated Typo and over Constraint
KERML-112 deriveTypeOwned TypeRelationship constraints have incomplete OCL
KERML-113 deriveFeatureOwnedSubsetting text references wrong attribute
KERML-115 FeatureMembership Description Typo
KERML-117 deriveTypeFeatureMembership incorrect unioning
KERML-118 deriveFeatureFeaturingType conflicts with owningType
KERML-122 validateClassSpecialization is too strict
KERML-151 deriveFeatureType is not correct
SysML Specification, Part 1: Language
SYSML2-28 Validation constraints are missing in the SysML abstract syntax
SYSML2-39 Graphical BNF production sq-part refers to wrong port
SYSML2-42 Textual production for sq-proxy-label incorrect
SYSML2-43 Graphical BNF sq-message reference incorrect
SYSML2-44 Graphical BNF sq-message-label usage incorrect
SYSML2-45 Graphical BNF interconnection view production incorrect
SYSML2-46 Graphical BNF flow-label and interface-label productions missing
SYSML2-47 Graphical BNF productions missing for connections
SYSML2-62 Incorrect production for attributes-compartment-element
SYSML2-63 Various incorrect Graphical BNF productions
SYSML2-66 Graphical BNF for n-ary connections missing
SYSML2-84 Connection declaration does not allow a feature value
SYSML2-99 Incorrect notation in action examples
SYSML2-101 Time triggers are relative to "localClock", not "defaultClock"
SYSML2-155 Limitation on specifying view renderings
SYSML2-190 The description and derivation of ForLoopActionUsage::seqArgument is wrong
SYSML2-191 deriveForLoopActionUsageBodyAction is misnamed
SYSML2-210 OCL errors in specialization constraints
SYSML2-218 Errors in TransitionUsage semantic constraints
SYSML2-223 Table 38 "Standard View Definitions" redundant
SYSML2-224 Number missing from table listing Standard View Definitions
SYSML2-252 Graphical BNF opaque "text block" productions
SYSML2-253 Additional cases when usages are required to be referential
SYSML2-254 Redundant numbered list in language description of usage
SYSML2-255 Error in textual BNF for MessageDeclaration
SYSML2-261 Error in textual BNF for TargetSuccession
SYSML2-287 sq-port-label and sq-ev-occurrence-label productions use Usage
SYSML2-291 Case View is not a standard view
SYSML2-296 validateFramedConcernUsageConstraintKind constraint is misnamed
SYSML2-298 validateDefinitionVariationMembership and validateUsageVariationMembership are too strict
SYSML2-299 validateDefinitionVariationSpecialization and validateUsageVariationSpecialization OCL is wrong
SYSML2-300 validateDefinitionNonVariationMembership and validateUsageNonVariationMembership are redundant with validateVariantMembershipOwningNamespace
SYSML2-301 validateUsageOwningType constraint is too restrictive
SYSML2-302 validateOccurrenceUsageIndividualDefinition OCL is wrong
SYSML2-306 validateStateDefinitionIsParallelGeneralization and validateStateUsageIsParallelGeneralization constraints are too restrictive
SYSML2-312 Typo: Table 19 - requirres
SYSML2-319 Wrong line style on action flow succession
SYSML2-321 Nesting port symbols should use rounded rectangles
SYSML2-322 Nesting parameter symbols should use rounded rectangles
SYSML2-325 Wrong compartment name: documentation
SYSML2-328 Incorrect private keyword notation
SYSML2-330 Incorrect entry name representative notation
SYSML2-332 Incorrect example "Variant Membership"
SYSML2-334 Incorrect example "Relationships Compartment"
SYSML2-335 Incorrect keyword in example "Attributes Compartment"
SYSML2-336 Incorrect notation in example "Individual Occurrence"
SYSML2-338 Incomplete example "Occurrences Compartment"
SYSML2-339 Unnecessarily complicated examples "Timeslices Compartment" and "Snapshots Compartment"
SYSML2-340 Examples "Timeslices Compartment" and "Snapshots Compartment" incorrectly declare state feature
SYSML2-341 Compartments still show nested feature notation
SYSML2-342 Misleading port name in example "Part with Ports"
SYSML2-343 Mistake in example "Part performs a reference action (action1) that references ..."
SYSML2-344 Missing «perform action» in example "Part with Graphical Compartment with perform actions ..."
SYSML2-345 Incorrect inherited notation in example "Connection"
SYSML2-348 Incorrect item flow notation in example "Message"
SYSML2-356 The OCL for the body of ConstraintUsage::namingFeature is incorrect
SYSML2-398 TransitionUsage effectAction attribute text and constraint are different
SYSML2-414 checkTransitionUsageSourceBindingConnector text and OCL are different
SYSML2-424 WhileLoopsActionusage title typos
SYSML2-425 LoopActionUsage descriptions refer to property not in metamodel
SySML Specification, Part 2: SysML v1 to v2 Transformation
SYSML2-180 Mapping of UML4SysML::InformationFlow between definition elements is not supported
SYSML2-221 UML4SysML::Activities and StateMachines owned by blocks should be mapped to definition elements
SYSML2-228 Helpers::activityOwnedRelationships mixes up FinalNodes and FlowFinalNodes
SYSML2-229 ControlFlowSuccessionAsUsage_Mapping uses non-existing mapping class
SYSML2-232 TIAOperatorExpression_Mapping uses non-existing mapping class EqualOperatorExpressionOperand_Mapping
SYSML2-234 RSFAReferenceUsageFeatureMembership_Mapping uses non-existing mapping class
SYSML2-236 Resolution of approved issue SYSML2-23 uses outdated mapping classes
SYSML2-238 ObjectFlows targeting a final node or a activity parameter node cannot be mapped
SYSML2-240 TestCaseActivity_Mapping uses non-existing mapping classes
SYSML2-244 RVVAVariable_Mapping uses CommonAssignmentActionOwningMembership_Mapping, but should be a factory class
SYSML2-246 AEAParameterMembership_Mapping::ownedMemberParameter cannot return OclUndefined
SYSML2-248 CreateLinkObjectAction_Mapping should specialize CreateLinkAction_Mapping
SYSML2-250 Typo in AEAReceiverFeatureValue_Mapping::value()
SYSML2-258 Mapping of allocation between usage and definition or definition and usage elements does not work
SYSML2-278 UntypedPin_Mapping redefines operation without any changes
SYSML2-304 Mapping of ActivityEdge does not consider ActivityParameterNodes
SYSML2-412 SYSML2-180 uses non-existing general mapping class GenericToItemUsage_Mapping
SYSML2-416 Description of ChangeEvent_Mapping is a note
SYSML2-418 Description of TimeEvent_Mapping is a note
SYSML2-420 InformationFlow mapping classes should use GenericTo mapping classes
SYSML2-432 Part properties with AggregationKind::none or shared are not mapped to PartUsage with isComposite=false
SYSML2-437 The transformation specification does not explicitly specify how to map a ValueType
SYSML2-439 UML4SysML::Class should be mapped to ItemDefinition
SYSML2-441 Change the table header of the overview tables in the mapping class specification chapters
SYSML2-443 Property_Mapping should map to ItemUsage and the class name is misleading
SYSML2-446 Document how SysML v1 properties are mapped to SysML v2
Systems Modeling API and Services Specification
SYSMOAS-5 Filtering commit differences by change type
SYSMOAS-6 Filtering commit changes by change type