UTP2 2.0 FTF Avatar
  1. OMG Issue

UMLTP2 — Formal specification of ComplementedValue incomplete

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

    The last two paragraphs represents an incomplete formal specification of the semantics of ComplementedValue. It should be removed for does not have an added value in the current state.

  • Reported: UTP 2.0b1 — Mon, 15 Jan 2018 15:50 GMT
  • Disposition: Resolved — UTP2 2.0
  • Disposition Summary:

    Remove incomplete formal specification of ComplementedValue

    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: