UTP2 2.2 RTF Avatar
  1. OMG Issue

UMLTP22 — Last paragraph of Clause 8.6.2 Data Values needs to be removed

  • Key: UMLTP22-6
  • Status: open  
  • Source: Fraunhofer FOKUS ( Marc-Florian Wendland)
  • Summary:

    The last paragraph of Clause 8.6.2 Data Values is an unintended left over from the revised submission. In the revised submission, there was the attempt to precisely define the semantics of matching ValueSpecifications. This attempt ought to be entirely removed. Thus, this paragraph should be removed.
    For the sake of clarity:

    Both stimuli and expected responses yield data values for distinct signature elements. A signature element is defined
    as instance of either a Parameter or Property (i.e., this specification introduces a virtual metaclass SignatureElement that is the joint superclass of Property and Parameter and has at least the following attributes: type : UML::Type,
    lower : Integer, upper : UnlimitedNatural). Given by UML [UML25], a "... Type specifies a set of allowed values
    known as the instances of the Type." This specification denotes this set in the context of a SignatureElement
    expressed as type(se), with type(se) as SignatureElement.type, and use T as abbreviation for type(se).
    We specify
    with se instance of SignatureElement and lower(se) as SignatureElement.lower and denote it by SE type.
    A ValueSpecification V as an argument for a SignatureElement is specified as
    These basic definitions are further used for the specific ValueSpecification matching mechanism extensions
    introduced by UTP.

  • Reported: UTP2 1.0b1 — Wed, 19 Jun 2019 13:56 GMT
  • Updated: Tue, 2 May 2023 00:18 GMT
  • Attachments: