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

ID | Project | Category | View Status | Date Submitted | Last Update
0000373 | Part 04: TTCN-3 Operational Semantics | Technical | public | 22-11-2006 16:07 | 12-12-2008 11:41

Reporter | Stephan Schulz |
Assigned To |  |
Priority | high | Severity | minor | Reproducibility | always
Status | closed | Resolution | fixed |
Platform |  | OS |  | OS Version |
Product Version | v2.2.1 (published 2003-02) |
Target Version | v3.1.1 (published 2005-06) | Fixed in Version | v3.1.1 (published 2005-06) |
Clause Reference(s) | $9.49, $9.50
Source (company - Author) | dr. György Réthy, Ericsson

Summary | 0000373: Clarification of stop execute in operational semantics

Description

Terms ï¿½stop componentï¿½ and ï¿½stop executionï¿½ are not clarified (neither in the core nor in the OS). They are implicitly distinguished by the existence of a component reference in the statement. However, this is a pure syntactical matter and should not have any effect on the semantics (in the accompanying CR357 ï¿½Problems in the stop component operation in the operational semanticsï¿½ a simple replacement stop -> self.stop is proposed for test cases, functions and altsteps).
As the result currently stopping a test component is handled both by $9.49 and by $9.50 that is an unnecessary and disturbing duplication.

Steps To Reproduce |

Additional Information

Use the following concept:
- stop component means to stop the MTC (and as the consequence finishing the test case), a PTC or all PTCs (including both stopping itself and stopping by an another component)
- stop execution means stopping the control part (namely execution of the test session).
Once the above is accepted, subclause $9.50 can be considerably simplified as below.

Tags | No tags attached.
Relationships |
Attached Files |

Issue History
Date Modified | Username | Field | Change
22-11-2006 16:07 | Stephan Schulz | New Issue |
22-11-2006 16:07 | Stephan Schulz | Clause Reference(s) | => $9.49, $9.50
22-11-2006 16:07 | Stephan Schulz | Source (company - Author) | => dr. György Réthy, Ericsson
22-11-2006 16:08 | Stephan Schulz | Status | new => closed
22-11-2006 16:08 | Stephan Schulz | Resolution | open => fixed
22-11-2006 16:08 | Stephan Schulz | Fixed in Version | => Edition 3.1.1
12-12-2008 11:41 | Ina Schieferdecker | Target Version | => Edition 3.1.1
12-12-2008 11:41 | Ina Schieferdecker | Description Updated |

There are no notes attached to this issue.