Reference
evo-story.shapes
SHACL Shapes (1)
| Shape | Label | Target class | Properties |
|---|---|---|---|
| evo:RequirementInstanceShape | Requirement-instance shape (post-ADR-053) | --- | 4 |
Requirement-instance shape (post-ADR-053)
Validates structural integrity of requirement instances per ADR-053 §D6. A requirement is any node carrying ess:advancesAlpha ess:Requirements (OMG Essence 2.0 alpha; the parent type prov:Entity is entailed by the ess:advancesAlpha range once the kernel is loaded, so the shape targets the predicate use directly). Every requirement MUST carry a human-readable label, a stable identifier for cross-connector traceability, advance the Requirements alpha, and carry a provenance attribution. Acceptance semantics are expressed as alpha-state transitions on this entity, not as a separate shape.
Target class: ---
| Property path | Constraint | Cardinality | Validation message |
|---|---|---|---|
| dcterms:identifier | xsd:string · 1 | 1..A requirement instance MUST carry dcterms:identifier (connector-sourced stable ID, e.g. Jira key, ticket number). | |
| rdfs:label | xsd:string · 1 | 1..A requirement instance MUST declare exactly one rdfs:label (human-readable narrative — INVEST story text, plain-language requirement, etc.). | |
| prov:wasAttributedTo | sh:IRI · 1 | A requirement instance MUST carry prov:wasAttributedTo (author / product-owner agent IRI) — PROV-O provenance...* | |
| ess:advancesAlpha | 1 · A requirement instance MUST advance the ess:Requirements alpha (OMG Essence 2.0 bridge). Current alpha state is carried on the corresponding advancement activity via ess:currentAlphaState. | — |
SPARQL example
# List all shapes and their target classes PREFIX sh: <http://www.w3.org/ns/shacl#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> SELECT ?shape ?label ?target WHERE { ?shape a sh:NodeShape ; rdfs:label ?label . OPTIONAL { ?shape sh:targetClass ?target } } ORDER BY ?label