ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics
View Issue Details

ID | Project | Category | View Status | Date Submitted | Last Update
0003263 | Part 04: TTCN-3 Operational Semantics | Technical | public | 24-04-2008 17:48 | 20-04-2009 11:40

Reporter | Jens Grabowski |
Assigned To | Gyorgy Rethy |
Priority | high | Severity | major | Reproducibility | have not tried
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version |  |
Target Version | v4.1.1 (published 2009-06) | Fixed in Version | v4.1.1 (published 2009-06) |
Clause Reference(s) | 22.5.1 in Part 1 of the TTCN-3 standard
Source (company - Author) | Jens Grabowski (STF 347)

Summary | 0003263: Halt operation in operational semantics
Description | The halt operation on ports has never been implemented in the operational semantics.
Steps To Reproduce |
Additional Information |
Tags | No tags attached.
Relationships |
Attached Files | CR3263-Halt-Port-Operation-Resolution-JG-V1.doc (412,672) 30-12-2008 11:25 http://oldforge.etsi.org/mantis/file_download.php?file_id=1929&type=bug

Issue History
Date Modified | Username | Field | Change
24-04-2008 17:48 | Jens Grabowski | New Issue |
24-04-2008 17:48 | Jens Grabowski | Status | new => assigned
24-04-2008 17:48 | Jens Grabowski | Assigned To | => Jens Grabowski
24-04-2008 17:48 | Jens Grabowski | Clause Reference(s) | => 22.5.1 in Part 1 of the TTCN-3 standard
24-04-2008 17:48 | Jens Grabowski | Source (company - Author) | => Jens Grabowski (STF 347)
17-08-2008 09:36 | Ina Schieferdecker | Target Version | => Edition 4.1.1 (not yet published)
30-12-2008 11:25 | Jens Grabowski | File Added: CR3263-Halt-Port-Operation-Resolution-JG-V1.doc |
30-12-2008 11:25 | Jens Grabowski | Assigned To | Jens Grabowski => Gyorgy Rethy
10-03-2009 10:52 | Ina Schieferdecker | Status | assigned => resolved
10-03-2009 10:52 | Ina Schieferdecker | Resolution | open => fixed
20-04-2009 11:40 | Ina Schieferdecker | Status | resolved => closed
20-04-2009 11:40 | Ina Schieferdecker | Fixed in Version | => Edition 4.1.1 (not yet published)

There are no notes attached to this issue.