sysml

package
v0.9.0 Latest Latest
Warning

This package is not in the latest version of its module.

 Go to latest Published: Nov 4, 2026 License: MIT Imports: 21 Imported by: 0

Documentation

Overview

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

ENGMODEL-OWNER-UNIT: FU-SYSML-EXPORTER

Index

Constants

This section is empty.

Variables

This section is empty.

Functions

func CompareV2RoundTrip 

func CompareV2RoundTrip(expected, actual model.SemanticModel) []string

CompareV2RoundTrip reports differences in stable identity, ownership, relationships, expressions, references, and typed extensions.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func GenerateV2Projection 

func GenerateV2Projection(semantic model.SemanticModel) (string, []model.SemanticDiagnostic)

GenerateV2Projection renders a pre-built semantic graph. Missing rendering rules are errors; official concepts are never replaced by a generic item declaration.

TRLC-LINKS: REQ-EMG-036 ENGMODEL-LINKS: FU-SYSML-EXPORTER, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL

func ImportV2Project 

func ImportV2Project(sourcePath string) (model.SemanticModel, error)

ImportV2Project reconstructs the canonical semantic model from legacy projects that embedded an Engineering Model payload. Native projections do not embed non-SysML canonical data.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func ValidateV2Coverage 

func ValidateV2Coverage(manifest CoverageManifest) error

ValidateV2Coverage rejects any gap or stale/tampered evidence.

TRLC-LINKS: REQ-EMG-039, REQ-EMG-040

Types

type CoverageAuthority 

type CoverageAuthority struct {
	Baseline             string                       `json:"baseline"`
	MetamodelAuthority   string                       `json:"metamodelAuthority"`
	FormalRelease        sysmlmetamodel.FormalRelease `json:"formalRelease"`
	SourceManifestSHA256 string                       `json:"sourceManifestSha256"`
	InventorySHA256      string                       `json:"inventorySha256"`
	Sources              []sysmlmetamodel.Source      `json:"sources"`
}

type CoverageCheckEvidence 

type CoverageCheckEvidence struct {
	ID       string   `json:"id"`
	Status   string   `json:"status"`
	Evidence []string `json:"evidence"`
}

type CoverageManifest 

type CoverageManifest struct {
	SchemaVersion string                  `json:"schemaVersion"`
	Claim         string                  `json:"claim"`
	Limitations   []string                `json:"limitations"`
	Authority     CoverageAuthority       `json:"authority"`
	Totals        CoverageTotals          `json:"totals"`
	Metaclasses   []MetaclassCoverage     `json:"metaclasses"`
	Properties    []PropertyCoverage      `json:"properties"`
	Relationships []RelationshipCoverage  `json:"relationships"`
	Extensions    []ExtensionCoverage     `json:"engineeringExtensions"`
	Checks        []CoverageCheckEvidence `json:"checks"`
}

func V2Coverage 

func V2Coverage() CoverageManifest

V2Coverage returns metaclass/property-level evidence generated from the pinned official inventory and strict binding.

TRLC-LINKS: REQ-EMG-039, REQ-EMG-040

type CoverageTotals 

type CoverageTotals struct {
	Metaclasses             int `json:"metaclasses"`
	OwnedProperties         int `json:"ownedProperties"`
	EffectiveProperties     int `json:"effectiveProperties"`
	InheritanceEdges        int `json:"inheritanceEdges"`
	DerivedProperties       int `json:"derivedProperties"`
	Relationships           int `json:"relationships"`
	CoverageMapped          int `json:"coverageMapped"`
	CoverageDerived         int `json:"coverageDerived"`
	CoverageUnimplemented   int `json:"coverageUnimplemented"`
	NativeRendered          int `json:"nativeRendered"`
	AbstractOrImplicit      int `json:"abstractOrImplicit"`
	MissingRenderer         int `json:"missingRenderer"`
	ClassifiedRelationships int `json:"classifiedRelationships"`
}

type ExportResult 

type ExportResult struct {
	Text        string                     `json:"text"`
	Diagnostics []model.SemanticDiagnostic `json:"diagnostics"`
}

