SHACL Shapes
https://meta.linked.archi/uml/shapes#
SHACL shapes for validating UML model data in the Linked.Archi knowledge graph. Covers relationship domain/range constraints, required properties, and structural integrity rules derived from the UML 2.5.1 specification.
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Classifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Classifier | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Classifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Classifier | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
isAbstract |
datatype | boolean | Violation | |
isAbstract |
maxCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
hasOperand |
class | InteractionOperand | Violation | |
hasOperand |
minCount | 1 |
Violation | |
interactionOperator |
maxCount | 1 |
Violation | |
interactionOperator |
minCount | 1 |
Violation | |
sequenceNumber |
datatype | integer | Violation | |
sequenceNumber |
maxCount | 1 |
Violation | |
sequenceNumber |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Classifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Classifier | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | NamedElement | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | NamedElement | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Artifact | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | DeploymentTarget | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
executionFinish |
class | OccurrenceSpecification | Violation | |
executionFinish |
maxCount | 1 |
Violation | |
executionFinish |
minCount | 1 |
Violation | |
executionStart |
class | OccurrenceSpecification | Violation | |
executionStart |
maxCount | 1 |
Violation | |
executionStart |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | UseCase | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | UseCase | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
orderingAfter |
class | OccurrenceSpecification | Violation | |
orderingAfter |
maxCount | 1 |
Violation | |
orderingAfter |
minCount | 1 |
Violation | |
orderingBefore |
class | OccurrenceSpecification | Violation | |
orderingBefore |
maxCount | 1 |
Violation | |
orderingBefore |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Classifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Classifier | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | UseCase | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | UseCase | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
guard |
datatype | string | Violation | |
guard |
maxCount | 1 |
Violation | |
hasFragment |
class | InteractionFragment | Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
hasFragment |
class | InteractionFragment | Violation | |
hasLifeline |
class | Lifeline | Violation | |
hasMessage |
class | Message | Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
refersTo |
class | Interaction | Violation | |
refersTo |
maxCount | 1 |
Violation | |
refersTo |
minCount | 1 |
Violation | |
sequenceNumber |
datatype | integer | Violation | |
sequenceNumber |
maxCount | 1 |
Violation | |
sequenceNumber |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | BehavioredClassifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Interface | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
represents |
maxCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
message |
class | Message | Violation | |
message |
maxCount | 1 |
Violation | |
message |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
messageKind |
maxCount | 1 |
Violation | |
messageSort |
maxCount | 1 |
Violation | |
messageSort |
minCount | 1 |
Violation | |
receiveEvent |
class | MessageEnd | Violation | |
receiveEvent |
maxCount | 1 |
Violation | |
sendEvent |
class | MessageEnd | Violation | |
sendEvent |
maxCount | 1 |
Violation | |
signature |
maxCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
prefLabel |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
covered |
class | Lifeline | Violation | |
covered |
maxCount | 1 |
Violation | |
covered |
minCount | 1 |
Violation | |
sequenceNumber |
datatype | integer | Violation | |
sequenceNumber |
maxCount | 1 |
Violation | |
sequenceNumber |
minCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
isBehavior |
datatype | boolean | Violation | |
isBehavior |
maxCount | 1 |
Violation | |
isConjugated |
datatype | boolean | Violation | |
isConjugated |
maxCount | 1 |
Violation | |
isService |
datatype | boolean | Violation | |
isService |
maxCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
lower |
datatype | integer | Violation | |
lower |
maxCount | 1 |
Violation | |
upper |
datatype | integer | Violation | |
upper |
maxCount | 1 |
Violation |
| Property | Constraint | Value | Severity | Message |
|---|---|---|---|---|
source |
class | Classifier | Violation | |
source |
maxCount | 1 |
Violation | |
source |
minCount | 1 |
Violation | |
target |
class | Classifier | Violation | |
target |
maxCount | 1 |
Violation | |
target |
minCount | 1 |
Violation |