ETSI's Bug Tracker - Part 01: TTCN-3 Core Language
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0004703 | Part 01: TTCN-3 Core Language | Clarification | public | 15-01-2009 14:26 | 01-07-2009 15:10

Reporter | Ina Schieferdecker |
Assigned To | Ina Schieferdecker |
Priority | normal | Severity | minor | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.2.1 (published 2010-07) | Fixed in Version | v4.2.1 (published 2010-07) |
Clause Reference(s) | 22.2.2
Source (company - Author) | Wolfgang Seka, MCC160

Summary | 0004703: Explaination of standalone receive

Description

Part 1 explains for Stand-alone receive:
The receive operation can be used as a stand-alone statement in a behaviour description. In this latter case the receive operation is considered to be shorthand for an alt statement with only one alternative, i.e. it has blocking semantics, and therefore provides the ability of waiting for the next message matching the specified template or value on that queue.
The latter part on "waiting for the next message matching the specified template" can be misinterpreted, so that not only the top level messages can be matched.
This is not true. The blocking semantics holds.
Hence, a simplification is proposed to
"The receive operation can be used as a stand-alone statement in a behaviour description. In this latter case the receive operation is considered to be shorthand for an alt statement with only one alternative."
which removes the confusing part and makes clear, that the semantics of an alt statement applies

Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR-4703-Explaination-of-standalone-receive-JG.doc (203,264) 21-04-2009 12:02 http://oldforge.etsi.org/mantis/file_download.php?file_id=2095&type=bug

Issue History
Date Modified | Username | Field | Change
15-01-2009 14:26 | Ina Schieferdecker | New Issue |
15-01-2009 14:26 | Ina Schieferdecker | Clause Reference(s) | => 22.2.2
15-01-2009 14:26 | Ina Schieferdecker | Source (company - Author) | => Wolfgang Seka, MCC160
15-01-2009 14:27 | Ina Schieferdecker | Project | TTCN-3 Change Requests => Part 01: TTCN-3 Core Language
15-01-2009 14:27 | Ina Schieferdecker | Assigned To | => Jens Grabowski
15-01-2009 14:27 | Ina Schieferdecker | Status | new => assigned
15-01-2009 14:27 | Ina Schieferdecker | Category | TTCN-3 Core Language => Clarification
15-01-2009 14:27 | Ina Schieferdecker | Target Version | => Edition 4.2.1 (not yet published)
21-04-2009 10:39 | Jens Grabowski | Note Added: 0008522 |
21-04-2009 12:02 | Jens Grabowski | File Added: CR-4703-Explaination-of-standalone-receive-JG.doc |
21-04-2009 12:03 | Jens Grabowski | Note Added: 0008525 |
21-04-2009 12:03 | Jens Grabowski | Assigned To | Jens Grabowski => Ina Schieferdecker
01-07-2009 15:09 | Ina Schieferdecker | Note Added: 0008807 |
01-07-2009 15:09 | Ina Schieferdecker | Resolution | open => fixed
01-07-2009 15:10 | Ina Schieferdecker | Status | assigned => resolved
01-07-2009 15:10 | Ina Schieferdecker | Fixed in Version | => Edition 4.2.1 (not yet published)
01-07-2009 15:10 | Ina Schieferdecker | Status | resolved => closed

Notes

(0008522)
Jens Grabowski
21-04-2009 10:39

The "confusing part" is used for the description of several stand-alone statements (e.g., done, trigger, timeout, killed). The simplification should be done for all statements/operations.

(0008525)
Jens Grabowski
21-04-2009 12:03

Proposal for resolution uploaded. Assigned to Ina for crosschecking.

(0008807)
Ina Schieferdecker
01-07-2009 15:09

Included as proposed.