KerML 1.1b1 RTF Avatar
  1. OMG Issue

KERML11 — SendNode production in EBNF is incorrect

Open Closed All
  • Key: KERML11-193
  • Status: open  
  • Source: Boeing ( Mr. Greg Kimberly)
  • Summary:

    [Note this belongs in the SysML board, but for some reason it won't let me put it in there...]
    In the SysML-textual-bnf.kebnf (and in the spec on page 182) the SendNode grammar production

    SendNode : SendActionUsage =
    OccurrenceUsagePrefix ActionUsageDeclaration? 'send'
    ( ownedRelationship += NodeParameterMember SenderReceiverPart?

    ownedRelationship += EmptyParameterMember SendReceiverPart )?
    ActionBody

    is incorrect as it will not support the parsing of constructs such as the one in the examples - specifically ActionTest.sysml in SysML-v2-Release-master.2026-02\sysml\src\examples\Simple Tests\ and its construct fragment

    action a2 {
    in s : S;
    action aa

    { out part target; }

    flow aa.target to snd.receiver;
    action snd send

    { in :>> payload = s; }

    will fail at "action snd send"
  • Reported: SysML 2.0 — Wed, 1 Apr 2026 23:36 GMT
  • Updated: Wed, 1 Apr 2026 23:42 GMT
  • Attachments: