Profile contract

soaml.services@1

Full SoaML 1.0.1 notation: participants and agents with «Service»/«Request» port decorations (conjugated interfaces), service interfaces and contracts (collaboration glyph with provider/consumer role rows), capabilities, message types, milestones, contract-typed assembly/delegation connectors with service↔request conformance, choreography binding to UML sequence or state machine views.

graph projectionSoaML service architecture / service contract

Open this profile in the gallery

Primary palette

soaml.agentsoaml.capabilitysoaml.messagesoaml.milestonesoaml.participantsoaml.servicecontractsoaml.serviceinterface

Additional context roles

uml.actoruml.artifactuml.classuml.collaborationuml.componentuml.deviceuml.enumerationuml.executionenvuml.interfaceuml.metaclassuml.nodeuml.packageuml.stereotypeuml.subjectuml.usecase

Relationship roles

uml.assemblyuml.connectoruml.delegationuml.dependencyuml.generalizationuml.provideduml.realizationuml.required

Legal endpoints

Relation	Source roles	Target roles	Self relation
`uml.assembly`	soaml.agent, soaml.participant, soaml.serviceinterface, uml.component	soaml.agent, soaml.participant, soaml.serviceinterface, uml.component	Not allowed
`uml.connector`	soaml.agent, soaml.participant, soaml.serviceinterface, uml.class, uml.component	soaml.agent, soaml.participant, soaml.serviceinterface, uml.class, uml.component	Not allowed
`uml.delegation`	soaml.agent, soaml.participant, soaml.serviceinterface, uml.component	soaml.agent, soaml.participant, soaml.serviceinterface, uml.component	Allowed
`uml.dependency`	soaml.agent, soaml.capability, soaml.message, soaml.milestone, soaml.participant, soaml.servicecontract, soaml.serviceinterface, uml.class, uml.component, uml.interface, uml.package	soaml.agent, soaml.capability, soaml.message, soaml.milestone, soaml.participant, soaml.servicecontract, soaml.serviceinterface, uml.class, uml.component, uml.interface, uml.package	Not allowed
`uml.generalization`	uml.actor, uml.class, uml.interface, uml.usecase	uml.actor, uml.class, uml.interface, uml.usecase	Not allowed
`uml.provided`	soaml.agent, soaml.participant, soaml.servicecontract, soaml.serviceinterface, uml.class, uml.component	soaml.capability, soaml.serviceinterface, uml.interface	Not allowed
`uml.realization`	soaml.agent, soaml.capability, soaml.participant, soaml.servicecontract, soaml.serviceinterface, uml.class, uml.component	soaml.capability, soaml.serviceinterface, uml.interface	Not allowed
`uml.required`	soaml.agent, soaml.participant, soaml.servicecontract, soaml.serviceinterface, uml.class, uml.component	soaml.capability, soaml.serviceinterface, uml.interface	Not allowed

Profile verification

Participant/agent service and request ports have declared interface types. Pairing defaults to same type.
Explicit compatibility modes are same, specialization, realization and operation-coverage; apply the chosen bounded check without claiming behavioral substitutability.
Service contract provider/consumer rows preserve roles. Choreography references resolve to supported sequence/state-machine views.

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": "soaml.services@1",
  "compatibility.mode": "same"
}

Projection properties

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

Search the property codex

Design operations

Create participant/interface/contract; add service/request ports; connect channel with compatibility mode; bind choreography view.

Bounded analysis

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

Outside this profile

SoaML XMI interchange
service execution/runtime semantics
formal OMG certification