Description
A draft of how we could specify the definition, refinement and assignment for operations, w.r.t. their parameter defintion/refinement/assignment and implementation definition/change.
LEFT TODO:
- type derivations rules
- schema refinement rules
- requirement refinement rules
- artifact refinement rules
- attribute assignments
- parameter assignments
- make the difference between outgoing parameter assignments and incoming parameter to attribute mapping
- capability assignment rules
- requirement assignment rules