Skip to content

ST6RI-929 KerML 1.1 Ballot #2 - Model Library#757

Open
seidewitz wants to merge 3 commits into
masterfrom
ST6RI-929
Open

ST6RI-929 KerML 1.1 Ballot #2 - Model Library#757
seidewitz wants to merge 3 commits into
masterfrom
ST6RI-929

Conversation

@seidewitz
Copy link
Copy Markdown
Member

@seidewitz seidewitz commented May 22, 2026

This PR updates the KerML library model files Transfer::isInstant and Collections per the resolutions to the following issues approved on KerML 1.1 RTF Ballot 2. Note that both issues primarily require updates to documentation, except as noted below.

  • KERML11-9 Typo in documentation of Transfer::isInstant
  • KERML11-144 Discrepancy between documentation of Collections library in spec and textual notation file
    Note. The resolution to this issue includes two functional changes to Collections.kerml:
    1. Added an invariant to Map.
    2. Added specialization of OrderCollection to OrderedMap.

The resolution to the following issue also approved on Ballot 2 was already proactively implemented in PR #660 (ST6RI-859).

  • KERML11-2 Occurrences::surroundedByOccurrences::surroundingSpace should not be an end feature

@seidewitz seidewitz added this to the 2026-05 milestone May 22, 2026
@seidewitz seidewitz self-assigned this May 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant