Issue 15943: Default (uml-testing-profile-rtf)
Source: KnowGravity Inc. (Mr. Markus Schacher, markus.schacher(at)knowgravity.com)
Nature: Enhancement
Severity: Minor
Summary: The wildcard * to indicate any kind of default is particularly on state machines uncommon and inflexible.
Resolution: 
Revised Text: 
Actions taken:
January 12, 2011: received issue
Discussion: 
This issue is rather related to the non-defined concepts of any message (Fig. 6.30), any state (Fig. 6.31) and any event (Fig. 6.32). Those concepts are intuitively used in the UTP example sections, but neither part of the UML nor of the UTP. The wildcards, introduced by UTP, are dedicated to values of test data instance specifications (for slot values). In the example sections, the UTP uses the wildcard notation for defaults to capture various situations:
undefined messages are received (Fig. 6.31)
a set of “exception handling” transitions (Fig. 6.32) are intended to augment each state in the behavior referencing the default, in a way that all transitions of the generic state (state with * as its name) are copied to each state in the test case state machine
an undefinied event is recognized in the state machines event queue (Fig. 6.33).
No doubt, those are very powerful and helpful concepts, however, they are not defined in the semantics sections of the UTP. Further minor revision must address this issue in order to produce a more precise UTP specification.
Disposition:	Deferred

End of Annotations:=====

m: webmaster@omg.org
Date: 12 Jan 2011 16:30:36 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Markus Schacher
Employer:        KnowGravity Inc.
mailFrom:        markus.schacher@knowgravity.com
Terms_Agreement: I agree
Specification:   UML Testing Profile
Section:         6.5, 6.6.2
FormalNumber:    05-07-07
Version:         1.0
Doc_Year:        2005
Doc_Month:       July
Doc_Day:         07
Page:            42, 51
Title:           Default
Nature:          Enhancement
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:

The wildcard * to indicate any kind of default is particularly on state machines uncommon and inflexible.