UTP2 2.0 FTF Avatar
  1. OMG Issue

UMLTP2 — Formal specification of ChoiceOfValues incomplete

  • Key: UMLTP2-3
  • Status: closed  
  • Source: Fraunhofer FOKUS ( Mr. Marc-Florian Wendland)
  • Summary:

    The formal specification of ChoiceOfValues is incomplete. These paragraphs are relics from an approach to provide a precise semantics of data value extensions.

    Suggestion: Remove these paragraphs.

  • Reported: UTP 2.0a1 — Mon, 15 Jan 2018 13:42 GMT
  • Disposition: Resolved — UTP2 2.0
  • Disposition Summary:

    Remove incomplete formal specification of ChoiceOfValue

    The paragraphs mentioned in the issue descriptions are relics of the attempt to state the semantics of some ValueSpecifications extensions more precise during the revised submission phase. It shall simply be removed from the description.

  • Updated: Wed, 3 Oct 2018 14:16 GMT
  • Attachments: