Skip to content

2024-01 - SysML v2 Release
Compare
Choose a tag to compare
@seidewitz seidewitz released this 07 Feb 22:59
· 9 commits to master since this release
2024-01
2c400a9

Pilot Implementation

This is an incremental installation release of the pilot implementation of the SysML v2 language, API and services. Release notes are available at

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 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-11. The subclauses of each document affected by a resolution are tagged in the document with the corresponding issue key and title.

KerML Specification

KERML-7 isDirected, definition, semantics
KERML-21 Add a property for Annotations owned by an AnnotatingElement
KERML-24 Connector declaration does not allow a feature value
KERML-25 Reflective KerML abstract syntax model has inconsistencies
KERML-39 Link participant feature called an association end
KERML-44 Spatial links can be occurrences
KERML-49 Some readonly features are intended to have changing values
KERML-54 Subsetting::/owningType is mandatory
KERML-61 PrimaryExpressionMember production should generate a ParameterMembership
KERML-75 Specify default direction for the ownedParameterMember of a ParameterMembership
KERML-90 The MetadataFeature::metaclass multiplicity is too restrictive
KERML-104 Type Membership Multiplicity text conflict
KERML-105 Car necessary and sufficiency example
KERML-106 Protected membership inheritance through Specialization type
KERML-108 Conjugation Textual Redundant Word
KERML-109 Textual Syntax allows multiple ConjugationParts on a Type
KERML-111 Disjoining textual notation typo on disjoiningType
KERML-114 FeatureDeclaration ConjugationPart lexical element incorrect reference
KERML-138 oclAsType applied to resolveGlobal
KERML-139 OclisKindOf applied to Namespace::resolve()
KERML-154 Directed features inherited from a conjugated type not handled properly
KERML-155 Expression::result has an incorrect subsetting
KERML-158 InsideOf association end feature redefines cross feature
KERML-161 Misspelling
KERML-167 Typo in Conjugation Description
KERML-169 Feature isDerived metaproperty Typo
KERML-170 checkFeatureSubobjectSpecialization incorrect Font
KERML-171 Feature Chain relationships are inconsistent with the concrete syntax
KERML-172 ClassifierDeclaration concrete syntax typo
KERML-173 Classifier Description Typo
KERML-179 checkAssociationStructureSpecialization invalid reference
KERML-181 Model Interchange Overview Typo
KERML-189 non-terminal does not exist in the specification
KERML-190 OwnedExpression missing ConditionalBinaryOperatorExpression
KERML-191 Comment textual syntax defined differently to implementation
KERML-194 validateRedefinitionDirectionConformance does not account for conjugation
KERML-199 validateMultiplicityRangeBoundResultTypes constraint is too strong
KERML-200 Annex A (Model Execution) minor errors
KERML-204 Behavior portions must be classified by the same behavior they are portions of
KERML-231 LinkObject disjointness is redundant
KERML-232 Additional problems with deriveFeatureType
KERML-236 Association SourceType Cardinality Contradiction
KERML-237 Link Participant Plurality Typo in OCL
KERML-239 SelfLink::thatThing does not exist in Links Model Library
KERML-240 Typo in Multiplicities Overview
KERML-241 Typo in Multiplicity Ranges Semantics
KERML-242 Typo in checkAssociationBinarySpecialization OCL
KERML-248 Error in Expression modelLevelEvaluable operation OCL
KERML-249 Typo in Function Abstract Syntax Description
KERML-250 Typo in Function Declaration Overview

SysML Specification, Part 1: Language

SYSML2-59 Inconsistent graphical notation for succession, message and flow edges
SYSML2-80 Reflective SysML abstract syntax model has inconsistencies
SYSML2-182 Universal features can have many values
SYSML2-226 Incorrect reference to SysML v1 to SysML v2 Transformation
SYSML2-318 Adornments on ends missing in graphical syntax
SYSML2-430 Subsetting of subjectParameter properties is wrong
SYSML2-480 Missing production for use case actors and subject
SYSML2-499 Assignments parsed without a target will fail validateAssignmentActionUsageArguments
SYSML2-529 OCL for deriveViewDefinitionViewCondition and deriveViewUsageViewCondition are wrong
SYSML2-552 Errors in the TradeStudy domain model
SYSML2-554 Enumeration definitions VerdictKind and VerificationMethodKind are missing from specification document
SYSML2-556 Typos in Quantities and Units Domain Library
SYSML2-558 checkStateUsageSpecialization constraint is incorrect
SYSML2-560 Add note on FlowFeature direction to textual notation grammar
SYSML2-572 Need to remove action control nodes from Statemachines GBNF productions
SYSML2-597 checkFlowConnectionUsageSpecialization is too restrictive about FlowConnections
SYSML2-599 Wrong production for adding state-def as a definition node
SYSML2-611 OCL rule deriveDefinitionOwnedFlow references non-existent class called FlowUsage
SYSML2-612 OCL rule deriveUsageNestedFlow references non-existent class called FlowUsage
SYSML2-616 User-defined keywords are not allowed on control nodes
SYSML2-620 Textual notation production for Comment is wrong
SYSML2-626 Incorrect textual notation for TextualRepresentation

SySML Specification, Part 2: SysML v1 to v2 Transformation

SYSML2-227 Subsections of section 7.7.2.3.7 should be ordered alphabetically
SYSML2-564 Mapping tables in the overview sections show duplicates in the SysML v2 column
SYSML2-566 Section containing tables about elements not mapped should get an introductory text
SYSML2-569 Rename ~InterfaceBlock_Mapping

Systems Modeling API and Services Specification

None.

Assets 2
Loading