Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

API JSON: `verify`, flow ends, message ends and a transition's `then` use other metaclasses than the grammar

Đã đóng
  • Có gì không ổn?
#651 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

Maintainer thường phản hồi trong vòng 1 ngày

Chưa có ai nhận issue này.

Đánh giá

Độ khó
4/5
Thời gian dự kiến
3-5 ngày
Mức phù hợp với người mới
52/100
Loại issue
Lỗi
Độ rõ ràng
Khá rõ ràng
Mức độ hoạt động
Sôi nổi
Công nghệ
go
Lĩnh vực
api, backend-api-design

Hướng nghiên cứu

Start with the sysml -convert api-json <file> entry point and reproduce the four examples with sysml -validate; compare each exported metaclass with the grammar references in the issue. Read rdf-mapping.md:1548 for the existing verify mapping, then verify that the API output matches the listed grammar constructs for verification, flow ends, message events and transition succession.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Mô tả

sysml -convert api-json <file> on develop (72081f8). Each file below validates cleanly in sysml -validate and in SysIDE 0.10.3.

Source Exported Grammar (SysML-textual-bnf)
verification def T { objective { verify r; } } FeatureMembership owning a SatisfyRequirementUsage (sysx:declaredKeyword "verify") RequirementVerificationMembership owning a RequirementUsage (:1551-1557)
flow of Fuel from a.p.fuel to b.p.fuel; each end a ReferenceUsage with isEnd EndFeatureMembership owning a FlowEnd (:864-869)
message m from a to b; each end a ReferenceUsage under an EndFeatureMembership ParameterMembership owning an EventOccurrenceUsage (:823-827)
transition t first a then b; TransitionUsage with source/target set; it owns no Succession OwningMembership owning a Succession (TransitionSuccessionMember, :1340-1344)

The examples, one file each:

package V {
    requirement r;
    verification def T { objective { verify r; } }
}

package F {
    item def Fuel;
    port def P { out item fuel : Fuel; }
    part a { port p : P; }
    part b { port p : ~P; }
    flow of Fuel from a.p.fuel to b.p.fuel;
}

package M {
    part a;
    part b;
    occurrence def Talk { message m from a to b; }
}

package T {
    state def S {
        state a;
        state b;
        transition t first a then b;
    }
}

Why it matters for a consumer of the API form: a verify is read as a satisfaction, which a verification report must keep apart, and code that finds flow ends, message events or a transition's succession by metaclass finds none.

rdf-mapping.md:1548 calls verify a synonym of satisfy. In a requirement body the grammar gives it its own membership (:1551), so it isn't one there.

Ngôn ngữ chính
Go
Star
24
Fork
5
Merge trung bình
10 giờ 11 phút
Pull request đã merge (30 ngày)
572

Chuẩn bị môi trường

Bắt đầu từ đâu

  1. Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
  2. Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
  3. Fork repository và làm thay đổi trên một nhánh.
  4. Mở pull request có tham chiếu số hiệu của issue.

Issue khác của Open-MBEE/OpenSysML

Tất cả issue của Open-MBEE/OpenSysML

Issue tương tự

Thêm issue về Go

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.