Profile contract

msc.basic@1

Full Z.120 MSC notation via the uml.sequence@2 machinery: lifelines, message sorts (incl. lost/found = message loss), create/stop (instance creation/destruction), combined fragments and coregions, gates, time/duration constraints, state invariants as inline expressions with the setting/guarding role split (x_invariant role), and HMSC references (msc.hmscref with x_subdiagram binding and x_hmscref actual parameter lists).

sequence projectionMSC (ITU-T Z.120) message sequence chart

Open this profile in the gallery

Primary palette

msc.hmscrefobjectserviceuml.actoruml.classuml.component

Additional context roles

activityaggregateapiapplicationarchivearraybackupbindingblobbridgebucketcachecatalogchangecheckpointcloudcloud_accountclsclustercollectioncolocationcommandconnectorconstraintconsumer_groupcontainercontextcubedashboarddata_productdatabasedatasetdcldctdecisiondevicedimensiondocumentdomainendpointentityentlenumerationenvironmentexportextextensionfactfeaturefederationfieldfilefile_setfixturefolderforeign_tablefunctiongatewaygpographgraph_edgegraph_nodehistoryhostidentityindexissuejobkey_valuekeyspacelogmanifestmanual_activitymapmaterialized_viewmessagemetricmodel_artifactnamespacenetworknotenote.stickyobservationoprorganizationpartitionpartition_rulepipelinepkgplacementpolprocedureprvpubqlrqryquery_operationqueuerdfrecordrecoveryregionregistryrelreplicareplica_setreportretentionrolerouterrulerunsamplesaved_viewscheduleschemaschema_registrysearch_indexsecurity_zonesemantic_modelsequencesetshardsiteslosnapshotsql_domainsql_typesubsubscriptionsynonymtableteamtensortermtesttime_seriestimelinetopictriggeruml.artifactuml.collaborationuml.deviceuml.enumerationuml.executionenvuml.interfaceuml.metaclassuml.nodeuml.packageuml.stereotypeuml.subjectuml.usecaseunitvariantvectorviewvolumewebhookwide_columnwindowworkspacewrite_operationzone

Relationship roles

uml.message

Legal endpoints

Relation	Source roles	Target roles	Self relation
`uml.message`	activity, aggregate, api, application, archive, array, backup, binding, blob, bridge, bucket, cache, catalog, change, checkpoint, cloud, cloud_account, cls, cluster, collection, colocation, command, connector, constraint, consumer_group, container, context, cube, dashboard, data_product, database, dataset, dcl, dct, decision, device, dimension, document, domain, endpoint, entity, entl, enumeration, environment, export, ext, extension, fact, feature, federation, field, file, file_set, fixture, folder, foreign_table, function, gateway, gpo, graph, graph_edge, graph_node, history, host, identity, index, issue, job, key_value, keyspace, log, manifest, manual_activity, map, materialized_view, message, metric, model_artifact, msc.hmscref, namespace, network, note, note.sticky, object, observation, opr, organization, partition, partition_rule, pipeline, pkg, placement, pol, procedure, prv, pub, qlr, qry, query_operation, queue, rdf, record, recovery, region, registry, rel, replica, replica_set, report, retention, role, router, rule, run, sample, saved_view, schedule, schema, schema_registry, search_index, security_zone, semantic_model, sequence, service, set, shard, site, slo, snapshot, sql_domain, sql_type, sub, subscription, synonym, table, team, tensor, term, test, time_series, timeline, topic, trigger, uml.actor, uml.artifact, uml.class, uml.collaboration, uml.component, uml.device, uml.enumeration, uml.executionenv, uml.interface, uml.metaclass, uml.node, uml.package, uml.stereotype, uml.subject, uml.usecase, unit, variant, vector, view, volume, webhook, wide_column, window, workspace, write_operation, zone	activity, aggregate, api, application, archive, array, backup, binding, blob, bridge, bucket, cache, catalog, change, checkpoint, cloud, cloud_account, cls, cluster, collection, colocation, command, connector, constraint, consumer_group, container, context, cube, dashboard, data_product, database, dataset, dcl, dct, decision, device, dimension, document, domain, endpoint, entity, entl, enumeration, environment, export, ext, extension, fact, feature, federation, field, file, file_set, fixture, folder, foreign_table, function, gateway, gpo, graph, graph_edge, graph_node, history, host, identity, index, issue, job, key_value, keyspace, log, manifest, manual_activity, map, materialized_view, message, metric, model_artifact, msc.hmscref, namespace, network, note, note.sticky, object, observation, opr, organization, partition, partition_rule, pipeline, pkg, placement, pol, procedure, prv, pub, qlr, qry, query_operation, queue, rdf, record, recovery, region, registry, rel, replica, replica_set, report, retention, role, router, rule, run, sample, saved_view, schedule, schema, schema_registry, search_index, security_zone, semantic_model, sequence, service, set, shard, site, slo, snapshot, sql_domain, sql_type, sub, subscription, synonym, table, team, tensor, term, test, time_series, timeline, topic, trigger, uml.actor, uml.artifact, uml.class, uml.collaboration, uml.component, uml.device, uml.enumeration, uml.executionenv, uml.interface, uml.metaclass, uml.node, uml.package, uml.stereotype, uml.subject, uml.usecase, unit, variant, vector, view, volume, webhook, wide_column, window, workspace, write_operation, zone	Allowed

Profile verification

Selected objects are participants in declaration order, with lifelines. Visible messages follow declaration order and use selected object endpoints, not fields.
Dashed returns and automatic activation bars retain source IDs; unused lifelines warn.
Support synch/asynch/create/delete/reply/lost/found with applicable gate rules.
Combined fragments retain operator, ordered operands, guards, message membership and nesting; spans must resolve without illegal overlaps.
Explicit activations and invariant-after anchors resolve to the participant message order; time/duration constraints preserve their declared syntax.
Parallel operands share the containing lifelines; no independent region-local lifelines or protocol verification is implied.
Reuse the named base machinery while retaining this profile identity, method route, styling scope and exclusions. Renderer reuse does not import unrelated method permissions.
HMSC references bind an existing view and retain actual parameter lists; setting/guarding invariant roles remain distinct.

Profile defaults

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

{
  "projection.kind": "sequence",
  "projection.profile": "msc.basic@1"
}

Projection properties

kind, profile, width, height

Search the property codex

Design operations

Add/reorder participants; create and reorder messages; mark returns; inspect message and lifeline provenance.
Create/edit fragment operators and guarded operands; assign message ranges, activation/invariant anchors and time/duration constraints; retain ordered source references.

Bounded analysis

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

Outside this profile

MSC document interchange
execution semantics/simulation
formal ITU conformance