-
Key: UMLTP22-6
-
Status: closed
-
Source: Fraunhofer FOKUS ( Mr. 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
-
Disposition: Resolved — $issue.fixedSpecification.name
-
Disposition Summary:
Remove last paragraph
RTF agreed to remove the last paragraph as it represents a relict from the initial submission.
-
Updated: Fri, 5 Jan 2024 20:12 GMT
-
Attachments:
- paragrapg_removal.JPG 291 kB ()
UMLTP22 — Last paragraph of Clause 8.6.2 Data Values needs to be removed
- Key: UMLTP22-6
- OMG Task Force: UML Testing Profile 2 (UTP2) 2.2 RTF