ExportResult is a deterministic textual projection plus explicit projection and conformance diagnostics.

func ExportV2Project 

func ExportV2Project(architecturePath, projectDir, kparPath, sysandPath string) (ExportResult, error)

ExportV2Project creates a Sysand interchange project and builds its KPAR. Sysand, rather than a custom ZIP writer, owns all normative KPAR packaging.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037 ENGMODEL-LINKS: FU-SYSML-EXPORTER, IF-CLI-ENGSYSML, DO-SYSML-V2-MODEL, REF-SYSML-V2-TOOLCHAIN

func GenerateV2 

func GenerateV2(bundle model.Bundle) (ExportResult, error)

GenerateV2 validates and projects a Bundle before rendering.

TRLC-LINKS: REQ-EMG-035, REQ-EMG-036 ENGMODEL-LINKS: FU-SYSML-EXPORTER, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL

func GenerateV2FromFile 

func GenerateV2FromFile(architecturePath string) (ExportResult, error)

GenerateV2FromFile loads the canonical YAML input and generates a SysML v2 textual projection.

TRLC-LINKS: REQ-EMG-035, REQ-EMG-036, REQ-EMG-037, REQ-EMG-047, REQ-EMG-050 ENGMODEL-LINKS: FU-SYSML-EXPORTER, IF-CLI-ENGSYSML, DO-CANONICAL-SEMANTIC-MODEL, DO-SYSML-V2-MODEL, REF-SYSML-V2-TOOLCHAIN

type ExtensionCoverage 

type ExtensionCoverage struct {
	ID        string   `json:"id"`
	Namespace string   `json:"namespace"`
	Status    string   `json:"status"`
	Evidence  []string `json:"evidence"`
}

type MetaclassCoverage 

type MetaclassCoverage struct {
	ID                     string   `json:"id"`
	Origin                 string   `json:"origin"`
	Abstract               bool     `json:"abstract"`
	Relationship           bool     `json:"relationship"`
	Status                 string   `json:"status"`
	RendererClassification string   `json:"rendererClassification"`
	Syntax                 string   `json:"syntax,omitempty"`
	Evidence               []string `json:"evidence"`
}

type PropertyCoverage 

type PropertyCoverage struct {
	ID        string   `json:"id"`
	Metaclass string   `json:"metaclass"`
	Status    string   `json:"status"`
	Evidence  []string `json:"evidence"`
}

type RelationshipCoverage 

type RelationshipCoverage struct {
	ID             string   `json:"id"`
	Status         string   `json:"status"`
	Classification string   `json:"classification"`
	Evidence       []string `json:"evidence"`
}

type RendererCoverage 

type RendererCoverage struct {
	OfficialMetaclasses int                `json:"officialMetaclasses"`
	NativeRules         int                `json:"nativeRules"`
	NonInstantiable     int                `json:"nonInstantiable"`
	MissingRules        int                `json:"missingRules"`
	Relationships       int                `json:"relationships"`
	Entries             []RendererEvidence `json:"entries"`
}

type RendererEvidence 

type RendererEvidence struct {
	Metaclass   string `json:"metaclass"`
	Status      string `json:"status"`
	Syntax      string `json:"syntax,omitempty"`
	Explanation string `json:"explanation,omitempty"`
}

type RoundTripResult 

type RoundTripResult struct {
	ProjectDir  string
	KPARPath    string
	ReopenedDir string
	SourcePath  string
	SourceText  string
}

RoundTripResult captures the normative KPAR path and reopened native SysML source used for source-integrity comparison.

func ReopenV2Project 

func ReopenV2Project(kparPath, reopenedDir, sysandPath string) (RoundTripResult, error)

ReopenV2Project clones a KPAR with Sysand and returns its native SysML project source.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

func VerifyV2RoundTrip 

func VerifyV2RoundTrip(architecturePath, kparPath, reopenedDir, sysandPath string) (RoundTripResult, error)

VerifyV2RoundTrip compares the reopened KPAR source to a fresh native SysML projection of the authored Engineering Model.

TRLC-LINKS: REQ-EMG-036, REQ-EMG-037

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.