  

<table class="width100" style="width:100%;" data-cellspacing="1">
<colgroup>
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
<col style="width: 16%" />
</colgroup>
<tbody>
<tr class="odd">
<td colspan="6" class="form-title"><div class="center">
ETSI's Bug Tracker - Part 04: TTCN-3 Operational Semantics
</div></td>
</tr>
<tr class="even">
<td colspan="6" class="form-title">View Issue Details</td>
</tr>
<tr class="odd">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="even print-category">
<td class="print" width="16%">ID</td>
<td class="print" width="16%">Project</td>
<td class="print" width="16%">Category</td>
<td class="print" width="16%">View Status</td>
<td class="print" width="16%">Date Submitted</td>
<td class="print" width="16%">Last Update</td>
</tr>
<tr class="odd print">
<td class="print">0000373</td>
<td class="print">Part 04: TTCN-3 Operational Semantics</td>
<td class="print">Technical</td>
<td class="print">public</td>
<td class="print">22-11-2006 16:07</td>
<td class="print">12-12-2008 11:41</td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Reporter</td>
<td class="print">Stephan Schulz</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Assigned To</td>
<td class="print"></td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Priority</td>
<td class="print">high</td>
<td class="print-category">Severity</td>
<td class="print">minor</td>
<td class="print-category">Reproducibility</td>
<td class="print">always</td>
</tr>
<tr class="even print">
<td class="print-category">Status</td>
<td class="print">closed</td>
<td class="print-category">Resolution</td>
<td class="print">fixed</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="odd print">
<td class="print-category">Platform</td>
<td class="print"></td>
<td class="print-category">OS</td>
<td class="print"></td>
<td class="print-category">OS Version</td>
<td class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Product Version</td>
<td class="print">v2.2.1 (published 2003-02)</td>
<td colspan="4" class="print"> </td>
</tr>
<tr class="odd">
<td class="print-category">Target Version</td>
<td class="print">v3.1.1 (published 2005-06)</td>
<td class="print-category">Fixed in Version</td>
<td class="print">v3.1.1 (published 2005-06)</td>
<td colspan="2" class="print"> </td>
</tr>
<tr class="even print">
<td class="print-category">Clause Reference(s)</td>
<td colspan="4" class="print">$9.49, $9.50</td>
<td></td>
</tr>
<tr class="odd print">
<td class="print-category">Source (company - Author)</td>
<td colspan="4" class="print">dr. György Réthy, Ericsson</td>
<td></td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd print">
<td class="print-category">Summary</td>
<td colspan="5" class="print">0000373: Clarification of stop execute in
operational semantics</td>
</tr>
<tr class="even print">
<td class="print-category">Description</td>
<td colspan="5" class="print">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 -&gt; self.stop is proposed for
test cases, functions and altsteps).<br />
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.<br />
</td>
</tr>
<tr class="odd print">
<td class="print-category">Steps To Reproduce</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="even print">
<td class="print-category">Additional Information</td>
<td colspan="5" class="print">Use the following concept:<br />
- 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)<br />
- stop execution means stopping the control part (namely execution of
the test session).<br />
<br />
Once the above is accepted, subclause $9.50 can be considerably
simplified as below.<br />
</td>
</tr>
<tr class="odd print">
<td class="print-category">Tags</td>
<td colspan="5" class="print">No tags attached.</td>
</tr>
<tr class="even print">
<td class="print-category">Relationships</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="odd print">
<td class="print-category">Attached Files</td>
<td colspan="5" class="print"></td>
</tr>
<tr class="even">
<td colspan="6" class="print-spacer"><hr /></td>
</tr>
<tr class="odd">
<td class="form-title">Issue History</td>
<td></td>
<td></td>
<td></td>
<td></td>
<td></td>
</tr>
<tr class="even print-category">
<td class="row-category-history">Date Modified</td>
<td class="row-category-history">Username</td>
<td class="row-category-history">Field</td>
<td class="row-category-history">Change</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-11-2006 16:07</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">New Issue</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-11-2006 16:07</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Clause Reference(s)</td>
<td class="print">=&gt; $9.49, $9.50</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-11-2006 16:07</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Source (company - Author)</td>
<td class="print">=&gt; dr. György Réthy, Ericsson</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-11-2006 16:08</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Status</td>
<td class="print">new =&gt; closed</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">22-11-2006 16:08</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Resolution</td>
<td class="print">open =&gt; fixed</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">22-11-2006 16:08</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=56">Stephan
Schulz</a></td>
<td class="print">Fixed in Version</td>
<td class="print">=&gt; Edition 3.1.1</td>
<td></td>
<td></td>
</tr>
<tr class="odd print">
<td class="print">12-12-2008 11:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Target Version</td>
<td class="print">=&gt; Edition 3.1.1</td>
<td></td>
<td></td>
</tr>
<tr class="even print">
<td class="print">12-12-2008 11:41</td>
<td class="print"><a
href="http://oldforge.etsi.org/mantis/view_user_page.php?id=81">Ina
Schieferdecker</a></td>
<td class="print">Description Updated</td>
<td class="print"></td>
<td></td>
<td></td>
</tr>
</tbody>
</table>

  

|                                            |     |
|--------------------------------------------|-----|
| There are no notes attached to this issue. |     |
