Hello again,

find attached the text proposed for the declarations in teststeps.
The declarations itself are not the important part of this proposal.
The important part is the subsection 'Restrictions for the
initialisation of local definitions in test steps'. These restrictions
try to avoid side effects that may interfere with the snapshot
semantics. The restrictions are identical to the restrictions for
the boolean expressions used for the selection and deselection of
alternatives in the alt-statement or in test steps.

Regards
Jens Grabowski


--

======================================================================
Dr. Jens Grabowski
Institute for Telematics phone: +49 451 500 3723
University of Luebeck fax: +49 451 500 3722
Ratzeburger Allee 160 eMail: This email address is being protected from spambots. You need JavaScript enabled to view it.
D-23538 Luebeck or This email address is being protected from spambots. You need JavaScript enabled to view it.
(Germany) WWW: www.itm.mu-luebeck.de
======================================================================