Uploaded image for project: 'Specification PR tracker'
  1. Specification PR tracker
  2. SPECPR-78

Composition invariant precludes other_context in Persistent Composition

    Details

    • Type: Improvement
    • Status: In Progress
    • Priority: Minor
    • Resolution: Unresolved
    • Affects Version/s: RM Release 1.0.2
    • Fix Version/s: RM Release 1.0.4
    • Component/s: Reference Model
    • Labels:
      None
    • Environment:
      N/A

      Description

      Remove Composition Invariant = Is_persistent_validity: is_persistent implies context = Void.

        Attachments

          Issue links

            Activity

              People

              • Assignee:
                rong.chen Rong Chen
                Reporter:
                sam.heard Sam Heard
                Acceptance:
                Bostjan Lah, Diego Bosca, Heath Frankel, Ian McNicoll
              • Votes:
                3 Vote for this issue
                Watchers:
                5 Start watching this issue

                Dates

                • Created:
                  Updated: