Profile contract

sysml.ibd@2

sysml.ibd@1 plus SysML 1.6 port notation: proxy/full/conjugated port glyph variants, port multiplicity, nested ports (x_port), flow properties with direction on interface blocks and flow specifications.

graph projectionSysML internal block diagram

Open this profile in the gallery

Primary palette

Additional context roles

Relationship roles

Legal endpoints
RelationSource rolesTarget rolesSelf relation
assocreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeAllowed
sysml.allocatereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.compositionreq.requirement, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.valuetypereq.requirement, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.valuetypeNot allowed
sysml.copyreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.derivereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.flowreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.masterreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.refinereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.satisfyreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.tracereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
sysml.verifyreq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypereq.requirement, req.test, sysml.block, sysml.constraint, sysml.flowspec, sysml.interfaceblock, sysml.testcase, sysml.valuetypeNot allowed
uml.generalizationsysml.block, sysml.interfaceblock, sysml.valuetypesysml.block, sysml.interfaceblock, sysml.valuetypeNot allowed

Profile verification

Profile defaults

Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.

{
  "projection.kind": "graph",
  "projection.profile": "sysml.ibd@2"
}

Projection properties

kind, profile, inputs, analysis_budget, traces, iso, depth

Search the property codex

Design operations

Bounded analysis

Structural verification and display only; no execution or implied process engine.

Outside this profile