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

ID | Project | Category | View Status | Date Submitted | Last Update
0000421 | Part 01: TTCN-3 Core Language | Technical | public | 24-11-2006 14:44 | 12-03-2008 10:24

Reporter | Stephan Schulz |
Assigned To | Ina Schieferdecker |
Priority | low | Severity | minor | Reproducibility | N/A
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v3.1.1 (published 2005-06) |
Target Version | v3.3.2 (published 2008-04) | Fixed in Version | v3.3.2 (published 2008-04) |
Clause Reference(s) | 21.1
Source (company - Author) | Siemens

Summary | 0000421: activated default within interleave

Description

There is no statement claiming that a default works within an interleave statement or not. Since the interleave statement can always be replaced with equivalent nested alt statements, the default mechanism should work within interleave in the same way. Otherwise both notations cannot be claimed to be identical.
The default mechanism is invoked at end of an alt statement if due to the actual snapshot none of the specified aternatives could be executed. (21.1)

Steps To Reproduce |
Additional Information | Proposed Solution: The default mechanism should be invoked at end of an interleave statement. Its semantics should be defined such that it is in accordance with the equivalent statement using alt.
Tags | No tags attached.
Relationships |
Attached Files | CR-421-Default-In-Interleave-Resolution.doc (226,816) 19-11-2007 16:37 http://oldforge.etsi.org/mantis/file_download.php?file_id=1126&type=bug CR-421-Default-In-Interleave-Resolution-Revision1-071205.doc (227,328) 05-12-2007 14:09 http://oldforge.etsi.org/mantis/file_download.php?file_id=1214&type=bug

Issue History
Date Modified | Username | Field | Change
24-11-2006 14:44 | Stephan Schulz | New Issue |
24-11-2006 14:44 | Stephan Schulz | Clause Reference(s) | => 21.1
24-11-2006 14:44 | Stephan Schulz | Source (company - Author) | => Siemens
24-11-2006 14:44 | Stephan Schulz | Note Added: 0000321 |
24-11-2006 14:44 | Stephan Schulz | Status | new => confirmed
15-06-2007 19:14 | Stephan Schulz | Status | confirmed => assigned
15-06-2007 19:14 | Stephan Schulz | Assigned To | => Ina Schieferdecker
13-10-2007 19:25 | Ina Schieferdecker | Assigned To | Ina Schieferdecker => Jens Grabowski
18-10-2007 13:11 | Ina Schieferdecker | Target Version | => Edition 3.3.1 (not yet published)
19-11-2007 16:37 | Jens Grabowski | File Added: CR-421-Default-In-Interleave-Resolution.doc |
19-11-2007 16:37 | Jens Grabowski | Assigned To | Jens Grabowski => Stephan Schulz
19-11-2007 16:39 | Jens Grabowski | Assigned To | Stephan Schulz => Gyorgy Rethy
19-11-2007 16:39 | Jens Grabowski | Resolution | open => fixed
05-12-2007 11:51 | Jens Grabowski | Assigned To | Gyorgy Rethy => Jens Grabowski
05-12-2007 14:09 | Jens Grabowski | File Added: CR-421-Default-In-Interleave-Resolution-Revision1-071205.doc |
05-12-2007 14:10 | Jens Grabowski | Assigned To | Jens Grabowski => Ina Schieferdecker
05-12-2007 14:10 | Jens Grabowski | Status | assigned => resolved
05-12-2007 17:48 | Ina Schieferdecker | Status | resolved => closed
05-12-2007 17:48 | Ina Schieferdecker | Note Added: 0004351 |
05-12-2007 17:48 | Ina Schieferdecker | Fixed in Version | => Edition 3.3.1 (not yet published)
12-03-2008 10:22 | user10 | Fixed in Version | Edition 3.3.1 --will not be published, see 3.3.2 => Edition 3.3.2 (not yet published)
12-03-2008 10:24 | user10 | Target Version | Edition 3.3.1 --will not be published, see 3.3.2 => Edition 3.3.2 (not yet published)

Notes

(0000321)
Stephan Schulz
24-11-2006 14:44

Agreed in principle

(0004351)
Ina Schieferdecker
05-12-2007 17:48

Just little rewording to make the first additional note a bit easier to read.