Prefix metadata (`#FailureMode state s;`) is missing from both the Symbol API and the query API, although api-json exports it as an owned MetadataUsage

未关闭
#1,963 2 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 1 天内回复

@devin-ai-integration 已经在做这个了。

开始于 2026年11月5日。

  • #1978 来自 @devin-ai-integration —— 未关闭

评估

难度
4/5
预计耗时
3-5 天
新手友好度
35/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
停滞
技术栈
go, python
领域
api

调研方向

Start with the attached repro.py and model.sysml.txt, then trace how prefix metadata is represented in the Symbol API and query API; the issue identifies SymbolInfo.child_ids, Symbol.children(), and model.query(scope=[…]) as the failing routes. Compare those results with the api-json owned MetadataUsage and reflection output in the reproduction. Done means prefix metadata appears through both APIs like body-form metadata; the linked pull request #1978 is already open.

由索引模型根据 Issue 内容生成。

描述

bug spec compliance

This issue was written with AI help. The model, the reproduction script and its output are
attached and were run against the version below.

What happened, and what you expected instead

A state and an action input are annotated with prefix metadata:

#FailureMode state overheated;
action pumpFluid {
    in #FailureMode pressure : ScalarValues::Real;
}

Neither the Symbol API nor the query API reports the annotation:

Route PumpStates::overheated / pumpFluid::pressure
SymbolInfo.child_ids []: the annotation is not listed at all
Symbol.children() []
model.query(scope=[…]) nothing besides the element itself
api-json export an owned MetadataUsage (…overheated___400, owner = the state, annotatedElement = the state) ✔
reflection, model.eval("X meta FailureMode") the annotation ✔

The prefix form is an owned member like the body form. SysML v2.1 Beta 2, §8.2
(UsageExtensionKeyword, DefinitionExtensionKeyword):

UsageExtensionKeyword : Usage =
    ownedRelationship += PrefixMetadataMember

PrefixMetadataMember : OwningMembership =
    '#' ownedRelatedElement = PrefixMetadataUsage

So #FailureMode state overheated; and state overheated { @FailureMode; } should give the same
structure: a MetadataUsage owned by the state that annotates it. OpenSysML's api-json export
already writes it that way.

Expected: the prefix MetadataUsage is listed in child_ids / children() and by
model.query(scope=[…]), exactly as the body form is. The body form is listed by the query
API today, but children() drops it because it is unnamed (#1960). A client that collects the
elements carrying a given annotation (for example, every state marked as a failure mode) cannot
find prefix-annotated ones through either API.

Related: #643 (fixed by #662) made model.query() return MetadataUsage elements, and it does
so for the body form. The prefix form appears to be a case that fix did not reach.

Reproduction
$ python repro.py          # loads model.sysml with opensysml.loads() over sysml-grpc
## PumpStates::overheated (stateUsage, # prefix metadata)
[BUG ] PumpStates::overheated: Symbol.children() lists the MetadataUsage
       observed: []
[INFO] PumpStates::overheated: SymbolInfo.child_ids
       observed: []
[BUG ] PumpStates::overheated: model.query lists the MetadataUsage
       observed: []
[INFO] PumpStates::overheated: api-json exports an owned MetadataUsage
       observed: ['MetadataAnnotations__Pump__PumpStates__overheated___400']
[INFO] PumpStates::overheated: reflection finds it: X meta FailureMode
       observed: [InstanceRef(id=1)]

## pumpFluid::pressure (referenceUsage, # prefix metadata)
[BUG ] pumpFluid::pressure: Symbol.children() lists the MetadataUsage
       observed: []
[INFO] pumpFluid::pressure: SymbolInfo.child_ids
       observed: []
[BUG ] pumpFluid::pressure: model.query lists the MetadataUsage
       observed: []
[INFO] pumpFluid::pressure: api-json exports an owned MetadataUsage
       observed: ['MetadataAnnotations__Pump__pumpFluid__pressure___400']

## PumpStates::stalled (stateUsage, named metadata)
[OK  ] PumpStates::stalled: Symbol.children() lists the MetadataUsage
       observed: [('metadataUsage', 'MetadataAnnotations::Pump::PumpStates::stalled::fm')]
[OK  ] PumpStates::stalled: model.query lists the MetadataUsage
       observed: [('MetadataUsage', 'MetadataAnnotations::Pump::PumpStates::stalled::fm')]

model.sysml:
package MetadataAnnotations {
    metadata def FailureMode {
        attribute severity : ScalarValues::Integer;
    }

    part def Pump {
        state def PumpStates {
            entry; then idle;
            state idle;
            state jammed { @FailureMode { severity = 3; } }     // body form, unnamed
            #FailureMode state overheated;                       // prefix form
            state stalled { metadata fm : FailureMode; }         // body form, named (for contrast)
        }

        action pumpFluid {
            in flowRate : ScalarValues::Real { @FailureMode { severity = 2; } }  // body form, unnamed
            in #FailureMode pressure : ScalarValues::Real;                        // prefix form
        }
    }
}

The same script also shows the body-form annotations (jammed, flowRate) missing from
children(), which is #1960.

Reproduction files (attached)
File Contents
model.sysml.txt the model above (GitHub does not accept .sysml uploads): rename it to model.sysml next to repro.py
repro.py loads model.sysml with opensysml.loads() and, for each annotated element, checks children(), child_ids, model.query, the api-json export and reflection. Each check prints OK, BUG or INFO, and the script exits 1 while any BUG reproduces.
_common.py shared helper the script imports: starts the sysml-grpc named by $OPENSYSML_BINARY, prints the server and client versions, and formats the checks
output.txt the full output of the run reported here

model.sysml.txt

repro.py

_common.py

output.txt

To run it, put _common.py in the parent directory of the folder holding repro.py and the model,
install the client (pip install -e client/python from an OpenSysML checkout), and point
OPENSYSML_BINARY at a sysml-grpc build:

$ OPENSYSML_BINARY=/path/to/OpenSysML/bin/sysml-grpc python repro.py

Without OPENSYSML_BINARY, _common.py assumes an OpenSysML checkout next to the directory
that holds _common.py, with bin/sysml-grpc built by make build-grpc.

Version

sysml-grpc v0.12.0-262-gc86932321 (develop at c86932321), opensysml Python client 0.12.0, Python 3.13.15

Surface

Python client (opensysml)

主要语言
Go
星标
56
派生
17
平均合并
12 小时 21 分钟
30 天内合并 PR
900

环境准备

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

Open-MBEE/OpenSysML 的其他 Issue

查看 Open-MBEE/OpenSysML 的全部 Issue

相似的 Issue

更多 Go Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。