VDML 1.1 RTF Avatar
  1. OMG Issue

VDML11 — Confusing statement on Scenarios and context trees

Open Closed All
  • Key: VDML11-19
  • Status: closed  
  • Source: VDMbee ( Mr. Henk de Man)
  • Summary:

    In sub-clause 7.1.13 (Scenarios and Contexts), page 25, right above Figure 7.5, it says: "Since Assignments can also be context dependent, the delegations of one Scenario can differ from those of another Scenario thus forming a different tree." But the phrase "Since Assignments can also be context dependent" is irrelevant here, because: delegations of one Scenario (i.e., sub-Collaborations in DelegationContext nodes in the Scenario tree) can be different from those of another Scenario anyway.
  • Reported: VDML 1.0 — Tue, 14 Nov 2017 16:48 GMT
  • Disposition: Resolved — VDML 1.1
  • Disposition Summary:

    Give statement on Scenarios and context trees better meaning

    Give statement on Scenarios and context trees better meaning, by removing some words.

  • Updated: Tue, 10 Jul 2018 14:22 GMT