Skip to content

Add EXPRESS links and YAML serialization annex#10

Merged
TRThurman merged 1 commit intomainfrom
feature/express-links-and-yaml-serialization
Apr 22, 2026
Merged

Add EXPRESS links and YAML serialization annex#10
TRThurman merged 1 commit intomainfrom
feature/express-links-and-yaml-serialization

Conversation

@TRThurman
Copy link
Copy Markdown
Contributor

Summary

  • Add express_link production to EBNF grammar for <<express:schema.element,display>> cross-reference syntax
  • Remove source_decl from entity and attribute mappings (redundant — schema origin encoded in EXPRESS links)
  • Update entity name, AIM element, and ASSERTION_TO to accept EXPRESS links
  • Add normative YAML serialization annex documenting the mapping.yaml format
  • Update all examples to use real Activity module mappings with EXPRESS links

Changes

  • sources/resources/express-q.ebnf — grammar updates
  • sources/sections/04-spec.adoc — spec updates, new EXPRESS link section, removed source declaration
  • sources/sections/05-validation.adoc — EXPRESS link validation rules, removed source validation
  • sources/sections/07-use-cases.adoc — updated examples
  • sources/sections/aa-example.adoc — complete Activity module example
  • sources/sections/ab-yaml-serialization.adoc — new YAML serialization annex
  • sources/document.adoc — include new annex

Closes #9

EBNF grammar:
- Add express_link production for <<express:schema.element,display>> syntax
- Remove source_decl from entity_mapping and attribute_mapping
- Update entity_mapping to accept express_link for entity name
- Update aim_element_decl and ASSERTION_TO to accept express_link

Specification (04-spec.adoc):
- Add new EXPRESS link section documenting the cross-reference syntax
- Remove source declaration section (redundant with EXPRESS links)
- Update entity mapping, AIM element, and attribute mapping sections
- Update all examples to use EXPRESS links

Validation rules (05-validation.adoc):
- Add EXPRESS link validation rules
- Remove source validation rule
- Update entity and attribute mapping validation for EXPRESS links

Examples and use cases:
- Replace Product example with Activity module (real-world EXPRESS links)
- Update all examples to use EXPRESS links, remove SOURCE declarations

New annex (ab-yaml-serialization.adoc):
- Define YAML serialization format for mapping.yaml files
- Document entity mapping, attribute mapping, and reference path fields
- Specify EXPRESS link format in YAML values
- Correspondence table between EBNF constructs and YAML keys
- Complete Activity module example in YAML format

Closes #9
@TRThurman TRThurman merged commit dc84ef4 into main Apr 22, 2026
2 checks passed
@TRThurman TRThurman deleted the feature/express-links-and-yaml-serialization branch April 22, 2026 03:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ELF 5006: Replace source attribute with EXPRESS links for entity, assertion_to, and aimelt in mapping specification

1 participant